2009-11-30から1日間の記事一覧
先週の土曜に、「晩に渋谷でパスタの会:双対編」を開催しました。例外処理の話をする予定ではいたのですが、当日の朝になって突然シーケント計算と絡めようと思ってしまいました。ところが、シーケント計算の話は最後の15分くらい。ちょっと残念。ここでは…
コパスタを食べる余会(意味不明) 11月28日(土曜) 18:00から22:00; 申し込み15名、欠席なし、飛び入り1名、檜山入れて17名(キャパオーバー)で開催。 資料みたいなもの トラックバック: Readerモナドはちゃんとしたモナドでした - bonotakeの日記 報告:…