日々の流転

λ. Formulating Haskell

Formulating Haskellを眺めてみる。

λ. 記号処理プログラミング

yppasswdのダミーを作って遊ぼうとしている人がいたので、ちょっとアドバイスしてみる。

λ. A first introduction to categories 読了

一応読了。最後の方のエクササイズはあまり解けていませんが……

λ. システムプログラミング

ポインタとか配列とか。退屈だったので「自分自身を指すようなポインタ型は宣言できないんですか?」とか質問してみる。出来ないのは知ってるのだけど、dereferenceがendomapになったら面白いかなとか思ったんで。

λ. 「1+1=2って本当?」 その2

いや、別に僕も言っている内容に興味があるわけではなくて、単に久野君をつっついて面白がっているだけです。

訊いてみると一応ペアノの公理あたりは知っていると言っているので、どうしてこういう疑問が出てくるのか確かに不思議だとは思うのですが。

λ. 論文読み会 "WOLF--A Novel Reordering Write Buffer to Boost the Performance of Log-Structured File Systems"

むずい。

λ. 帰り

みんなと一緒にごはんを食べに行こうかとも思ったけど、眠かったので、帰って速攻で寝る。