【グラフ理論】離散数学／情報数学 2【組合せ論】at MATH【グラフ理論】離散数学／情報数学 2【組合せ論】 - 暇つぶし2ch■コピペモード□スレを通常表示□オプションモード□このｽﾚｯﾄﾞのURL■項目テキスト612:片山博文MZ ◆0lBZNi.Q7evd 12/02/19 13:55:44.90 証明の正しさを検証するようなプログラムも あってもいいかもしれないな。 613:１３２人目の素数さん 12/02/19 14:01:35.16 そうだよ、人間は発想力がいいじゃん でも細かい論理とか苦手じゃん そのめんどくさい部分を全部コンピュータまかせにしてさ 人間は高度な部分だけ考えればいいのよ 614:１３２人目の素数さん 12/02/19 17:19:44.71 609だけどWMはいりません。何か勘違いされてませんか？ 615:１３２人目の素数さん 12/02/19 18:07:51.72 ライセンスを騙って著作権を侵す犯罪者だからな、そいつは。 616:１３２人目の素数さん 12/02/22 20:39:36.33 山田多項式ってなに？ どの書籍に乗ってるか知ってる？ 617:１３２人目の素数さん 12/02/25 01:37:23.74 >定理13の致命的な >間違いが発見されました。 いや、定理１３が間違いなんじゃなくて、一番初めに書いてある「Ulam 予想の変形」が間違いなんですよ。 次ページ最新レス表示レスジャンプ類似スレ一覧スレッドの検索話題のニュースおまかせリストオプションしおりを挟むスレッドに書込スレッドの一覧暇つぶし2ch