中科院实习（9）

昨天，今天，我确认我处在一个灰色地带。 QQ签名修改为：Milestone: Mechanism A Verified.Proofed Correct! 现在看来，简直就是扯淡！Milestone实为Scratch. 昨天的工作仅仅是叫开个头，表示：现在开始着手做验证了。 现在发现，用Spin建模并没有想象中简单，看过的一些例子那都是很简单的模型，所以感觉不难。用Spin表达一个实用的模型，还是特

>>阅读原文<<