【Coq】コンピューターで証明しよう【コック】©2ch.net at MATH

---

1:片山博文MZ ◆T6xkBnTXz7B0 転載ダメ©2ch.net
15/01/23 01:41:03.17 kQ1pk3tS
Coqというプログラムを使えば、計算機上で数学的な証明を厳密に行うことができます。

URLﾘﾝｸ(www.iij-ii.co.jp)
URLﾘﾝｸ(ja.wikipedia.org)

使いこなすには、大学レベルの数学と論理学とプログラミングと英語の知識が必要。
さあ、試してみよう！

---

レスを読む

最新レス表示

レスジャンプ

類似スレ一覧

スレッドの検索

話題のニュース

おまかせリスト

オプション

しおりを挟む

スレッドに書込

スレッドの一覧

暇つぶし2ch