あなたの知らない乱数の世界

リクルートテクノロジーズの社内勉強会で発表した乱数の話です。

Transcript

1. ͋ͳͨͷ஌Βͳ͍ ཚ਺ͷੈք 2017/08/18 @ Recruit Tech Study
2. ๻ͱཚ਺
3. ͦ΋ͦ΋ͷൃ୺
4. ৄ͍͠ܦҢ͸ͪ͜ΒΛ
5. RandඍົʹϥϯμϜ͡Όͳ͍ʁ
6. ͜͜Ͱ͍͏Randͱ͸ • ͓ͦΒ͘ MySQL ͔ Java ͔ͳʹ͔ͷ random ؔ਺ʁ • ͩͱͨ͠ΒϥϯμϜ͡Όͳ͍ͱ͸ݴΘͳ͍͕
 ࣭ͷѱ͍ϥϯμϜؔ਺Ͱ͋Δ͜ͱ͸͔֬ɻ
7. ͜͜Ͱ͍͏Randͱ͸ • ͓ͦΒ͘ MySQL ͔ Java ͔ͳʹ͔ͷ random ؔ਺ʁ • ͩͱͨ͠ΒϥϯμϜ͡Όͳ͍ͱ͸ݴΘͳ͍͕
 ࣭ͷѱ͍ϥϯμϜؔ਺Ͱ͋Δ͜ͱ͸͔֬ɻ ϥϯμϜؔ਺ͷ
   ࣭
   ͱ͸Կ͔ʁ
8. JavaͰMath.random() ࢖ͬͯ·͔͢ʁ
9. Math.random() ʹ୅ද͞ΕΔ ཚ਺ൃੜث͸ٙࣅཚ਺Ͱ͋Γɺ Javaͷٖࣅཚ਺ͷ࣮૷͸ ઢܗ߹ಉ๏
10. Javaͷ Math.random ͷΞϧΰ ϦζϜ͸ઢܗ߹ಉ๏ • "ܭࢉ͸୯७͕ͩ͋Μ·ΓϥϯμϜ͡Όͳ͍ཚ ਺ੜ੒ث" • X[n+1] = a * X[n] + b mod M
11. ઢܗ߹ಉ๏ const A = 1103515245 const B = 12345 const M = 2^32 var X function rand() { X = (A * X + B) % M return X } // 32,21,18,11,6,17,20,27,32,21,18
12. ઢܗ߹ಉ๏ const A = 1103515245 const B = 12345 const M = 2^32 var X function rand() { X = (A * X + B) % M return X } // 32,21,18,11,6,17,20,27,32,21,18 ໰୊
    
    ۮ਺
    ح਺ͷॱʹฒΜͰΔ
13. ઢܗ߹ಉ๏ const A = 1103515245 const B = 12345 const M = 2^32 var X function rand() { X = (A * X + B) % M return X } // 32,21,18,11,6,17,20,27,32,21,18 ໰୊
    
    ۮ਺
    ح਺ͷॱʹฒΜͰΔ ໰୊
    
    ࠷ॳͷ9<> ॳظ஋
    ͕ಉͩͬͨ͡Βඞͣಉ͡഑ྻ͕࡞ΒΕΔ
14. ઢܗ߹ಉ๏ const A = 1103515245 const B = 12345 const M = 2^32 var X function rand() { X = (A * X + B) % M return X } // 32,21,18,11,6,17,20,27,32,21,18 ໰୊
    
    ۮ਺
    ح਺ͷॱʹฒΜͰΔ ໰୊
    
    ࠷ॳͷ9<> ॳظ஋
    ͕ಉͩͬͨ͡Βඞͣಉ͡഑ྻ͕࡞ΒΕΔ TFFE஋ͱ΋ݴ͏
15. ઢܗ߹ಉ๏ • X[n+1] = a * X[n] + b mod M • ໰୊1 : ۮ਺ح਺ͷॱংͰฒͿ • ໰୊2 : ࠷ॳͷX[0](ॳظ஋) ͕ಉͩͬͨ͡Βඞ ͣಉ͡഑ྻ͕࡞ΒΕΔ
16. ઢܗ߹ಉ๏ • X[n+1] = a * X[n] + b mod M • ໰୊1 : ۮ਺ح਺ͷॱংͰฒͿ • ໰୊2 : ࠷ॳͷX[0](ॳظ஋) ͕ಉͩͬͨ͡Βඞ ͣಉ͡഑ྻ͕࡞ΒΕΔ ࣍ͷཚ਺͕༧ଌͰ͖Δɻ
    ཚ਺ʹنଇੑ͕͋Δɻ
