先說早上的乙個馬路偶見：過北四環馬路，一男一女，互不相識，車流從左到右，男靠左，在女之後。此男意欲速過馬路，正向前，突然減速，曲線變道，轉向女士右邊....乙個微妙地動作，卻看到了人性真實的猥瑣面!嘆息~
照例和老師打過招呼，開終端。同時在紙上寫下今日計畫：
我很nb地想，這個上午應該可以輕鬆搞定吧。事實證明，花了一天，走的時候稍微總結，給自己打分：70分！
magic的文件並不是很豐富，我給作者sagar（卡內基梅隴大學計算機學院，印度小夥子）發了一封信，結果他說該專案他已經不維護了，現在已經在magic的基礎上開發了並行處理效能更好的copper，向我推薦那個，faint……
既來之則安之吧，先還是老實地把magic弄好，反正copper不是建立在magic基礎上麼（雖然現在已經快完全脫離magic框架了）~
看了這麼些文件，magic是做什麼的現在已經很明確了，這個並不能用來做協議正確性證明，也就是說最終我肯定不會用magic來完成老師布置的任務。但它是formal verification & certification的乙個代表，把這個學習好，對理解其它相關軟體一定大有好處。所以，我還會給一到兩天的時間來鑽研這個magic，看你裡面到底有多少magic~！咔咔~
硬哥的境況惡化了：葉子那邊來同學了；現在ict並不能隨便就插進人，估計是老師們都有很詳細的安排。
北漂，大多數時候很沉重。
希望他能早點找到乙個解決方案、做出乙個決定。
男人，要能屈能伸！
buou回家了；何韻來北京了；同學中還有什麼新動向？不知道mer考試結束沒，儘管每天都從他校門口經過，還沒見過面呢。
中科院實習（6）
顯然，我不笨！magic文件十分之不豐富，很多東西都考自己摸索。上午，靈感迸發，連續總結 領悟出兩個要點，糾正了前兩天的錯誤猜測，更新了ppt文件。興奮之餘，打了兩個響指 哇咔咔 既然不笨，下午就開始看magic的原理性acm文件了，裡面講得比較詳細，一面向下看，一面印證著我以前的一些猜測，行雲流水...
中科院實習（8）
轉移到人大的朋友這邊來了，又是乙個新環境，早上自然又醒的很早了。這裡沒有農大涼快，不過比起武漢的溫度，我已經很感恩了！昨天跟hey，tm，逛過一下午動物園之後雙腳是完全不行了，到了 都只有乙個念頭 坐一下吧 但她們兩位卻彷彿沒有什麼事兒一樣 昨天晚上吹了一晚上的電扇，這貌似也是在北京第一次吹電扇了，...
中科院實習（6）
顯然，我不笨！magic文件十分之不豐富，很多東西都考自己摸索。上午，靈感迸發，連續總結 領悟出兩個要點，糾正了前兩天的錯誤猜測，更新了ppt文件。興奮之餘，打了兩個響指 哇咔咔 既然不笨，下午就開始看magic的原理性acm文件了，裡面講得比較詳細，一面向下看，一面印證著我以前的一些猜測，行雲流水...