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

Transcript

1. ίϯϐϡʔλͷ ܭࢉՄೳੑ
2. ϓϩάϥϜͷҙٛ 2 ϓϩάϥϜݴޠͷଘࡏҙٛ͸ʁ ੈͷதʹ͸ͨ͘͞ΜͷϓϩάϥϜݴޠ͕ଘࡏ ͜ΕΒશͯͷݴޠ͸ lispͷԼҐޓ׵ʹͳΓ·͢
3. ϓϩάϥϜͷҙٛ 3 ϓϩάϥϜͷҧ͍ ࣮ߦ଎౓ɹɿ଎͍ɾ஗͍ɾಛఆͷܭࢉ͸଎͍ ϥΠϒϥϦɿՊֶٕज़ܭࢉɾwebαΠτ࡞੒ ઃܭࢥ૝ɹɿΦϒδΣΫτʁؔ਺ܕʁεΫϦϓτʁ ౴͑ɿίϯϐϡʔλͰ͍Ζ͍ΖͳܭࢉΛͤ͞ΔͨΊ ͡Ό͋ίϯϐϡʔλͷग़དྷΔ͜ͱ͸ʁ
4. ࠓճͷςʔϚ 4 ϓϩάϥϜͷݪ఺Ͱ͋ΔνϡʔϦϯάϚγϯΛઆ໌ νϡʔϦϯάϚγϯ͕࢓૊ΈΛ஌Δ͜ͱͰ ίϯϐϡʔλͷܭࢉՄೳੑ͕Θ͔Δ Ωʔϫʔυ ‣ ܭࢉϞσϧ ‣ νϡʔϦϯάϚγϯ ‣ ܭࢉՄೳੑ
5. ༨ஊͰ͕͢
6. ʮͰ͖Δʯ Ͱࢥ͍ग़͢ͷ͸
8. νϡʔϦϯάϚγϯ ʹ͍ͭͯ
10. νϡʔϦϯάϚγϯͷ໨త 10 ͳΜͰ΋ܭࢉͰ͖ΔϚγϯΛઃܭͯ͠ΈΑ͏ʂʂ νϡʔϦϯάϚγϯ(TM)͸ ͜ͷੈʹ͸ܭࢉͰ͖ͳ͍͜ͱ͸ଘࡏ͢Δͷ͔ʁ Λূ໌͢ΔͨΊߟ͑ΒΕͨ֓೦
11. νϡʔϦϯάϚγϯͷઃܭ ͳΜͰ΋ܭࢉͰ͖ΔػցΛ࡞Δ ·ͣ͸ਓؒͷܭࢉํ๏Λߟ͑ͯΈΔ ͜ͷੈͷܭࢉ͸ਓ͕ؒߟ͖͑ͯͨ
12. ਓؒͷܭࢉํ๏ ࠇ൘ 12 34 ×
13. ਓؒͷܭࢉํ๏ᶃ ࠇ൘ 12 34 × ‣ʮࠇ൘ʯͷʮจࣈʯΛʮ໨ʯͰಡΉ
14. ਓؒͷܭࢉํ๏ᶄ ࠇ൘ 12 34 × 48 ‣ʮنଇʯͰʮܭࢉʯ݁͠ՌΛʮϝϞʯ ֻ͚ࢉ
15. ਓؒͷܭࢉํ๏ᶅ ࠇ൘ 12 34 × 48 ‣ʮنଇʯͰʮܭࢉʯ݁͠ՌΛʮϝϞʯ ֻ͚ࢉ 360
16. ਓؒͷܭࢉํ๏ᶆ ࠇ൘ 12 34 × 48 360 + ‣ʮࠇ൘ʯͷʮจࣈʯΛʮ໨ʯͰಡΉ
17. ਓؒͷܭࢉํ๏ᶇ ࠇ൘ 12 34 × 48 360 + ‣ʮنଇʯͰʮܭࢉʯ݁͠ՌΛʮϝϞʯ 408 ଍͠ࢉ
18. ਓؒͷܭࢉ ‣ʮنଇʯͰʮܭࢉʯ݁͠ՌΛʮϝϞʯ ‣ʮࠇ൘ʯͷʮจࣈʯΛʮ໨ʯͰಡΉ ͜ͷ̎ͭΛ໛฿ͨ͠ܭࢉػΛ࡞Ε͹ ͳΜͰ΋ܭࢉͰ͖Δ
19. ༨ஊͰ͕͢
20. ࣗ෼͕Ͱ͖ͳ͍͜ͱ
21. แஸɾϑϥΠύϯ ͕ͳ͍ͷͰ ʮௐཧʯ͕Ͱ͖·ͤΜ
22. νϡʔϦϯάϚγϯ ͷ࢓૊Έ
23. νϡʔϦϯάϚγϯ 1 2 3 4 ϔου ςʔϓ νϡʔϦϯάϚγϯ͕Ͱ͖Δ͜ͱ ᶃࠨʹҠಈ ᶄӈʹҠಈ ᶅಡΈऔΓ ᶆॻ͖ࠐΈ
24. νϡʔϦϯάϚγϯᶃ 1 2 3 4 ‣ʮࠇ൘ʯͷʮจࣈʯΛʮ໨ʯͰಡΉ 12×34ͷܭࢉ
25. νϡʔϦϯάϚγϯᶄ 1 2 3 4 4 8 ‣ʮنଇʯͰʮܭࢉʯ݁͠ՌΛʮϝϞʯ ֻ͚ࢉ 12×34ͷܭࢉ
26. νϡʔϦϯάϚγϯᶅ 1 2 3 4 4 8 ‣ʮنଇʯͰʮܭࢉʯ݁͠ՌΛʮϝϞʯ ֻ͚ࢉ 3 6 0 12×34ͷܭࢉ
27. νϡʔϦϯάϚγϯᶆ 1 2 3 4 4 8 3 6 0 ‣ʮࠇ൘ʯͷʮจࣈʯΛʮ໨ʯͰಡΉ 12×34ͷܭࢉ
28. νϡʔϦϯάϚγϯᶇ 1 2 3 4 4 8 3 6 0 ‣ʮنଇʯͰʮܭࢉʯ݁͠ՌΛʮϝϞʯ ଍͠ࢉ 4 0 8 12×34ͷܭࢉ
29. νϡʔϦϯάϚγϯͷՄೳੑ 29 ਓؒͷܭࢉ͕໛฿Ͱ͖ͨͷͰɺ਺ֶܭࢉ͸ ͓ͦΒ͘Ͱ͖ͦ͏ ࣮͸Ͱ͖ͳ͍͜ͱ͕͋Δ ͡Ό͋ܭࢉͰ͖ͳ͍͜ͱ͸ͳ͍ʁ
30. TMͷͰ͖ͳ͍͜ͱ 30 ͋Δ͕ࣜܭࢉՄೳͰ͋Δ͔൑அͰ͖ͳ͍ ͜ͷࣜ͸ܭࢉͰ͖Δʁ νϡʔϦϯάϚγϯ ͋Δࣜ ʮܭࢉͰ͖Δʯ ܭࢉ͕׬ྃ͢ΔͷͰ ݁Ռ͕ग़Δ ʮܭࢉͰ͖ͳ͍ʯ ܭࢉ͕׬ྃ͠ͳ͍ͷͰ Ӭԕʹ݁Ռ͕ग़ͳ͍
31. ݱࡏͷίϯϐϡʔλ 31 ͔͜͠͠ͷߟ͑Λݩʹίϯϐϡʔλ͕࡞ΒΕͨͨΊ ίϯϐϡʔλͷܭࢉՄೳੑ͸TMͱಉ͡Ͱ͢ νϡʔϦϯάϚγϯ(TM)͸ݩʑ ਺ֶతʹ਺ࣜΛূ໌Ͱ͖Δ͔Λূ໌͢ΔͨΊʹ ߟ͑ΒΕͨ֓೦
32. ࢀߟจݙ λΠτϧ ܭࢉϞσϧͱϓϩάϥϛϯά ஶɿழມढ़ޫɾࢁాܟࡾ ײ૝ ɾ༷ʑͳϓϩάϥϜͷ ܭࢉՄೳੑ͕ॻ͍ͯ͋Δ ɾ͜ͷ஌ࣝΛϓϩάϥϛϯά ʹੜ͔ͤΔ͔͸͋ͳͨ࣍ୈ
33. ༨ஊͰ͕͢
34. ίϯϐϡʔλΛॳΊͯ ࡞ͬͨਓ͸ϊΠϚϯ Ͱ͢
36. ͝ਗ਼ௌ͋Γ͕ͱ͏ ͍͟͝·ͨ͠
37. Ҿ༻ݩ ॻ੶ ܭࢉϞσϧͱϓϩάϥϛϯά ஶɿழມढ़ޫɾࢁాܟࡾ → εϥΠυ23~28ʹରͯ͠ ը૾ Ϙέͯʮhttps://bokete.jp/boke/875633ʯ → εϥΠυ7ʹରͯ͠ʢ2020/5/5ʣ Ϙέͯʮhttps://bokete.jp/boke/5306246ʯ → εϥΠυ35ʹରͯ͠ʢ2020/5/5ʣ