トップ «前の日記(2002-05-09) 最新 次の日記(2002-05-11)» 月表示 編集

日々の流転


2002-05-10 [長年日記]

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

λ. SFC-MODE/NNTP

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

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

λ. 人間と法

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

λ. 今日の向井研

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

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

あと、僕はこれまでこの日記では ftypとftokと書いていたけど、本当はfとfと書くらしい。