トップ «前の日記(2002-03-24) 最新 次の日記(2002-03-30)» 月表示 編集

日々の流転


2002-03-29 [長年日記]

λ. だるい。この一週間何もする気が起きなかった。

λ. 生暖かい風が心地好い。

λ. Lapis Lazuli いいよね。

λ. nested repeat operator

そういえば、star-height problem って今もまだ未解決なんだよね?

λ. 読書

『HELLSING(ヘルシング) 3』
平野耕太[画]
『キノの旅 Ⅲ - The beautiful world』
時雨沢恵一[著] 黒星紅白[イラスト]
『サクラ大戦 前夜 2』
『サクラ大戦 前夜 3』
あかほりさとる[著] レッドカンパニー[監修/原案]
Tags:

λ. 圏論

productを持つ圏があるときに、あるproduct(のprojection mapの組)をterminal objectとする新しい圏を作る事が出来る。

高橋さんもはじめたし、これって本当に静かなブーム? (ぉ

Tags: 圏論

λ. While program

へぇ順番に実行していくのと if と while があればなんでも書けるらしい。ということは原始帰納的でない関数もそれだけで記述できるのか。ふむふむ。

……と思ったが、別に意外でもないか。それだけあればチューリング機械自体書けそうだもんな。