コンピューターによる定理の自動証明at MATH
コンピューターによる定理の自動証明 - 暇つぶし2ch68:132人目の素数さん
05/09/12 17:43:51
>>67
>現に例えば俺が証明を考えてるときにしらみつぶしになんか
調べてないよ。

君以前の人がそうしている。
君がその知識を利用しているときに
そのことを意識できないだけ。


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