2008/03/14

(超)指數延展的前路

今天 MFN meeting 聽 scm 老師簡介 dependent type theory,覺得完蛋啦,又是一大堆東西要進來。當年從正常人變成 programmer,最近花半年變成 dependently-typed programmer,接下來又要再掙扎一次變成 dependent type theorist(斷句方式是 "dependent type" theorist 不是 dependent "type theorist",雖然後者大概是近程目標 XD)。往資管系的路上把 MSS derivation 經過的變換想通了,待會寫一篇 blog 記下來,然後 derivation 就暫時放一旁,學校的東西弄一弄趕快看 (dependent) type theory。只要恍神一下大概就追不上了…

--
偶爾也讓我有一陣子「什麼都懂」的感覺也無妨啊 XD。

Labels:

<< 回到主頁