Upgrade to Pro — share decks privately, control downloads, hide ads and more …

√2 をつくる

√2 をつくる

Taketo Sano

March 19, 2016
Tweet

More Decks by Taketo Sano

Other Decks in Programming

Transcript

  1. 㲋Λͭ͘Δ
    !UBLFUP
    p
    2

    View Slide

  2. 㲋ͱ͸ʁ
    p
    2

    View Slide



  3. p
    2
    ΠσΞͱͯ͠ͷ㲋
    p
    2

    View Slide

  4. ୅਺ํఔࣜͷղͱͯ͠ͷ㲋
    p
    2
    x
    2 2 = 0

    View Slide

  5. ίϯϐϡʔλʹ͓͚Δ㲋
    p
    2
    let a = sqrt(2.0) // 1.414213562373095

    View Slide

  6. ͜Μͳͷ㲋͡Όͳ͍ʜ
    a * a == 2.0 // false
    p
    2

    View Slide

  7. ίϯϐϡʔλͬͯͦ͏͍͏ϞϯͰ͔͢Β

    View Slide

  8. ͍͍͑

    View Slide

  9. 㲋͸࡞ΕΔʂ
    p
    2

    View Slide

  10. View Slide

  11. View Slide

  12. View Slide

  13. View Slide

  14. ಉ͜͡ͱΛO࣍ࣜͰ΍Δ

    View Slide

  15. f(x)

    g(x) (mod m(x))
    ,
    f
    (
    x
    )
    , g
    (
    x
    )
    m
    (
    x
    )
    Λ Ͱׂͬͨ͋·Γ͸౳͍͠

    View Slide

  16. f
    (
    x
    ) = 2
    x
    3 +
    x
    2 3
    x
    + 2
    g
    (
    x
    ) = 5
    x
    + 1
    m
    (
    x
    ) =
    x
    2 + 1
    )
    f(x)

    g(x) (mod m(x))
    f
    (
    x
    ) = (2
    x
    + 1) ·
    m
    (
    x
    ) +
    g
    (
    x
    )

    View Slide

  17. m
    (
    x
    ) =
    x
    2 2

    View Slide

  18. x
    2 ⌘
    2 (mod m(x))
    Λ๏ͱͨ͠ੈքͰ͸͜Ε͕㲋
    m
    (
    x
    )
    p
    2

    View Slide

  19. ࡞ͬͯΈΑ͏ʂ

    View Slide

  20. View Slide

  21. View Slide

  22. View Slide

  23. View Slide

  24. View Slide

  25. ୅਺త਺͸࡞ΕΔʂ

    View Slide

  26. View Slide