Sota Sugiura
February 19, 2016
2.6k

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

## Sota Sugiura

February 19, 2016

## Transcript

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

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

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

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

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

ࡶฌଠ࿠  ΋΋ ࡶฌՖࢠ  ΓΜ͝ ࡶฌଠ࿠  ύΠφοϓϧ */4&35 ໃ६ͨ͠σʔλ

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

A = true w ࿦ཧੵͷಋೖ • A = true, B = true -> (A and B) = true • ࿦ཧ࿨ͷಋೖ • A = true -> (A or B) = true

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 

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

or A) and not A ͸ਅ • ਪ࿦نଇʹΑΓB͸ਅ

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

๻ʮ1SJODJQMFPGFYQMPTJPOͱ͍͏ͷ͕͋ͬͯͰ͢Ͷʜʯ