根本命題なら違うかもですね。上にあるように公理系にも色々あります。それを含めて素数としての話です。[wikipedia.org]をちらっと見てみると、>ただし、メルセンヌ素数としての番号が確定しているものは、41番目までであり、なので、その意味でのM48ではないような。人類が見つけた順番だと48番目だけど、小さいものからの順序で言うと48番目かどうかは未定、みたいな。小さい方から確定させて行きそうな気がしたので意外。挙がっており、現在間に素数がないかどうか検証中である。これ、去年末に検証が終わって、M42であることが確定してます。高校生だったニッケルとノルさんが発見したM25を懐かしく思い出した。Coward小さい方から確定して言ってるんだろうけど、(と言うか、42の候補より小さい素数がないか確認してるんだから小さい方からでないと確定できないっぽい)ほかに検証している機関がすくないとかで追証出来てないんじゃない?最低3つのアルゴリズムで検出しないといけない、んだけど2つしかないとか、みんな同じアルゴリズムとか。そもそも使ってるアルゴリズムの網羅性に疑問があるとか。ある特定機関が認証しないといけないんだけどそこは確実だけど遅い手法を使ってるとかマシンパワーあまり使えないとか(予算がない!)で手間取ってるとか。書き間違いました>「確定」。確定は小さな方からでないと無理ですよね。小さい方からしらみつぶしにして行くんじゃないのか、と意外に思った次第です。素数かどうか判定しやすいパターンを先にやってるとか深淵な理由があるんだろうなと想像は付きますが。Coward追証の必要はない。必要があると主張するなら、お前がやればいいだけ。Cowardクライアントを立ち上げてサーバから素数候補を受け取った人の殆どが結果を返却しません。サーバの方では半年経つとその素数候補を別なクライアントに配布します。小さい数から配布しているのですが、ある数値以下の素数候補について全て計算が終わるには凄く時間がかかります。(#2320906)とりあえず3だけ異質だな。(#2320964)どうすればいい?なるべく簡単な方法で、Linuxでしたいです。いろんな言語で書いてってください。bc2^57885161-1とか。さんだってやればできるところをみせてやろう。何も指定しないと勝手に多倍長で計算してくれる。テキストファイルができる。インタプリタでもなんとかなるもんだ。リダイレクトしないと、先頭の桁からどばーっとコンソールに表示されてちょっと楽しい。発表の数字と末尾20文字くらいが一致したから、ちゃんと計算できてると思う。20秒くらいで終わった。(#2321082)Pythonだと計算は一瞬ですね。Pythonは多倍長整数をサポートしているので。2**57885161-1ただ、これを10進数に変換するのは非常に時間がかかるみたいです。(#2321233)除算/剰余算は結構早く終わります。10**10)とすれば下から10桁の切り出しはすぐ求められますね。Coward設問が10進数なので出力も10進数にしてください。ソースコードを最適化しただけだと思います。数学の大問が全然わからなくて「つまり○○である」と言い換えて部分点だけゲット、みたいな。Coward簡単そうに見えて、意外と難しいだろ。Cowardもうちょっと条件を具体的に。・ubuntuやCentOS等で、新たなライブラリをインストールしない。C、C++以外のスクリプト系で、止む得ない場合はOK。・2日以内に計算が終わる。(スクリプト系はこの制限守れなくても仕方ないか)・マルチスレッド化はOK。Cowardんなもん、プログラム書く必要もないだろ宇宙の答えも出せるGoogleさんにまかせれば...ほらだめじゃんより多くのコメントがこの議論にあるかもしれませんが、JavaScriptが有効ではない環境を使用している場合、クラシックなコメントシステム(D1)に設定を変更する必要があります。service.閉じるスラド読み込み中...。