トップ «前の日記(2008-03-16) 最新 次の日記(2008-03-18)» 月表示 編集

日々の流転


2008-03-17 [長年日記]

λ. 第68回情報処理学会・プログラミング研究会

ytbさん「再帰的定義を可能にする述語論理の証明支援系上の実装」という発表をするようなので、お会いしに行きたいなぁ、と思っていたが、それどころじゃないのだった。