2008/04/17

繼續

走回宿舍途中給自己出一個小題目:寫一個 coreflexive 判斷一個 set 裡面的元素是否兩兩都被 equivalence relation R 關連在一起。(可以想像我的最終目標是「建立 equivalence classes」的 specification。)最後還滿自然地導出 ((∈\R)/∋) ∩ id,頓時對 division 的好感增加許多 XD。現在 AoP 正在興頭上,今晚還是來算一算吧 XD。

--
反正兩個程式作業的期限都在下下週 XD。

Labels:

<< 回到主頁