以前、こちらの命題を証明しました。
ソフィー・ジェルマン素数
※
↓証明はこちらです。
ソフィー・ジェルマン素数とメルセンヌ数
なんとなく、この命題に愛着がわいてきたので、具体的なソフィー・ジェルマン素数で計算してみることにしました。
例えば
よって、
よって、
といった感じです。
すると「折角なので、もはや手計算や電卓では計算できなさそうなメルセンヌ数の約数も求めてみたい…」という欲求が生まれてきました。
そこでプログラミングをしてみることにしました。
今回、「Julia」という言語を使いました。環境構築がとても簡単なので、おすすめです。プログラミング経験の浅い私でも、難なくスタートできました。
Juliaとは?
”アメリカのマサチューセッツ工科大学(MIT)で開発された新しいプログラミング言語である。「コードが簡潔で高水準な記述ができる」こと、「プログラミングの実行速度が速い」ことが特徴で、まさに時代の先端をいく次世代プログラミング言語といえる。”
(進藤裕之・佐藤建太「1から始めるJuliaプログラミング」の裏表紙より)
以下、1行目が
※大きな
私のパソコンは、開発用等ではなくスペックはかなり低いのですが、このくらいの桁数でも2~3分で計算してくれました。
命題として見ていたときと、具体的な数値を当てはめてみたときで、印象が変わって感じられるのが面白かったです。
Sophie Germain prim.ipynb
https://gist.github.com/terasakisatoshi/028f7bad99377633cb01e8b1cec72e67
Julia言語で入門するプログラミング(その1)
https://muuuminsan.hatenablog.com/entry/2020/11/22/022956
アドバイスなどをくださったみなさま、ありがとうございました!