日々の流転

λ. 親知らず

親知らずを抜歯。多少痛む。

λ. pcl-cvs

cvsコマンドを直接使うのが馬鹿らしくなったので、pcl-cvsを使ってみる。しかし、MeadowからCygwinのsshにパスフレーズを渡すことは出来ないみたい(MeadowがCygwinのptyを扱えないのはまぁ当然だよね)。ssh-agentを使えば良いみたいだけど、どうせなのでwin-ssh-askpassというのを使ってみる。なかなか便利。

λ. 分類と情報射のなす圏のexponential (PDF)

そのままじゃ存在しないよね。忘れないうちにメモしておく。

[2005-03-27 追記] distributive category でないことを示しすことによって間接的に証明した方がスマートだと思う。