20190823はどこで切っても素数の日

素数
1
みょうが 🇺🇦 @mrkn

今日はどこで切っても素数だな: 20190823 => 素数 0190823 => 素数 190823 => 素数 90823 => 素数 0823 => 素数 823 => 素数 23 => 素数 3 => 素数

2019-08-23 10:06:01
素数表150000個

真実のみを記述する会

素数

kirito @kirito37652121

@mrkn これに気付けるのがすごい

2019-08-23 10:18:26
みょうが 🇺🇦 @mrkn

@kirito37652121 毎朝機械的にチェックする仕組みを AWS Lambda に仕込んでます。

2019-08-23 10:20:41
T.Notani @smart_boy

@reoring @mrkn @kirito37652121 素数判定ってNP完全問題という計算がめちゃくちゃ大変な問題じゃありませんでしたっけ。 まあ、8桁程度ならパソコンレベルでも現実的な時間で計算可能ですが。

2019-08-23 18:22:51
xls @xls3

@mrkn @z_mD_ 発想力が凄い 前回と次回はいつですか?

2019-08-23 13:03:41
みょうが 🇺🇦 @mrkn

@xls3 @z_mD_ 前回は2019-05-23、次回は2030-03-17だそうです。

2019-08-23 13:23:50
xls @xls3

@mrkn リプライありがとうございます!対応早すぎるー!今後10年間無いような激レア日なのですね。

2019-08-23 13:44:15
鬼塚健太郎 @KentaroOnizuka

@mrkn 1の位が3だと、33,63,93以外は素数。 下二桁が23だと、4桁の数字は、2323, 4623,9223以外は素数? 下四桁が0823だと、、、 みたいなな形で、一般化すれば、わりと素数って見つかるかも。

2019-08-23 11:35:48
鬼塚健太郎 @KentaroOnizuka

@mrkn あ、これを、2進数でやると、案外素みつけるのが簡単なアルゴリズムみつからないかな。桁が倍々に増えていくからすぐに大きな素数が見つかったりしたら、すごいかも。

2019-08-23 11:44:19
鬼塚健太郎 @KentaroOnizuka

@mrkn げ、これもし本当なら、暗号業界ひっくりかえる?

2019-08-23 11:52:01
鬼塚健太郎 @KentaroOnizuka

@mrkn えっとある素数pが、二進数でn桁で表現されるとしたら、下n桁がpである 2n桁の数のうち、2^n x p + p 以外は全部素数、っていう定理になるんだろうけれど、本当かな。

2019-08-23 12:01:17
鬼塚健太郎 @KentaroOnizuka

@mrkn ちょっと変形。 pが素数で、 2^n < p < 2^(n+1) であるとき 2^(n+1) + p は素数である。 たぶん、非効率的なエラトステネスの篩になっている18族元素。

2019-08-23 13:28:56
鬼塚健太郎 @KentaroOnizuka

あ、これは反例出てこないな。どっかで知られている定理だろうし。 pが素数で、2^n < p <2^(n+1) だと、2^(n+1) + p は、2pより小さいから。

2019-08-23 14:07:57
ねしゃ~ @yuui_nesya

@KentaroOnizuka p=7のときn=2で15は素数ではありません p=11のときn=3で27は素数ではありません

2019-08-23 14:12:18
鬼塚健太郎 @KentaroOnizuka

@yuui_nesya ですです。15はすぐきがつきました。証明できないです。 正しくは、 pが素数で、 2^n < p < 2^(n+1) のとき、 2^n + p は素数。ですね。自明ですが。

2019-08-23 14:35:59
輩原 @ryo_haibala

@mrkn どういう行いしてたらそういうのに気がつくんでしょうか

2019-08-23 11:51:46
みょうが 🇺🇦 @mrkn

@ryo_haibala 今日の日付を一桁ずつ削って素数かどうかチェックするスクリプトを AWS Lambda で毎朝実行して結果を Slack に流しています。

2019-08-23 13:19:01
輩原 @ryo_haibala

@mrkn わお!想像以上のプロでした……❗

2019-08-23 13:20:12
リンク 棘を抜く 雑学、ライフハック、工具などまとめ - 棘を抜く 雑学関係のまとめ。ライフハック、工具、ミリタリー、工作等。 ライフハック 工具 工作 ミリタリー その他 ライフハック togetter.com togetter.com togetter.com togetter.com togetter.com togetter.com 工具 togetter.com togetter.com 工作 togetter.com togetter.com ミリタリー togetter.com togetter.com togetter.com togetter.com t