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

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

Transcript

1. /6--͓͡͞ΜΛԥΔͨΊͷ
   1SJODJQMF
   PG
   FYQMPTJPO !TPUB
2. ँࡑ
3. Զʮ/6--શવؔ܎ͳ͔ͬͨʜʯ
4. ඇਖ਼نԽ/6--͓͡͞ΜΛԥΔͨΊͷ
   1SJODJQMF
   PG
   FYQMPTJPO !TPUB
5. ࣗݾ঺հ w ˏTPUB
   w JTUZMF
   *OD
   w 1)1
   
   +BWB4DSJQU
6. 'PMMPX
   NF
7. %#ͷ͓࿩͠·͢ ϚαΧϦίϫΠσε
8. Έͳ͞Μ͸ඇਖ਼نԽ͓͡͞ΜΛ ͝ଘ஌Ͱ͔͢ʁ
9. ඇਖ਼نԽ͓͡͞Μͱ͸ w ʮ+0*/͢Δͱ஗͘ͳΔ͔Βਖ਼نԽ΍ΊΕʯ
   w ʮσʔλ͕ࢄΒ͹Δ͔Βਖ਼نԽ΍ΊΕʯ
10. ࡶฌ๻ʮ͙͵͵ʜʯ w ਖ਼͘͠3%#Λཧղͯ͠ͳ͍ͱඇਖ਼نԽ͓͡͞Μ Λ౗͢ͷ͸೉͍͠
    w ᐆດͳཧ࿦෢૷ͩͱzܦݧzΛ෢ثʹෛ͚ͯ͠· ͏͜ͱ͕ଟ͍
11. ๻ʮͦ͏ͩɺཧ࿦෢૷͠Α͏ʯ
12. ຊಡΜͩ ཧ࿦͔ΒֶͿσʔλϕʔε࣮ફೖ໳
    
    8&# %#
    13&44
    QMVT
    Ԟ໺
    װ໵ ஶ
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. ʊਓਓਓਓਓਓਓਓਓਓਓਓਓʊ
    ʼɹ1SJODJQMF
    PG
    FYQMPTJPOɹʻ
    ʉ:?:?:?:?:?:?:?:?:?:ʉ
31. 1SJODJQMF
    PG
    FYQMPTJPO w ௚༁͢Δͱʮരൃͷ๏ଇʯ
    w ࿦ཧֶʹ͓͚Δఆཧͷͭ
    w ໃ६͔Β͋ΒΏΔ໋୊Λಋ͘ΦιϩγΠఆཧ
    • (A and not A) = true -> B = true
32. 1SJODJQMF
    PG
    FYQMPTJPO 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. ࡶฌ๻͸
    1SJODJQMF
    PG
    FYQMPTJPOΛ֮͑ͨʂ
39. ໃ६
    JT
    &WJM w ϦϨʔγϣφϧϞσϧͷϕʔε͸࿦ཧֶ
    w ࿦ཧֶΛഁյ͢Δໃ६͕ଘࡏ͢ΔͱϦϨʔγϣ φϧϞσϧ΋·่ͨյ͢Δ
    w ʮਖ਼͍͠σʔλʯΛฦ͞ͳ͍3%#ʹՁ஋͸͋Δ ͷ͔
40. ໃ६Λආ͚Δʹ͸ʁ w σʔλʹໃ६ΛؚΊͳ͍
    
    ॏෳΛۃྗආ͚Δ
    w ॏෳΛආ͚ΔͨΊʹ͸ਖ਼نԽΛ࢖͏
41. ඇਖ਼نԽ͓͡͞ΜʹऻΘΕͨΒ w ਖ਼نԽͷ໨తΛ఻͑Α͏
    w ਖ਼نԽ͸ໃ६ΛؚΉՄೳੑΛԼ͛ΔͨΊͷ΋ͷ
    w ໃ६͸3%#ͷੈքΛյ͠͏Δ
    w ࠔͬͨΒໃ६ͷ࿩Λ͠Α͏
    w ๻ʮ1SJODJQMF
    PG
    FYQMPTJPOͱ͍͏ͷ͕͋ͬͯͰ͢Ͷʜʯ
42. ͱ͸͍͑ w ݱ࣮ੈքΛશͯ࿦ཧֶͷੈքʹϚοϐϯά͢Δ͜ͱ ͸ෆՄೳ
    w ݱ࣮ͷσʔλϕʔε͸ϋʔυ΢ΣΞ͓ͩۚ͠΋༗ݶ
43. ΄ͲΑ͘ਖ਼نԽ͠Α͏ w ਖ਼نԽʹ͸Ϩϕϧ͕͋Δ d/'
    #/'
    d/'
    w 3%#Λ͖ͪΜͱཧղͯ͠܅͚ͩͷ࠷ڧͷσʔλ ϕʔεΛઃܭ͠Α͏ʂ
44. ͝੩ௌ͋Γ͕ͱ͏͍͟͝·ͨ͠