日々の流転

λ. 論文読み会 "Fold and Unfold for Program Semantics"

この論文の前半について解説した。個人的にこの論文で面白かったのは polytypic fold/unfold をHaskellで表現するテクニックだったので、そこを取りあげられなかったのは少し残念。

つーか、CCSはカードキャプターサクラですか?

λ. 夕食

サイゼリア

λ. CPL

『どうせなので、単に実装しただけじゃなくて、こいつを利用して何か論文書けないかなぁ〜、でも「再実装しましたー」じゃ論文にならんしなぁ』とか思っていたら、未踏ユースにでも応募して何かやってみたらどうかと言われる。そっか、そういう選択もあるんだよなぁ。