2008/03/10

Indexed Containers

中午在網上閒逛等人，逛到 Conor McBride 的網頁（他真的很滑稽 XD），右邊赫然有一篇〈Indexed Containers〉，說不定能解決 internalism vs. externalism 的問題！

同時他們那一群人也都很恐怖，光理論上 type theory 和 category theory 和所有相關的東西都熟得跟什麼一樣…

--
好吧，慢慢看吧 XD。

Labels:

posted by Josh Ko @ 11:58 am   2 項意見

Anonymous Anonymous 在 3/10/2008 1:01 pm 說：

閒聊一下吧 XD

貴系的David Kuo教授是不是上課都講很快呀

另外，好像習慣會說「以上我喇哩喇雜的講了這麼多…」呢

--
今天筆記抄好辛苦 XDD

 
Blogger Josh Ko 在 3/10/2008 1:03 pm 說：

以我的說法是講得很流暢，論語速還是得推 cyy 老師 XD。

那句的確常聽他講沒錯 XD。

 

<< 回到主頁