coqを使うと証明駆動開発ができるらしい。 以下でインストール方法が説明されている。 http://d.hatena.ne.jp/yoshihiro503/20070706以下でWindows版をDLできる。 http://coq.inria.fr/download以下に投稿サイトがある。 http://as305.dyndns.org/aps/ Coqで…