板一覧閲覧履歴プレミアム新規登録ログイン
x
板一覧
閲覧履歴
プレミアムサービス
ログイン
新規登録
トップ
ニュース
ニュース速報+
雑談
ニュース速報ニュー速VIPニュー速(嫌儲)ラウンジなんでもあり難民既婚女性独身男性
実況
なんでも実況Gなんでも実況Jなんでも実況U番組ch(NHK)番組ch(フジ)番組ch(教育)番組ch(NTV)番組ch(TBS)番組ch(朝日)番組ch(TX)
エンタメ
YouTube乃木坂46モ娘（狼）AKBサロン(裏)NMB48宝塚・四季ネットwatchテレビドラマアジアエンタメ映画一般・8mm
漫画・アニメ
アニメアニメ２アニメサロン漫画漫画サロン同人同人ノウハウラブライブ！週刊少年漫画アニメ映画文芸書籍サロン
ゲーム
スマホゲームスマホアプリPCゲーム家庭用ゲームハード・業界ネトゲ実況ネトゲ実況2ネトゲ実況3モンハンFFO
スポーツ
野球chプロ野球高校野球野球総合サッカーch国内サッカー海外サッカースポーツchスポーツサロンバスケットラグビー
趣味
競馬競馬２スロット機種パチンコ機種等車種・車メーカーバイク釣りおもちゃファッションラーメン麻雀・他将棋・チェス
投資
株式市況1市況2投資一般仮想通貨板株個別銘柄
このスレッドはアーカイブ化された過去ログです。

【Coq】コンピューターで証明しよう【コック】アーカイブ

1.
ユーザー
１３２人目の素数さん
kQ1pk3tS
Coqというプログラムを使えば、計算機上で数学的な証明を厳密に行うことができます。

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

使いこなすには、大学レベルの数学と論理学とプログラミングと英語の知識が必要。
さあ、試してみよう！
出典 https://rio2016.5ch.net/test/read.cgi/math/1421944863
1
すべて
|
最新の50件
このスレッドはアーカイブ化された過去ログです。

人気のスレッド

もっと見る
>
トップニュース雑談実況エンタメ漫画・アニメゲームスポーツ趣味投資板一覧
プレミアムよくある質問利用規約プライバシーポリシー©Talk