日々の流転

λ. Javaではclosureの代わりに無名クラスというのがあるらしい。

λ. SFC-MODE/NNTP

上の「最近のツッコミ」は都合によりその月の分しか表示していないのだけど、例の構想についてtakotさんという方にツッコミもらった。

とりあえず、データを取ってくるコードはそれなりで、今はNNTPについて勉強中。

λ. 人間と法

法哲学の話ですらないような「話を聞かない男、地図が読めない女」の話なんてどうでも良い。もっと役に立つことを話してくれ。

λ. 今日の向井研

チャネル理論のタイプレベルのインファレンスがグローバルカットに関係しているらしい。

それから、こないだ考えたclassificationの圏のcoproductは、most general refinement なチャネルのcoreという意味があるらしい。

あと、僕はこれまでこの日記では f_typとf_tokと書いていたけど、本当はf^∧とf^∨と書くらしい。