㲋Λͭ͘Δ!UBLFUPp2
View Slide
㲋ͱʁp2
p2ΠσΞͱͯ͠ͷ㲋p2
ํఔࣜͷղͱͯ͠ͷ㲋p2x2 2 = 0
ίϯϐϡʔλʹ͓͚Δ㲋p2let a = sqrt(2.0) // 1.414213562373095
͜Μͳͷ㲋͡Όͳ͍ʜa * a == 2.0 // falsep2
ίϯϐϡʔλͬͯͦ͏͍͏ϞϯͰ͔͢Β
͍͍͑
㲋࡞ΕΔʂp2
ಉ͜͡ͱΛO࣍ࣜͰΔ
f(x)⌘g(x) (mod m(x)),f(x), g(x)m(x)Λ Ͱׂͬͨ͋·Γ͍͠
f(x) = 2x3 +x2 3x+ 2g(x) = 5x+ 1m(x) =x2 + 1)f(x)⌘g(x) (mod m(x))f(x) = (2x+ 1) ·m(x) +g(x)
m(x) =x2 2
x2 ⌘2 (mod m(x))Λ๏ͱͨ͠ੈքͰ͜Ε͕㲋m(x)p2
࡞ͬͯΈΑ͏ʂ
త࡞ΕΔʂ