コンピュータの計算可能性

by Tsuyoposon

Slide 1

Slide 1 text

ίϯϐϡʔλͷ ܭࢉՄೳੑ

Slide 2

Slide 2 text

ϓϩάϥϜͷҙٛ 2 ϓϩάϥϜݴޠͷଘࡏҙٛ͸ʁ ੈͷதʹ͸ͨ͘͞ΜͷϓϩάϥϜݴޠ͕ଘࡏ ͜ΕΒશͯͷݴޠ͸ lispͷԼҐޓ׵ʹͳΓ·͢

Slide 3

Slide 3 text

ϓϩάϥϜͷҙٛ 3 ϓϩάϥϜͷҧ͍ ࣮ߦ଎౓ɹɿ଎͍ɾ஗͍ɾಛఆͷܭࢉ͸଎͍ ϥΠϒϥϦɿՊֶٕज़ܭࢉɾwebαΠτ࡞੒ ઃܭࢥ૝ɹɿΦϒδΣΫτʁؔ਺ܕʁεΫϦϓτʁ ౴͑ɿίϯϐϡʔλͰ͍Ζ͍ΖͳܭࢉΛͤ͞ΔͨΊ ͡Ό͋ίϯϐϡʔλͷग़དྷΔ͜ͱ͸ʁ

Slide 4

Slide 4 text

ࠓճͷςʔϚ 4 ϓϩάϥϜͷݪ఺Ͱ͋ΔνϡʔϦϯάϚγϯΛઆ໌ νϡʔϦϯάϚγϯ͕࢓૊ΈΛ஌Δ͜ͱͰ ίϯϐϡʔλͷܭࢉՄೳੑ͕Θ͔Δ Ωʔϫʔυ ‣ ܭࢉϞσϧ ‣ νϡʔϦϯάϚγϯ ‣ ܭࢉՄೳੑ

Slide 5

Slide 5 text

༨ஊͰ͕͢

Slide 6

Slide 6 text

ʮͰ͖Δʯ Ͱࢥ͍ग़͢ͷ͸

Slide 7

Slide 7 text

No content

Slide 8

Slide 8 text

νϡʔϦϯάϚγϯ ʹ͍ͭͯ

Slide 9

Slide 9 text

No content

Slide 10

Slide 10 text

νϡʔϦϯάϚγϯͷ໨త 10 ͳΜͰ΋ܭࢉͰ͖ΔϚγϯΛઃܭͯ͠ΈΑ͏ʂʂ νϡʔϦϯάϚγϯ(TM)͸ ͜ͷੈʹ͸ܭࢉͰ͖ͳ͍͜ͱ͸ଘࡏ͢Δͷ͔ʁ Λূ໌͢ΔͨΊߟ͑ΒΕͨ֓೦

Slide 11

Slide 11 text

νϡʔϦϯάϚγϯͷઃܭ ͳΜͰ΋ܭࢉͰ͖ΔػցΛ࡞Δ ·ͣ͸ਓؒͷܭࢉํ๏Λߟ͑ͯΈΔ ͜ͷੈͷܭࢉ͸ਓ͕ؒߟ͖͑ͯͨ

Slide 12

Slide 12 text

ਓؒͷܭࢉํ๏ ࠇ൘ 12 34 ×

Slide 13

Slide 13 text

ਓؒͷܭࢉํ๏ᶃ ࠇ൘ 12 34 × ‣ʮࠇ൘ʯͷʮจࣈʯΛʮ໨ʯͰಡΉ

Slide 14

Slide 14 text

ਓؒͷܭࢉํ๏ᶄ ࠇ൘ 12 34 × 48 ‣ʮنଇʯͰʮܭࢉʯ݁͠ՌΛʮϝϞʯ ֻ͚ࢉ

Slide 15

Slide 15 text

ਓؒͷܭࢉํ๏ᶅ ࠇ൘ 12 34 × 48 ‣ʮنଇʯͰʮܭࢉʯ݁͠ՌΛʮϝϞʯ ֻ͚ࢉ 360

Slide 16

Slide 16 text

ਓؒͷܭࢉํ๏ᶆ ࠇ൘ 12 34 × 48 360 + ‣ʮࠇ൘ʯͷʮจࣈʯΛʮ໨ʯͰಡΉ

Slide 17

Slide 17 text

ਓؒͷܭࢉํ๏ᶇ ࠇ൘ 12 34 × 48 360 + ‣ʮنଇʯͰʮܭࢉʯ݁͠ՌΛʮϝϞʯ 408 ଍͠ࢉ

Slide 18

Slide 18 text

ਓؒͷܭࢉ ‣ʮنଇʯͰʮܭࢉʯ݁͠ՌΛʮϝϞʯ ‣ʮࠇ൘ʯͷʮจࣈʯΛʮ໨ʯͰಡΉ ͜ͷ̎ͭΛ໛฿ͨ͠ܭࢉػΛ࡞Ε͹ ͳΜͰ΋ܭࢉͰ͖Δ

Slide 19

Slide 19 text

༨ஊͰ͕͢

Slide 20

Slide 20 text

ࣗ෼͕Ͱ͖ͳ͍͜ͱ

Slide 21

