2006-04-11 ほげ 離散数学(I井先生) 風邪でダウン...no... Prolog/ML演習 LiLFeS処理系を用いたプログラミング append, reverse, sort, generate-and-test等 頭痛い...id:nyaasan来なかったなぁ。prologはまた違う趣が有ると感じたので、↑を借りて読んでみる。最低でも処理系の挙動(特に評価モデル)は理解しときたい。