2003-06-04 [長年日記]
λ. 木下佳樹, 高橋孝一: 『図式による圏論の形式的証明』, 電子技術総合研究所研究速報, TR95-25, 1995.
を簡単に読んだ。順当な方法だとは思うけど、これで項の表現を思い浮かべずに図形だけ見て証明できるかと言われれば、(僕の頭には)少し厳しいような気がする。そういえば、以前はアプレットを公開してたような気がするけど、もうアプレットの公開はやめっちゃったのかなぁ。だとしたらちょっと残念。
λ. Re: な、なんで受かっちゃうかな。。 (2003-06-04)
2003.6.4 な、なんで受かっちゃうかな。。
日曜日 東地区 “エ”ブロック 51a
「ブロンプトンvsトランジットコンパクト」（予定）。ジャンルは折り畳み自転車布教（何それ）。輪行啓蒙でも可。
初参加。コピー誌のつもりです。頑張ります。ちょっと（どころでなく）気合い入った。
おぉ。おめでとー。
λ. Hylomorphism その2
Shortcut Deforestation in Calculational Form によると、CPOでは initial algebra と final coalgebra のキャリアが一致してしまうらしい。逆極限法(inverse limit construction)については今勉強中なんで良く分からないのだけど、いまいちピンとこない。
[2005-06-04 追記] Haskellの代数的データ型は始代数ではない? を参照。
λ. Rubyユーザの喫煙率
私も煙草は吸いませんねぇ。子どものころ喘息だったこともあって、どうも苦手なんです。
[ツッコミを入れる]
