[表示 : 全て 最新50 1-99 2chのread.cgiへ]
Update time : 01/31 07:03 / Filesize : 14 KB / Number-of Response : 54
[このスレッドの書き込みを削除する]
[＋板 最近立ったスレ＆熱いスレ一覧 : ＋板 最近立ったスレ／記者別一覧] [類似スレッド一覧]

↑キャッシュ検索、類似スレ動作を修正しました、ご迷惑をお掛けしました

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

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

www.iij-ii.co.jp/lab/techdoc/coqt/
ja.wikipedia.org/wiki/Coq

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

53 名前：１３２人目の素数さん mailto:sage [2015/01/30(金) 11:16:04.23 ID:UCtzINaz]
>>23




[ 新着レスの取得/表示 (agate) ] / [ 携帯版 ]
次100 最新50 ▲ [ このスレをブックマーク！ 携帯に送る ] 2chのread.cgiへ
[＋板 最近立ったスレ＆熱いスレ一覧 : ＋板 最近立ったスレ／記者別一覧]（*・∀・）＜14KB

read.cgi ver5.27 [feat.BBS2 +1.6] / e.0.2 (02/09/03) / eucaly.net products.
担当:undef