先说早上的一个马路偶见：过北四环马路，一男一女，互不相识，车流从左到右，男靠左，在女之后。此男意欲速过马路，正向前，突然减速，曲线变道，转向女士右边....一个微妙地动作，却看到了人性真实的猥琐面!叹息~
照例和老师打过招呼，开终端。同时在纸上写下今日计划：
- Magic的输入文件的特点（.spec）、语法规则
- 功能概述文档
- 自己编写一个测试
- 更深一个层次：分析Magic实现原理（Level2，后期）
我很nb地想，这个上午应该可以轻松搞定吧。事实证明，花了一天，走的时候稍微总结，给自己打分：70分！
Magic的文档并不是很丰富，我给作者Sagar（卡内基梅陇大学计算机学院，印度小伙子）发了一封信，结果他说该项目他已经不维护了，现在已经在Magic的基础上开发了并行处理性能更好的Copper，向我推荐那个，faint……
既来之则安之吧，先还是老实地把Magic弄好，反正Copper不是建立在Magic基础上么（虽然现在已经快完全脱离Magic框架了）~
看了这么些文档，Magic是做什么的现在已经很明确了，这个并不能用来做协议正确性证明，也就是说最终我肯定不会用Magic来完成老师布置的任务。但它是Formal Verification & Certification的一个代表，把这个学习好，对理解其它相关软件一定大有好处。所以，我还会给一到两天的时间来钻研这个Magic，看你里面到底有多少magic~！咔咔~
硬哥的境况恶化了：叶子那边来同学了；现在ict并不能随便就插进人，估计是老师们都有很详细的安排。
北漂，大多数时候很沉重。
希望他能早点找到一个解决方案、做出一个决定。
男人，要能屈能伸！
Buou回家了；何韵来北京了；同学中还有什么新动向？不知道Mer考试结束没，尽管每天都从他校门口经过，还没见过面呢。