コンピューターによる定理の自動証明at MATH
コンピューターによる定理の自動証明 - 暇つぶし2ch67:132人目の素数さん
05/09/12 17:41:41
>>66

時間がかかりすぎというのは100年とか200年のオーダー
じゃないんだよ。現に例えば俺が証明を考えてるときにしらみつぶしになんか
調べてないよ。


次ページ
続きを表示
1を表示
最新レス表示
レスジャンプ
類似スレ一覧
スレッドの検索
話題のニュース
おまかせリスト
オプション
しおりを挟む
スレッドに書込
スレッドの一覧
暇つぶし2ch