トップ «前の日記(2010-04-28) 最新 次の日記(2010-05-08)» 月表示 編集

日々の流転


2010-04-29 [長年日記]

λ. 第4回FormalMethods勉強会

に途中から参加。

ken.coba さんの Alloy の話。

komagatime さんによる CEGAR の話。

tmiyaさんによる Certified Programming with Dependent Types の解説。

関連

Tags: Alloy coq