中科院實習（9）

昨天，今天，我確認我處在一個灰色地帶。 QQ簽名修改爲：Milestone: Mechanism A Verified.Proofed Correct! 現在看來，簡直就是扯淡！Milestone實爲Scratch. 昨天的工作僅僅是叫開個頭，表示：現在開始着手做驗證了。 現在發現，用Spin建模並沒有想象中簡單，看過的一些例子那都是很簡單的模型，所以感覺不難。用Spin表達一個實用的模型，還是特

>>阅读原文<<