コンピューターによる定理の自動証明
at MATH
[
2ch
|
▼Menu
]
■コピペモード
□
スレを通常表示
□
オプションモード
□このｽﾚｯﾄﾞのURL
■項目テキスト
50:１３２人目の素数さん 05/09/10 06:22:49 ボスに向かってザラキを唱えるやつか。 51:１３２人目の素数さん 05/09/10 10:43:48 >>48 キミはgoogle の使い方を知らない。 52:１３２人目の素数さん 05/09/10 11:07:15 この分野は日本では信州大が一番進んでいる ようだよ。 お前らが大好きな数研の教科書書いてる方が 精力的に進めている 53:１３２人目の素数さん 05/09/10 11:46:30 >>52 mizarは"theorem prover"ではなく"proof checker"ですよ。 checkerでさえ現状ではライブラリ不足で実際に数学では使えないでしょう。 54:48 05/09/10 13:48:10 >>51 ではどのようにすればA=BでGoogleで検索できるか教えていただけますか？ (´-`).｡ｏO(二重引用符でくくれとかそういうｵﾁかな？) 55:名無しさん＠そうだ選挙に行こう 05/09/10 23:49:29 挑発したら教えてもらえなくなるよ 56:48 05/09/10 23:53:25 はいはいヽ(´ー`)ﾉ
次ページ
最新レス表示
スレッドの検索
類似スレ一覧
話題のニュース
おまかせリスト
▼オプションを表示
レスジャンプ
mixiチェック！
Twitterに投稿
オプション
しおりを挟む
スレッドに書込
スレッドの一覧
暇つぶし2ch
5398日前に更新/151 KB
担当:undef