日々の流転

λ. SFCの近くで火事があった。煙がSFCからも見えたのだけど、残念ながらこういうときに限ってデジカメを持っていなかったので、写真を撮ることが出来なかった。

λ. representable functor

representable functor をやった。Hom(X,Y)が集合だと強調されていたのはこのためだったのか。

λ. least general unifier

Prolog の unification が most general unifier で、そのdualとして least general unifier というのがあるそうだ。例によってカテゴリ論で綺麗に扱えるらしい。……と、どっかで聞いた話だと思ったら、least general unifier は帰納論理プログラミングの授業でやったんだった。

【2006-05-15追記】 least general unifier ではなく least general generalisation が正しい。

λ. 買った本

岩波判例基本六法 平成14年版

-

自然言語処理

石崎俊[著]

Software Design 2002年5月号

-

Linux Magazine 2002年6月号

-