第十五回 #渋谷java まとめ

toastkidjp @toastkidjp

「おそらく素数」はどこまでそうなのか？ #渋谷java

toastkidjp @toastkidjp

100億まで正解だった #渋谷java

田所 駿佑 | Shunsuke Tadokoro @todokr

BigInteger.nextProbablePrime() は「おそらく素数である数」を返すw #渋谷java

chibochibo @chibochibo03

100億までは正かった！17時間かかったw #渋谷Java

KOMIYA Atsushi @komiya_atsushi

BigInteger#nextProbablePrime() の話が僕の興味ど真ん中過ぎて楽しい #渋谷java

David / でーくん / dékun Mizrahi @deeeeekun

nextProbablePrime()なかなか面白いwww #渋谷java

YHWH @vertical_blank

すげーマニアックだ…w #渋谷java

miyata @miyajan

ミラーラビン素数判定法 #渋谷java

toastkidjp @toastkidjp

ミラー・ラビン素数判定法 大学の教科書に出る著名なアルゴリズムとのこと #渋谷java

田所 駿佑 | Shunsuke Tadokoro @todokr

ミラー=ラビン素数判定法は実際に割らないから高速、らしい #渋谷java

chibochibo @chibochibo03

ミラーラビン素数判定法、ほ、ほう... #渋谷Java

あやぴー @_ayato_p

#渋谷java ミラーラビン素数判定法 sicp で出てきた記憶がありますね

David / でーくん / dékun Mizrahi @deeeeekun

数学の授業になってきた！！！ ＼(‾̴̴͡͡▿•‾̴̴͡͡ )／ ja.wikipedia.org/wiki/%E3%83%9F… #渋谷java

chibochibo @chibochibo03

aをランダムにいくつか選んでためす、それでOKなら素数でしょ、というので「おそらく素数」だそうな #渋谷Java

田所 駿佑 | Shunsuke Tadokoro @todokr

「おそらく素数を返す」の「おそらく」の根拠はどこにあるのか、という話。超面白い #渋谷java

miyata @miyajan

「（エラトステネスの篩は）中学校くらいでやるのかなあ？」 #渋谷java

chibochibo @chibochibo03

現実にはほぼ間違えない #渋谷Java

田所 駿佑 | Shunsuke Tadokoro @todokr

この「おそらく」は「理論上確率が0ではない」という意味 #渋谷java

田所 駿佑 | Shunsuke Tadokoro @todokr

背景となる用途はRSA暗号。巨大な素数が欲しい(鍵ペアの元にする)。素数ではない確率がごく小さければOK #渋谷java

miyata @miyajan

学生の頃に素数判定プログラムとか書いたけど、突き詰めるとこうなるという感じがおもしろかった（KONAMI） #渋谷java

YHWH @vertical_blank

また数学だ #渋谷java

田所 駿佑 | Shunsuke Tadokoro @todokr

java.lang.Mathの数学関数を計算速度的に極める #渋谷java

chibochibo @chibochibo03

Javaで機械学習をやると数学関数を使うことが多く、その実行速度がボトルネックになることが多い #渋谷Java

Naoki Takezoe @takezoen

java.lang.Mathとjava.lang.StrictMathの違い。 #渋谷java