Slide 21 text

แஸɾϑϥΠύϯ ͕ͳ͍ͷͰ ʮௐཧʯ͕Ͱ͖·ͤΜ

Slide 22

Slide 22 text

νϡʔϦϯάϚγϯ ͷ࢓૊Έ

Slide 23

Slide 23 text

νϡʔϦϯάϚγϯ 1 2 3 4 ϔου ςʔϓ νϡʔϦϯάϚγϯ͕Ͱ͖Δ͜ͱ ᶃࠨʹҠಈ ᶄӈʹҠಈ ᶅಡΈऔΓ ᶆॻ͖ࠐΈ

Slide 24

Slide 24 text

νϡʔϦϯάϚγϯᶃ 1 2 3 4 ‣ʮࠇ൘ʯͷʮจࣈʯΛʮ໨ʯͰಡΉ 12×34ͷܭࢉ

Slide 25

Slide 25 text

νϡʔϦϯάϚγϯᶄ 1 2 3 4 4 8 ‣ʮنଇʯͰʮܭࢉʯ݁͠ՌΛʮϝϞʯ ֻ͚ࢉ 12×34ͷܭࢉ

Slide 26

Slide 26 text

νϡʔϦϯάϚγϯᶅ 1 2 3 4 4 8 ‣ʮنଇʯͰʮܭࢉʯ݁͠ՌΛʮϝϞʯ ֻ͚ࢉ 3 6 0 12×34ͷܭࢉ

Slide 27

Slide 27 text

νϡʔϦϯάϚγϯᶆ 1 2 3 4 4 8 3 6 0 ‣ʮࠇ൘ʯͷʮจࣈʯΛʮ໨ʯͰಡΉ 12×34ͷܭࢉ

Slide 28

Slide 28 text

νϡʔϦϯάϚγϯᶇ 1 2 3 4 4 8 3 6 0 ‣ʮنଇʯͰʮܭࢉʯ݁͠ՌΛʮϝϞʯ ଍͠ࢉ 4 0 8 12×34ͷܭࢉ

Slide 29

Slide 29 text

νϡʔϦϯάϚγϯͷՄೳੑ 29 ਓؒͷܭࢉ͕໛฿Ͱ͖ͨͷͰɺ਺ֶܭࢉ͸ ͓ͦΒ͘Ͱ͖ͦ͏ ࣮͸Ͱ͖ͳ͍͜ͱ͕͋Δ ͡Ό͋ܭࢉͰ͖ͳ͍͜ͱ͸ͳ͍ʁ

Slide 30

Slide 30 text

TMͷͰ͖ͳ͍͜ͱ 30 ͋Δ͕ࣜܭࢉՄೳͰ͋Δ͔൑அͰ͖ͳ͍ ͜ͷࣜ͸ܭࢉͰ͖Δʁ νϡʔϦϯάϚγϯ ͋Δࣜ ʮܭࢉͰ͖Δʯ ܭࢉ͕׬ྃ͢ΔͷͰ ݁Ռ͕ग़Δ ʮܭࢉͰ͖ͳ͍ʯ ܭࢉ͕׬ྃ͠ͳ͍ͷͰ Ӭԕʹ݁Ռ͕ग़ͳ͍

Slide 31

Slide 31 text

ݱࡏͷίϯϐϡʔλ 31 ͔͜͠͠ͷߟ͑Λݩʹίϯϐϡʔλ͕࡞ΒΕͨͨΊ ίϯϐϡʔλͷܭࢉՄೳੑ͸TMͱಉ͡Ͱ͢ νϡʔϦϯάϚγϯ(TM)͸ݩʑ ਺ֶతʹ਺ࣜΛূ໌Ͱ͖Δ͔Λূ໌͢ΔͨΊʹ ߟ͑ΒΕͨ֓೦

Slide 32

Slide 32 text

ࢀߟจݙ λΠτϧ ܭࢉϞσϧͱϓϩάϥϛϯά ஶɿழມढ़ޫɾࢁాܟࡾ ײ૝ ɾ༷ʑͳϓϩάϥϜͷ ܭࢉՄೳੑ͕ॻ͍ͯ͋Δ ɾ͜ͷ஌ࣝΛϓϩάϥϛϯά ʹੜ͔ͤΔ͔͸͋ͳͨ࣍ୈ

Slide 33

Slide 33 text

༨ஊͰ͕͢

Slide 34

Slide 34 text

ίϯϐϡʔλΛॳΊͯ ࡞ͬͨਓ͸ϊΠϚϯ Ͱ͢

Slide 35

Slide 35 text

No content

Slide 36

Slide 36 text

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

Slide 37

Slide 37 text

Ҿ༻ݩ ॻ੶ ܭࢉϞσϧͱϓϩάϥϛϯά ஶɿழມढ़ޫɾࢁాܟࡾ → εϥΠυ23~28ʹରͯ͠ ը૾ Ϙέͯʮhttps://bokete.jp/boke/875633ʯ → εϥΠυ7ʹରͯ͠ʢ2020/5/5ʣ Ϙέͯʮhttps://bokete.jp/boke/5306246ʯ → εϥΠυ35ʹରͯ͠ʢ2020/5/5ʣ