2010-04-29 [長年日記]
λ. 第4回FormalMethods勉強会
に途中から参加。
ken.coba さんの Alloy の話。
komagatime さんによる CEGAR の話。
tmiyaさんによる Certified Programming with Dependent Types の解説。
に途中から参加。
ken.coba さんの Alloy の話。
komagatime さんによる CEGAR の話。
tmiyaさんによる Certified Programming with Dependent Types の解説。