Publication Recommended!!
〈Algebra of Programming using Dependent Types〉journal 版通過審查了(minor revision)!這次 referees 看得非常仔細,像第一個 referee 的評論雖然篇幅相對較短,但逐點看下來,所有弱點或不足之處都被硬生生地抓出來(cf. 勇者王 GaoGaiGar 的招式 "Hammer Heaven" XD),讓我看得膽戰心驚。不過還是挺過癮的啦 XD。
--
赫然發現在交大浩然圖書館照的那張照片背景竟是〈定風波〉!
Labels: 雜記
你果然微冷
<< 回到主頁