17. ઢܗ߹ಉ๏ • X[n+1] = a * X[n] + b mod M • ໰୊1 : ۮ਺ح਺ͷॱংͰฒͿ • ໰୊2 : ࠷ॳͷX[0](ॳظ஋) ͕ಉͩͬͨ͡Βඞ ͣಉ͡഑ྻ͕࡞ΒΕΔ ࣍ͷཚ਺͕༧ଌͰ͖Δɻ
    ཚ਺ʹنଇੑ͕͋Δɻ ղ๏
    ΑΓΑ͍ΞϧΰϦζϜΛબͿ
    -JLF
    ϝϧηϯψɾπΠελ
    9034IJGU
18. ઢܗ߹ಉ๏ • X[n+1] = a * X[n] + b mod M • ໰୊1 : ۮ਺ح਺ͷॱংͰฒͿ • ໰୊2 : ࠷ॳͷX[0](ॳظ஋) ͕ಉͩͬͨ͡Βඞ ͣಉ͡഑ྻ͕࡞ΒΕΔ TFFE
    ͱ
    ճ਺͑͞෼͔Ε͹
    ࣍ͷཚ਺͕༧ଌՄೳ
19. ઢܗ߹ಉ๏ • X[n+1] = a * X[n] + b mod M • ໰୊1 : ۮ਺ح਺ͷॱংͰฒͿ • ໰୊2 : ࠷ॳͷX[0](ॳظ஋) ͕ಉͩͬͨ͡Βඞ ͣಉ͡഑ྻ͕࡞ΒΕΔ TFFE
    ͱ
    ճ਺͑͞෼͔Ε͹
    ࣍ͷཚ਺͕༧ଌՄೳ ٙࣅཚ਺ͱ͍͏ͷ͸جຊ͜͏͍͏΋ͷ
20. randomؔ਺ͷ࣭ͱ͸ • ٖࣅཚ਺Ͱ͋Δ৔߹ɺཚ਺͕Ұ༷ʹ෼෍͢Δ ͜ͱʢಉ͡਺ࣈ͕ग़ʹ͍͘͜ͱʣ • نଇੑ͕ͳ͍͜ͱʢۮ਺ɾح਺͕ަޓʹग़ͨ Γ͠ͳ͍͜ͱʣ
21. randomؔ਺ͷ࣭ͱ͸ • ٖࣅཚ਺Ͱ͋Δ৔߹ɺཚ਺͕Ұ༷ʹ෼෍͢Δ ͜ͱʢಉ͡਺ࣈ͕ग़ʹ͍͘͜ͱʣ • نଇੑ͕ͳ͍͜ͱʢۮ਺ɾح਺͕ަޓʹग़ͨ Γ͠ͳ͍͜ͱʣ ࣭ͷྑ͍ϥϯμϜؔ਺ʢҰ༷ʹཚ਺͕෼෍͠ɺपظੑ͕௿͘ɺنଇੑ͕ͳ͍΋ͷʣ ͷྫɿ
    ϝϧηϯψɾπΠελɺ903
    4IJGU
    ౳
22. randomؔ਺ͷ࣭ͱ͸ • ٖࣅཚ਺Ͱ͋Δ৔߹ɺཚ਺͕Ұ༷ʹ෼෍͢Δ ͜ͱʢಉ͡਺ࣈ͕ग़ʹ͍͘͜ͱʣ • نଇੑ͕ͳ͍͜ͱʢۮ਺ɾح਺͕ަޓʹग़ͨ Γ͠ͳ͍͜ͱʣ ࣭ͷྑ͍ϥϯμϜؔ਺ʢҰ༷ʹཚ਺͕෼෍͠ɺपظੑ͕௿͘ɺنଇੑ͕ͳ͍΋ͷʣ ͷྫɿ
    ϝϧηϯψɾπΠελɺ903
    4IJGU
    ౳
23. randomؔ਺ͷ࣭ͱ͸ • ٖࣅཚ਺Ͱ͋Δ৔߹ɺཚ਺͕Ұ༷ʹ෼෍͢Δ ͜ͱʢಉ͡਺ࣈ͕ग़ʹ͍͘͜ͱʣ • نଇੑ͕ͳ͍͜ͱʢۮ਺ɾح਺͕ަޓʹग़ͨ Γ͠ͳ͍͜ͱʣ ࣭ͷྑ͍ϥϯμϜؔ਺ʢҰ༷ʹཚ਺͕෼෍͠ɺपظੑ͕௿͘ɺنଇੑ͕ͳ͍΋ͷʣ ͷྫɿ
    ϝϧηϯψɾπΠελɺ903
    4IJGU
    ౳ ͪͳΈʹ
    7
    ͷ.BUISBOEPN
    ͸ ͜ͷ
    903
    4IJGU
