「トップページ」の編集履歴（バックアップ）一覧はこちら

「トップページ」(2010/04/13 (火) 05:52:28) の最新版変更点

追加された行は緑色になります。

削除された行は赤色になります。

**Formal Methods Forum
-形式手法について広く深く研究する会です。

**[[勉強会]]
-参考資料
--[[Coq勉強資料:Certified Programming with Dependent Types>>http://adam.chlipala.net/cpdt/cpdt.pdf]]
--[[Event-B勉強資料:Slides and Rodin Platform archives of the developments corresponding to chapters of the books>>:http://wiki.event-b.org/index.php/Event-B_Language]]

**[[Coq]]
-[[Coqインストール]]
-[[Coq参考資料]]
-[[Certified Programming with Dependent Types関係]]
-[[Coq命題論理の証明]]
-[[Coqで数独>>ftp://ftp-sop.inria.fr/marelle/Laurent.Thery/Sudoku.pdf]]

**[[リンク集]]：関連しそうな話へのリンク集

**Formal Methods Forum
-形式手法について広く深く研究する会です。

**[[勉強会]]
-参考資料
--[[Coq勉強資料:Certified Programming with Dependent Types>>http://adam.chlipala.net/cpdt/cpdt.pdf]]
--[[Event-B勉強資料:Slides and Rodin Platform archives of the developments corresponding to chapters of the books>>:http://wiki.event-b.org/index.php/Event-B_Language]]

**[[Coq]]
-[[Coqインストール]]
-[[Coq参考資料]]
-[[Certified Programming with Dependent Types関係]]
-[[Coq命題論理の証明]]
-[[Coqで数独>>ftp://ftp-sop.inria.fr/marelle/Laurent.Thery/Sudoku.pdf]]

**SPIN
-[[SPINインストール]]

**[[リンク集]]：関連しそうな話へのリンク集