日々の流転

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

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

λ. Lapis Lazuli いいよね。

λ. nested repeat operator

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

λ. 読書

『HELLSING(ヘルシング) 3』

平野耕太[画]

『キノの旅 Ⅲ - The beautiful world』

時雨沢恵一[著] 黒星紅白[イラスト]

『サクラ大戦　前夜　2』

『サクラ大戦　前夜　3』

あかほりさとる[著] レッドカンパニー[監修/原案]

λ. 圏論

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

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

λ. While program

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

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