トップ «前の日記(2003-01-18) 最新 次の日記(2003-01-21)» 月表示 編集

日々の流転


2003-01-20 [長年日記]

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

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

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

Tags: 論文

λ. 夕食

サイゼリア

λ. CPL

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

Tags: CPL