【ミルカさんと】数学ガール【テトラちゃん】at MATH【ミルカさんと】数学ガール【テトラちゃん】 - 暇つぶし2ch■コピペモード□スレを通常表示□オプションモード□このｽﾚｯﾄﾞのURL■項目テキスト650:１３２人目の素数さん 09/11/11 23:49:07 3段まではいける 651:１３２人目の素数さん 09/11/14 00:06:39 ４６個の定義を実際に実装してみようと思っても、累乗計算が多くて普通の 計算機だと遅すぎて動かないんだよね。 ゲーデル数の機構が厄介すぎる。数学的に等価でもう少し実行速度早くする方法ってないもんか？ 652:１３２人目の素数さん 09/11/14 00:12:17 マテマテカでも駄目か？ 653:１３２人目の素数さん 09/11/14 00:17:51 マスマティカは持って無い。あれならできる？ 654:１３２人目の素数さん 09/11/15 02:33:07 巨大数の掛け算は簡単だが、素因数分解は難しい・・・というのが非対称鍵暗号の原理な訳で。 つまり、非対称鍵暗号が有効なうちはこの証明をそのまま計算機に乗せるのは難しいだろうね。 655:１３２人目の素数さん 09/11/15 02:34:42 マスマティカは大学の全パソコンに入ってるから使えるけど 自分で組んで重い処理はマスマティカでも重いと思うなあ 試してはないけど 次ページ最新レス表示レスジャンプ類似スレ一覧スレッドの検索話題のニュースおまかせリストオプションしおりを挟むスレッドに書込スレッドの一覧暇つぶし2ch