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

by Sota Sugiura

Slide 1

Slide 1 text

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

Slide 2

Slide 2 text

ँࡑ

Slide 3

Slide 3 text

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

Slide 4

Slide 4 text

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

Slide 5

Slide 5 text

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

Slide 6

Slide 6 text

'PMMPXNF

Slide 7

Slide 7 text

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

Slide 8

Slide 8 text

Έͳ͞Μ͸ඇਖ਼نԽ͓͡͞ΜΛ ͝ଘ஌Ͱ͔͢ʁ

Slide 9

Slide 9 text

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

Slide 10

Slide 10 text

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

Slide 11

Slide 11 text

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

Slide 12

Slide 12 text

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

Slide 13

Slide 13 text

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

Slide 14

Slide 14 text

ͦ΋ͦ΋ਖ਼نԽͱ͸

Slide 15

Slide 15 text

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

Slide 16

Slide 16 text

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

Slide 17

Slide 17 text

ͱ͋Δςʔϒϧ ໊લ ֶ೥ ޷͖ͳ৯΂෺ ࡶฌଠ࿠ όφφ ࡶฌՖࢠ εΠΧ ࡶฌଠ࿠ ΋΋ ࡶฌՖࢠ ΓΜ͝ ʮ̋̋͞Μ͸̋೥ੜʯͱ͍͏৘ใ͕ ॏෳ͍ͯ͠Δ

Slide 18

Slide 18 text

ਖ਼نԽ͢Δ ໊લ ֶ೥ ޷͖ͳ৯΂෺ ࡶฌଠ࿠ όφφ ࡶฌՖࢠ εΠΧ ࡶฌଠ࿠ ΋΋ ࡶฌՖࢠ ΓΜ͝ ໊લ ޷͖ͳ৯΂෺ ࡶฌଠ࿠ όφφ ࡶฌՖࢠ εΠΧ ࡶฌଠ࿠ ΋΋ ࡶฌՖࢠ ΓΜ͝ ໊લ ֶ೥ ࡶฌଠ࿠ ࡶฌՖࢠ

Slide 19

Slide 19 text

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

Slide 20

Slide 20 text

ਖ਼نԽ͠ͳ͍ͱʜ ໊લ ֶ೥ ޷͖ͳ৯΂෺ ࡶฌଠ࿠ όφφ ࡶฌՖࢠ εΠΧ ࡶฌଠ࿠ ΋΋ ࡶฌՖࢠ ΓΜ͝ ࡶฌଠ࿠ ύΠφοϓϧ */4&35 ໃ६ͨ͠σʔλ

Slide 21

Slide 21 text

͢ͳΘͪ ਖ਼نԽ͠ͳ͍ͱ͍͏͜ͱ͸ໃ६ͨ͠σʔλ͕ ૠೖ͞ΕΔཱ֬Λ্͛Δ͜ͱ

Slide 22

Slide 22 text

ໃ६ͷޭࡑ

Slide 23

Slide 23 text

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

Slide 24

Slide 24 text

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

Slide 25

Slide 25 text

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

Slide 26

Slide 26 text

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

Slide 27

Slide 27 text

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

Slide 28

Slide 28 text

࿦ཧֶʹ͓͚Δఆཧ w ೋॏ൱ఆͷআڈ • not (not A) = true -> A = true w ࿦ཧੵͷಋೖ • A = true, B = true -> (A and B) = true • ࿦ཧ࿨ͷಋೖ • A = true -> (A or B) = true

Slide 29

Slide 29 text

ࠓ೔ͷओ໾͸͜ͷఆཧͷ͏ͪͷͭ

Slide 30

Slide 30 text

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

Slide 31

Slide 31 text

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

Slide 32

Slide 32 text

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

Slide 33

Slide 33 text

ཁ͢Δʹʜʁ w ʮਿӜ͸ࡶฌͰ͋ΔʯͱʮਿӜ͸ࡶฌͰͳ͍ʯ ͕ڞʹਅ࣮Ͱ͋Δͱ͢Δ

Slide 34

Slide 34 text

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

Slide 35

Slide 35 text

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

Slide 36

Slide 36 text

ূ໌ͯ͠ΈΔ w ೚ҙͷ໋୊Λ#ͱ͢Δ • A or B ͸ਅ • (B or A) and not A ͸ਅ • ਪ࿦نଇʹΑΓB͸ਅ

Slide 37

Slide 37 text

ূ໌Ͱ͖ͯ͠·ͬͨʜ w A and (not A)͕ਅͰ͋Δ͜ͱͰɺಥഥࢠ΋ ͳ͘ग़໋͖ͯͨ୊#͕ਅͩͱূ໌Ͱ͖ͯ͠·ͬͨ

Slide 38

Slide 38 text

ࡶฌ๻͸ 1SJODJQMFPGFYQMPTJPOΛ֮͑ͨʂ

Slide 39

Slide 39 text

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

Slide 40

Slide 40 text

ໃ६Λආ͚Δʹ͸ʁ w σʔλʹໃ६ΛؚΊͳ͍ॏෳΛۃྗආ͚Δ w ॏෳΛආ͚ΔͨΊʹ͸ਖ਼نԽΛ࢖͏

Slide 41

Slide 41 text

ඇਖ਼نԽ͓͡͞ΜʹऻΘΕͨΒ w ਖ਼نԽͷ໨తΛ఻͑Α͏ w ਖ਼نԽ͸ໃ६ΛؚΉՄೳੑΛԼ͛ΔͨΊͷ΋ͷ w ໃ६͸3%#ͷੈքΛյ͠͏Δ w ࠔͬͨΒໃ६ͷ࿩Λ͠Α͏ w ๻ʮ1SJODJQMFPGFYQMPTJPOͱ͍͏ͷ͕͋ͬͯͰ͢Ͷʜʯ

Slide 42

Slide 42 text

ͱ͸͍͑ w ݱ࣮ੈքΛશͯ࿦ཧֶͷੈքʹϚοϐϯά͢Δ͜ͱ ͸ෆՄೳ w ݱ࣮ͷσʔλϕʔε͸ϋʔυ΢ΣΞ͓ͩۚ͠΋༗ݶ

Slide 43

Slide 43 text

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

Slide 44

Slide 44 text

͝੩ௌ͋Γ͕ͱ͏͍͟͝·ͨ͠