24. ͞Βʹຊ୊
25. ݫີʹϥϯμϜͳrandomؔ਺ͱ͔ͳ͍?
26. ຊ౰ͩΖ͏͔ʁ
27. ٙࣅ͡Όͳ͍ཚ਺΋͋Δ • ϋʔυ΢ΣΞཚ਺ੜ੒ثʢӳޠͩͱTrue Random Number Generator TRNG) • /dev/random • ೤ࡶԻ • ์ࣹੑ෺࣭ͷ่յ • ͳͲͳͲɺଞʹ΋ͨ͘͞Μ͋Δ
28. /dev/random ΩʔϘʔυ΍Ϛ΢εɺσΟεΫૢ࡞ͱ͍ͬͨૢ࡞ه࿥Λݩʹ৭Μͳ ৘ใΛஷΊ͓͖ͯɺ͔ͦ͜ΒϥϯμϚΠζ͞Εͨ৘ใΛग़͢
29. /dev/random ΩʔϘʔυ΍Ϛ΢εɺσΟεΫૢ࡞ͱ͍ͬͨૢ࡞ه࿥Λݩʹ৭Μͳ ৘ใΛஷΊ͓͖ͯɺ͔ͦ͜ΒϥϯμϚΠζ͞Εͨ৘ใΛग़͢ ૢ࡞ه࿥͕Ұఆஷ·Βͳ͍ͱ
    ػೳ͠ͳ͍
30. ೤ࡶԻΛ࢖ͬͨํ๏ ిؾճ࿏Ͱ
    0/
    Ͱ΋
    0''
    Ͱ΋ͳ͍ঢ়گΛ࡞͓ͬͯ͘ɻ
    ͦͷ্Ͱ೤ࡶԻͱ͍͏෺ཧݱ৅Λ࢖ͬͯ
    
    PS
    
    ͕ϥϯμϜʹग़ΔΑ͏ʹ͢Δɻ )JHI )JHI
31. ೤ࡶԻΛ࢖ͬͨํ๏ *OUFM
    *WZ
    #SJEHF
    ʹ͸࣮૷ࡁΈɻ
32. ೤ࡶԻΛ࢖ͬͨํ๏ *OUFM
    *WZ
    #SJEHF
    ʹ͸࣮૷ࡁΈɻ ͨͩ͠ɺ೤ࡶԻʹΑΔํ๏͸ిྗফඅྔ͕ܹ͍͠
    ΤωϧΪʔ͕খ͗ͯ͢͞ภΓ͕͋ΔɺͦͷͨΊιϑτ΢ΣΞͷิॿ͕ඞཁ
33. ݪࢠ่֩յΛ࢖ͬͨํ๏
34. ݪࢠ่֩յΛ࢖ͬͨํ๏ ”70ஹݸͷݪࢠͷݪࢠ่֩յΛར༻ͨ͠΋ͷͰɺߏ଄͸୯७ɻ” ”ઢݯͷۙ͘ʹμΠΦʔυΛઃஔ͠ɺ͜͜ͰύϧεΛݕ஌͢Δɻ”
35. ݪࢠ่֩յΛ࢖ͬͨํ๏ ”70ஹݸͷݪࢠͷݪࢠ่֩յΛར༻ͨ͠΋ͷͰɺߏ଄͸୯७ɻ” ”ઢݯͷۙ͘ʹμΠΦʔυΛઃஔ͠ɺ͜͜ͰύϧεΛݕ஌͢Δɻ”
36. ʊਓਓਓਓਓʊ ʼɹύϧεɹʻ ʉY^Y^Y^Yʉ
37. ͑ɺͦΕඃരɾɾɾ
38. ඃര͠ͳ͕Βཚ਺ΛऔΔͷ ࠷ߴʹϩοΫ
39. "ݪࢠ่֩յͱ͍͏ͱɺ์ࣹઢ ඃ֐Λࢥ͍ු͔΂ͯ͠·͏͕ɺ ઢྔ͸ݶΓͳ͘௿͘ɺਓମʹ ͸Өڹ͢ΔϨϕϧͰ͸ͳ͍ɻ"
40. ·ͱΊ • ཚ਺ܯ࡯ • ٖࣅཚ਺ͷྑ͠ѱ͠ • ϋʔυ΢ΣΞཚ਺ੜ੒ثͱ͍͏ਅͷཚ਺Λ࡞ Δ΋ͷ΋͋Δ • ཚ਺Ԟਂ͍ɺΈΜͳ৭ʑௐ΂ͯΈΔͱָ͍͠