【Coq】コンピューターで証明しよう【コック】
at MATH
1:片山博文MZ ◆T6xkBnTXz7B0
15/01/23 01:41:03.17 kQ1pk3tS.net
Coqというプログラムを使えば、計算機上で数学的な証明を厳密に行うことができます。
URLリンク(www.iij-ii.co.jp)
Wikipedia項目リンク
使いこなすには、大学レベルの数学と論理学とプログラミングと英語の知識が必要。
さあ、試してみよう!
レスを読む最新レス表示スレッドの検索類似スレ一覧話題のニュースおまかせリスト▼オプションを表示暇つぶし2ch
260日前に更新/74 KB
担当:undef