中科院实习（9） 昨天，今天，我确认我处在一个灰色地带。QQ签名修改为：Milestone: Mechanism A Verified.Proofed Correct!现在看来，简直就是扯淡！Milestone实为Scratch.昨天的工作仅仅是叫开个头，表示：现在开始着手做验证了。现在发现，用Spin建模并没有想象中简单，看过的一些例子那都是很简单的模型，所以感觉不难。用Spin表达一个实用的模型 机器人生 2024-01-29 41 点赞 0 评论 62 浏览
