非正規化おじさんを殴るためのPrinciple of explosion

046baac588d91fd78a85b189847a151d?s=47 Sota Sugiura
February 19, 2016

非正規化おじさんを殴るためのPrinciple of explosion

正規化って大事だよねって話です。
雑兵Meetup #3にて発表

046baac588d91fd78a85b189847a151d?s=128

Sota Sugiura

February 19, 2016
Tweet

Transcript

  1. /6--͓͡͞ΜΛԥΔͨΊͷ 1SJODJQMFPGFYQMPTJPO !TPUB

  2. ँࡑ

  3. Զʮ/6--શવؔ܎ͳ͔ͬͨʜʯ

  4. ඇਖ਼نԽ/6--͓͡͞ΜΛԥΔͨΊͷ 1SJODJQMFPGFYQMPTJPO !TPUB

  5. ࣗݾ঺հ w ˏTPUB w JTUZMF *OD w 1)1+BWB4DSJQU

  6. 'PMMPXNF

  7. %#ͷ͓࿩͠·͢ ϚαΧϦίϫΠσε

  8. Έͳ͞Μ͸ඇਖ਼نԽ͓͡͞ΜΛ ͝ଘ஌Ͱ͔͢ʁ

  9. ඇਖ਼نԽ͓͡͞Μͱ͸ w ʮ+0*/͢Δͱ஗͘ͳΔ͔Βਖ਼نԽ΍ΊΕʯ w ʮσʔλ͕ࢄΒ͹Δ͔Βਖ਼نԽ΍ΊΕʯ

  10. ࡶฌ๻ʮ͙͵͵ʜʯ w ਖ਼͘͠3%#Λཧղͯ͠ͳ͍ͱඇਖ਼نԽ͓͡͞Μ Λ౗͢ͷ͸೉͍͠ w ᐆດͳཧ࿦෢૷ͩͱzܦݧzΛ෢ثʹෛ͚ͯ͠· ͏͜ͱ͕ଟ͍

  11. ๻ʮͦ͏ͩɺཧ࿦෢૷͠Α͏ʯ

  12. ຊಡΜͩ ཧ࿦͔ΒֶͿσʔλϕʔε࣮ફೖ໳ 8&# %#13&44QMVT  Ԟ໺װ໵ ஶ

  13. ਖ਼نԽͷඞཁੑΛ ͱ͋ΔҰ໘͔Β੾ΓࠐΜͰΈΔ

  14. ͦ΋ͦ΋ਖ਼نԽͱ͸

  15. ਖ਼نԽͱ͸ w 3%#ͷઃܭख๏ͱཱͯ֬͠͞Εͨख๏ w ͻͱ͜ͱͰݴ͏ͱʮσʔλϕʔε͔ΒॏෳΛͳ͘ ͢ʯ࡞ۀ

  16. ͱ͋Δςʔϒϧ ໊લ ֶ೥ ޷͖ͳ৯΂෺ ࡶฌଠ࿠  όφφ ࡶฌՖࢠ  εΠΧ

    ࡶฌଠ࿠  ΋΋ ࡶฌՖࢠ  ΓΜ͝
  17. ͱ͋Δςʔϒϧ ໊લ ֶ೥ ޷͖ͳ৯΂෺ ࡶฌଠ࿠  όφφ ࡶฌՖࢠ  εΠΧ

    ࡶฌଠ࿠  ΋΋ ࡶฌՖࢠ  ΓΜ͝ ʮ̋̋͞Μ͸̋೥ੜʯͱ͍͏৘ใ͕ ॏෳ͍ͯ͠Δ
  18. ਖ਼نԽ͢Δ ໊લ ֶ೥ ޷͖ͳ৯΂෺ ࡶฌଠ࿠  όφφ ࡶฌՖࢠ  εΠΧ

    ࡶฌଠ࿠  ΋΋ ࡶฌՖࢠ  ΓΜ͝ ໊લ ޷͖ͳ৯΂෺ ࡶฌଠ࿠ όφφ ࡶฌՖࢠ εΠΧ ࡶฌଠ࿠ ΋΋ ࡶฌՖࢠ ΓΜ͝ ໊લ ֶ೥ ࡶฌଠ࿠  ࡶฌՖࢠ 
  19. ਖ਼نԽ͠ͳ͍ͱʜ ໊લ ֶ೥ ޷͖ͳ৯΂෺ ࡶฌଠ࿠  όφφ ࡶฌՖࢠ  εΠΧ

    ࡶฌଠ࿠  ΋΋ ࡶฌՖࢠ  ΓΜ͝ ࡶฌଠ࿠  ύΠφοϓϧ */4&35
  20. ਖ਼نԽ͠ͳ͍ͱʜ ໊લ ֶ೥ ޷͖ͳ৯΂෺ ࡶฌଠ࿠  όφφ ࡶฌՖࢠ  εΠΧ

    ࡶฌଠ࿠  ΋΋ ࡶฌՖࢠ  ΓΜ͝ ࡶฌଠ࿠  ύΠφοϓϧ */4&35 ໃ६ͨ͠σʔλ
  21. ͢ͳΘͪ ਖ਼نԽ͠ͳ͍ͱ͍͏͜ͱ͸ໃ६ͨ͠σʔλ͕ ૠೖ͞ΕΔཱ֬Λ্͛Δ͜ͱ

  22. ໃ६ͷޭࡑ

  23. 3%#ͷૅ w 3%#͸ϦϨʔγϣφϧϞσϧΛ࣮૷ͨ͠΋ͷ w ϦϨʔγϣφϧϞσϧ͸ू߹࿦࿦ཧֶΛݩʹ͠ ͨσʔλϞσϦϯά

  24. 3%#ͷૅ w 3%#͸ϦϨʔγϣφϧϞσϧΛ࣮૷ͨ͠΋ͷ w ϦϨʔγϣφϧϞσϧ͸ू߹࿦࿦ཧֶΛݩʹ͠ ͨσʔλϞσϦϯά w ໃ६͸࿦ཧֶΛࡴ͢

  25. ࡶฌ๻ʮ࿦ཧֶʜ ꒪⌓꒪ ʁʯ

  26. ඵͰཧղ͢Δ࿦ཧֶ w ࿦ཧֶͱ͸z໋୊zΛ͜Ͷ͘Γ·Θֶ͢໰ w ໋୊ͱ͸ਅِΛ࣮֬ʹ໰͑Δ΋ͷ w ʮਿӜ͸உͰ͋Δʯ w ʮ໺ࡊ͸͓͍͍͠ʯ

  27. ඵͰཧղ͢Δ࿦ཧֶ w ࿦ཧֶʹ͸ఆཧ͕ଘࡏ͢Δ w ਺ֶͰݴ͏ʮެࣜʯ w ఆཧΛݩʹ͋ΒΏΔ໋୊ͷਅِΛಋ͖ग़͢

  28. ࿦ཧֶʹ͓͚Δఆཧ w ೋॏ൱ఆͷআڈ • not (not A) = true ->

    A = true w ࿦ཧੵͷಋೖ • A = true, B = true -> (A and B) = true • ࿦ཧ࿨ͷಋೖ • A = true -> (A or B) = true
  29. ࠓ೔ͷओ໾͸͜ͷఆཧͷ͏ͪͷͭ

  30. ʊਓਓਓਓਓਓਓਓਓਓਓਓਓʊ ʼɹ1SJODJQMFPGFYQMPTJPOɹʻ ʉ:?:?:?:?:?:?:?:?:?:ʉ

  31. 1SJODJQMFPGFYQMPTJPO w ௚༁͢Δͱʮരൃͷ๏ଇʯ w ࿦ཧֶʹ͓͚Δఆཧͷͭ w ໃ६͔Β͋ΒΏΔ໋୊Λಋ͘ΦιϩγΠఆཧ • (A and

    not A) = true -> B = true
  32. 1SJODJQMFPGFYQMPTJPO w ௚༁͢Δͱʮരൃͷ๏ଇʯ w ࿦ཧֶʹ͓͚Δఆཧͷͭ w ໃ६͔Β͋ΒΏΔ໋୊Λಋ͘ΦιϩγΠఆཧ • (A and

    not A) = true -> B = true 
  33. ཁ͢Δʹʜʁ w ʮਿӜ͸ࡶฌͰ͋ΔʯͱʮਿӜ͸ࡶฌͰͳ͍ʯ ͕ڞʹਅ࣮Ͱ͋Δͱ͢Δ

  34. ཁ͢Δʹʜʁ w ʮਿӜ͸ࡶฌͰ͋ΔʯͱʮਿӜ͸ࡶฌͰͳ͍ʯ ͕ڞʹਅ࣮Ͱ͋Δͱ͢Δ w ʮਿӜ͸ࡀͰ͋Δʯͱ͍͏ಥഥࢠ΋ͳ໋͍ ୊΋ਅͱ͢Δ͜ͱ͕Մೳ

  35. ূ໌ͯ͠ΈΔ w A and not A͕ਅͱͳΔ"͕ଘࡏ͢ΔͱԾఆ͢Δ

  36. ূ໌ͯ͠ΈΔ w ೚ҙͷ໋୊Λ#ͱ͢Δ • A or B ͸ਅ • (B

    or A) and not A ͸ਅ • ਪ࿦نଇʹΑΓB͸ਅ
  37. ূ໌Ͱ͖ͯ͠·ͬͨʜ w A and (not A)͕ਅͰ͋Δ͜ͱͰɺಥഥࢠ΋ ͳ͘ग़໋͖ͯͨ୊#͕ਅͩͱূ໌Ͱ͖ͯ͠·ͬͨ

  38. ࡶฌ๻͸ 1SJODJQMFPGFYQMPTJPOΛ֮͑ͨʂ

  39. ໃ६JT&WJM w ϦϨʔγϣφϧϞσϧͷϕʔε͸࿦ཧֶ w ࿦ཧֶΛഁյ͢Δໃ६͕ଘࡏ͢ΔͱϦϨʔγϣ φϧϞσϧ΋·่ͨյ͢Δ w ʮਖ਼͍͠σʔλʯΛฦ͞ͳ͍3%#ʹՁ஋͸͋Δ ͷ͔

  40. ໃ६Λආ͚Δʹ͸ʁ w σʔλʹໃ६ΛؚΊͳ͍ॏෳΛۃྗආ͚Δ w ॏෳΛආ͚ΔͨΊʹ͸ਖ਼نԽΛ࢖͏

  41. ඇਖ਼نԽ͓͡͞ΜʹऻΘΕͨΒ w ਖ਼نԽͷ໨తΛ఻͑Α͏ w ਖ਼نԽ͸ໃ६ΛؚΉՄೳੑΛԼ͛ΔͨΊͷ΋ͷ w ໃ६͸3%#ͷੈքΛյ͠͏Δ w ࠔͬͨΒໃ६ͷ࿩Λ͠Α͏ w

    ๻ʮ1SJODJQMFPGFYQMPTJPOͱ͍͏ͷ͕͋ͬͯͰ͢Ͷʜʯ
  42. ͱ͸͍͑ w ݱ࣮ੈքΛશͯ࿦ཧֶͷੈքʹϚοϐϯά͢Δ͜ͱ ͸ෆՄೳ w ݱ࣮ͷσʔλϕʔε͸ϋʔυ΢ΣΞ͓ͩۚ͠΋༗ݶ

  43. ΄ͲΑ͘ਖ਼نԽ͠Α͏ w ਖ਼نԽʹ͸Ϩϕϧ͕͋Δ d/' #/' d/'  w 3%#Λ͖ͪΜͱཧղͯ͠܅͚ͩͷ࠷ڧͷσʔλ ϕʔεΛઃܭ͠Α͏ʂ

  44. ͝੩ௌ͋Γ͕ͱ͏͍͟͝·ͨ͠