先週の土曜に、「晩に渋谷でパスタの会：双対編」を開催しました。例外処理の話をする予定ではいたのですが、当日の朝になって突然シーケント計算と絡めようと思ってしまいました。ところが、シーケント計算の話は最後の15分くらい。ちょっと残念。ここでは…

コパスタを食べる余会（意味不明） 11月28日(土曜) 18:00から22:00； 申し込み15名、欠席なし、飛び入り1名、檜山入れて17名（キャパオーバー）で開催。 資料みたいなもの トラックバック： Readerモナドはちゃんとしたモナドでした - bonotakeの日記 報告：…