早上7:36到達中國科學院軟體所，與導師約定在9點來，我可是怕自己找不到路，就提前來了。
來了就先跟導師聊幾句，之後導師帶著我看看電腦科學國家重點實驗室實驗室的氛圍很不錯，大家都在忙自己的事，不愧是中科院的研究所！
導師人很好，但是好像很忙的樣子，不過雖然他很忙，還是帶我去做實習生的登記，去看工位，實驗室的領導真的很嚴格，完全按照登記表上的要求走，因為導師之前還有幾個「到期」的實習生離開實驗室的相關事情沒有處理完(可能是真的忙吧) 不能再邀請新的實習生。 所以登記的事情今天沒有完成。
在找實驗室的領導簽字的時候碰見了一位參加夏令營的老鄉，他是哈工程的，也搞acm很厲害！
因為我是在距離軟體所大概四五站的回龍觀租房子住著，導師為了減輕我的負擔，就給我找了個宿舍讓我住著，還給我了一張在樓下餐廳吃飯的卡，在此非常感謝導師！
導師交給我的任務是用dafny去驗證一些演算法的正確性，以後我也會把我在學習dafny的過程記錄下來。
by henuwhr 2023年7月11日
中科院實習（6）
顯然，我不笨！magic文件十分之不豐富，很多東西都考自己摸索。上午，靈感迸發，連續總結 領悟出兩個要點，糾正了前兩天的錯誤猜測，更新了ppt文件。興奮之餘，打了兩個響指 哇咔咔 既然不笨，下午就開始看magic的原理性acm文件了，裡面講得比較詳細，一面向下看，一面印證著我以前的一些猜測，行雲流水...
中科院實習（8）
轉移到人大的朋友這邊來了，又是乙個新環境，早上自然又醒的很早了。這裡沒有農大涼快，不過比起武漢的溫度，我已經很感恩了！昨天跟hey，tm，逛過一下午動物園之後雙腳是完全不行了，到了 都只有乙個念頭 坐一下吧 但她們兩位卻彷彿沒有什麼事兒一樣 昨天晚上吹了一晚上的電扇，這貌似也是在北京第一次吹電扇了，...
中科院實習（5）
先說早上的乙個馬路偶見 過北四環馬路，一男一女，互不相識，車流從左到右，男靠左，在女之後。此男意欲速過馬路，正向前，突然減速，曲線變道，轉向女士右邊.乙個微妙地動作，卻看到了人性真實的猥瑣面 嘆息 照例和老師打過招呼，開終端。同時在紙上寫下今日計畫 我很nb地想，這個上午應該可以輕鬆搞定吧。事實證明...