2010-07-02から1日間の記事一覧

やったー、Coqでのたらい回し関数の停止性証明できたよー

Call-by-name版なので簡単ですけど。ものすごく下手なソースだと思いますが、一応晒しておきます。

2010年07月02日のツイート

@kururu_goedel: @minami106 ポスドクやっていたところの(当時の)学科長は、オフィスに「Yes! We are clopen」と書いてある冗談の看板を貼ってました。2010-07-02 14:57:01 via Seesmic to @minami106 @kururu_goedel: はてダのtwitter報告は扱いが難しいな…