わかった気になるチューリングマシン

Transcript

1. Θ͔ͬͨؾʹͳΔ νϡʔϦϯάϚγϯ ߹ಉձࣾMaruhiro Lab. ·Δͨ
2. ·ͣ͊͞ ʢݴ͍༁λΠϜʣ
3. ࠷ॳʹ͓͍͍ͯͨλΠτϧ
4. Θ͔ͬͨؾʹͳΔ ܭࢉػՊֶ ߹ಉձࣾMaruhiro Lab. ·Δͨ
5. ҙؾ༲ʑͱ࡞Γ࢝Ίͨ΋ͷͷ
6. ͦͷൣғ
9. ແཧ
10. վΊͯࠓճͷ಺༰
11. Θ͔ͬͨؾʹͳΔ νϡʔϦϯάϚγϯ ߹ಉձࣾMaruhiro Lab. ·Δͨ
12. ࣗݾ঺հ https://github.com/mochisuna • ؙా୓࿨ʢ·ΔͨͻΖ͔ͣʣ • Twitter: @mochi_suna • ओʹαʔόʔαΠυΤϯδχΞ • झຯɿϐΞϊɺϘυήɺΞΠίϯ࡞੒ʢΧούʣɺϓϨθϯ • ࣗಈԽେ޷͖ɻख࡞ۀ͖Β͍ • githubɿ @mochisuna
13. ٕज़໘
14. ʮνϡʔϦϯάϚγϯʯ
15. ͳΜ͔΋͏ ͢ͰʹϜζ͍
16. ӕ͕ଟͯ͘΋ ʮΘ͔ͬͨؾʹͳΔʯ Λ໨ඪʹઆ໌
17. ࠓճͷ಺༰ • νϡʔϦϯάϚγϯ • ·ͣͳΜͰ͜ΕબΜͩΜʁ • ֓࿦ • νϡʔϦϯάϚγϯͷݪ఺ • ந৅ػց • νϡʔϦϯά׬શ • ܭࢉෳࡶੑ
18. ·ͣͳΜͰ͜ΕબΜͩΜʁ
19. ͋ΔษڧձͰͷ͜ͱ
20. ʮνϡʔϦϯά׬શʯ
21. ʮνϡʔϦϯάʯ ʮ׬શʯ
22. 🤔
23. ֓࿦
24. νϡʔϦϯάϚγϯ֓࿦ νϡʔϦϯάϚγϯͷݪ఺ νϡʔϦϯά׬શ ந৅ػց
25. νϡʔϦϯάϚγϯ֓࿦ νϡʔϦϯάϚγϯͷݪ఺ νϡʔϦϯά׬શ ந৅ػց
26. νϡʔϦϯάϚγϯͷݪ఺ • ݩʑ͸਺ֶͷ൑ఆ໰୊Λߟ͑ΔͨΊʹߟҊ • μϑΟοτɾώϧϕϧτʢ1862~1943ʣ • ਺ֶͬͯΊͬͪΌ͍͢͝Αͳʁ • ʮσΟΦϑΝϯτεํఔࣜʹղ͕ ͋Δ͔ʯͬͯύοͱ൑ผͰ͖ͦ͏ ͡ΌͶʁ
27. νϡʔϦϯάϚγϯͷݪ఺ ΞϥϯɾνϡʔϦϯάʢ1912~1954ʣ • ʮܭࢉՄೳੑʯͷٞ࿦ʹͯఏࣔ • ݱࡏͷίϯϐϡʔλͷݪܕ
28. νϡʔϦϯάϚγϯͷݪ఺ ΞϥϯɾνϡʔϦϯάʢ1912~1954ʣ • ʮܭࢉՄೳੑʯͷٞ࿦ʹͯఏࣔ • ݱࡏͷίϯϐϡʔλͷݪܕ • ୯७ͳػߏΛ࣋ͬͨந৅ػց
29. νϡʔϦϯάϚγϯͷݪ఺ ΞϥϯɾνϡʔϦϯάʢ1912~1954ʣ • ʮܭࢉՄೳੑʯͷٞ࿦ʹͯఏࣔ • ݱࡏͷίϯϐϡʔλͷݪܕ • ୯७ͳػߏΛ࣋ͬͨந৅ػց • ͪͳΈʹੈքॳͷి୎͸1963೥
30. νϡʔϦϯάϚγϯͷݪ఺ • ਓؒͷܭࢉͷखॱΛ໛฿͢Δػցʹ೚ͤΑ͏ b`
    b `
    b`
    b` ೖྗ
31. νϡʔϦϯάϚγϯͷݪ఺ • ਓؒͷܭࢉͷखॱΛ໛฿͢Δػցʹ೚ͤΑ͏ →ϓϩάϥϜΛॻ͘ͷͱ΄΅ಉٛ b`
    b `
    b`
    b` ೖྗ
32. νϡʔϦϯάϚγϯͷݪ఺ • ਓؒͷܭࢉͷखॱΛ໛฿͢Δػցʹ೚ͤΑ͏ →ϓϩάϥϜΛॻ͘ͷͱ΄΅ಉٛ • ೖྗʹର͠ʮػցͷ಺෦ঢ়ଶʯͰධՁ
33. νϡʔϦϯάϚγϯͷݪ఺ • ਓؒͷܭࢉͷखॱΛ໛฿͢Δػցʹ೚ͤΑ͏ →ϓϩάϥϜΛॻ͘ͷͱ΄΅ಉٛ • ೖྗʹର͠ʮػցͷ಺෦ঢ়ଶʯͰධՁ b`͕ೖྗ
    ͞Ε·ͨ͠
34. νϡʔϦϯάϚγϯͷݪ఺ • ਓؒͷܭࢉͷखॱΛ໛฿͢Δػցʹ೚ͤΑ͏ →ϓϩάϥϜΛॻ͘ͷͱ΄΅ಉٛ • ೖྗʹର͠ʮػցͷ಺෦ঢ়ଶʯͰධՁ b `͕ೖྗ
    ͞Ε·ͨ͠ b`͕ೖྗ
    ͞Ε·ͨ͠
35. νϡʔϦϯάϚγϯͷݪ఺ • ਓؒͷܭࢉͷखॱΛ໛฿͢Δػցʹ೚ͤΑ͏ →ϓϩάϥϜΛॻ͘ͷͱ΄΅ಉٛ • ೖྗʹର͠ʮػցͷ಺෦ঢ়ଶʯͰධՁ b `͕ೖྗ
    ͞Ε·ͨ͠ b`͕ೖྗ
    ͞Ε·ͨ͠ b`͕ೖྗ
    ͞Ε·ͨ͠
36. νϡʔϦϯάϚγϯͷݪ఺ • ਓؒͷܭࢉͷखॱΛ໛฿͢Δػցʹ೚ͤΑ͏ →ϓϩάϥϜΛॻ͘ͷͱ΄΅ಉٛ • ೖྗʹର͠ʮػցͷ಺෦ঢ়ଶʯͰධՁ b `͕ೖྗ
    ͞Ε·ͨ͠ b`͕ೖྗ
    ͞Ε·ͨ͠ b`͕ೖྗ
    ͞Ε·ͨ͠ b`͕ೖྗ
    ͞Ε·ͨ͠
37. νϡʔϦϯάϚγϯͷݪ఺ • ਓؒͷܭࢉͷखॱΛ໛฿͢Δػցʹ೚ͤΑ͏ →ϓϩάϥϜΛॻ͘ͷͱ΄΅ಉٛ • ೖྗʹର͠ʮػցͷ಺෦ঢ়ଶʯͰධՁ ೖྗʹର͠
    :&4/0ͷ൑ఆΛ͢Δͷʹ
    ͱͯ΋౎߹͕͍͍
38. νϡʔϦϯάϚγϯͷݪ఺ • ਓؒͷܭࢉͷखॱΛ໛฿͢Δػցʹ೚ͤΑ͏ →ϓϩάϥϜΛॻ͘ͷͱ΄΅ಉٛ • ೖྗʹର͠ʮػցͷ಺෦ঢ়ଶʯͰධՁ ೖྗʹର͠
    :&4/0ͷ൑ఆΛ͢Δͷʹ
    ͱͯ΋౎߹͕͍͍ ந৅ػց
39. νϡʔϦϯάϚγϯ֓࿦ νϡʔϦϯάϚγϯͷݪ఺ νϡʔϦϯά׬શ ந৅ػց
40. νϡʔϦϯάϚγϯͷݪ఺ʢ࠶ܝʣ • ਓؒͷܭࢉͷखॱΛ໛฿͢Δػցʹ೚ͤΑ͏ →ϓϩάϥϜΛॻ͘ͷͱ΄΅ಉٛ • ೖྗʹର͠ʮػցͷ಺෦ঢ়ଶʯͰධՁ ೖྗʹର͠
    :&4/0ͷ൑ఆΛ͢Δͷʹ
    ͱͯ΋౎߹͕͍͍
41. • ʮຊ෺ͷػցͷΑ͏ʹʯಈ͘਺ֶతϞσϧ • ্هͷఆٛ௨Γʹࣗ཯తʹܭࢉΛ࣮ߦ ෦඼ ػೳ ৼΔ෣͍ͷϧʔϧ ந৅ػց
42. ந৅ػցͷछྨʢͷҰ෦ʣ • ༗ݶΦʔτϚτϯ • ϓογϡμ΢ϯΦʔτϚτϯ • νϡʔϦϯάϚγϯ Լʹߦ͘΄ͲෳࡶͰଟػೳ
43. ந৅ػցͷछྨʢͷҰ෦ʣ • ༗ݶΦʔτϚτϯ • ϓογϡμ΢ϯΦʔτϚτϯ • νϡʔϦϯάϚγϯ Լʹߦ͘΄ͲෳࡶͰଟػೳ
44. ༗ݶΦʔτϚτϯ • Automatonʢࣗಈਓܗʣ • ༗ݶݸͷঢ়ଶΛ࣋ͭʮৼΔ෣͍Ϟσϧʯ • Ԡ༻৘ใͱ͔Ͱग़͕ͪ ʦग़୊ɿฏ੒21೥य़ʗAPޕલ໰3ʧ
45. ༗ݶΦʔτϚτϯ • ॳظঢ়ଶͱडཧঢ়ଶͰධՁ • Input͕৚݅ʹҰக͢Δ͔͠ͳ͍͔Λ൑ఆ →൑ఆ໰୊ B C D 0 0 1 0 1 1
46. ༗ݶΦʔτϚτϯ • ຊདྷ͸͔ͳΓݫີͳఆ͕ٛ͋Δ
47. ༗ݶΦʔτϚτϯ • ຊདྷ͸͔ͳΓݫີͳఆ͕ٛ͋Δ • େֶͰतۀΛड͚͍ͯͩ͘͞
48. ༗ݶΦʔτϚτϯ • جຊߏ଄ 1. ༗ݶঢ়ଶ੍ޚ෦ 2. ಡΈऔΓϔομ 3. ςʔϓʢ֎෦هԱʣ ʜ         ʜ
49. ʜ       ʜ ༗ݶΦʔτϚτϯʢಈ࡞ʣ ݱঢ়ଶ   B B C C B D D C D B C D 0 0 1 0 1 1 ೖྗʹ``
    ͳͷͰ
    ঢ়ଶʹ`B`
50. ʜ       ʜ ༗ݶΦʔτϚτϯʢಈ࡞ʣ ݱঢ়ଶ   B B C C B D D C D B C D 0 0 1 0 1 1 ೖྗʹ``
    ͳͷͰ
    ঢ়ଶʹ`C`
51. ʜ       ʜ ݱঢ়ଶ   B B C C B D D C D B C D 0 0 1 0 1 1 ೖྗʹ``
    ͳͷͰ
    ঢ়ଶʹ`D` ༗ݶΦʔτϚτϯʢಈ࡞ʣ
52. ʜ       ʜ ݱঢ়ଶ   B B C C B D D C D B C D 0 0 1 0 1 1 ೖྗʹ``
    ͳͷͰ
    ঢ়ଶʹ`C` ༗ݶΦʔτϚτϯʢಈ࡞ʣ
53. ʜ       ʜ ݱঢ়ଶ   B B C C B D D C D B C D 0 0 1 0 1 1 ೖྗʹ``
    ͳͷͰ
    ঢ়ଶʹ`D` ༗ݶΦʔτϚτϯʢಈ࡞ʣ
54. ʜ       ʜ ݱঢ়ଶ   B B C C B D D C D B C D 0 0 1 0 1 1 ೖྗʹ``
    ͳͷͰ
    ঢ়ଶʹ`D` ༗ݶΦʔτϚτϯʢಈ࡞ʣ
55. ʜ       ʜ ݱঢ়ଶ   B B C C B D D C D B C D 0 0 1 0 1 1 ࠷ऴঢ়ଶ͕`D`
    ͳͷͰ
    डཧ ༗ݶΦʔτϚτϯʢಈ࡞ʣ
56. ந৅ػցͷछྨʢͷҰ෦ʣ • ༗ݶΦʔτϚτϯ • ϓογϡμ΢ϯΦʔτϚτϯ • νϡʔϦϯάϚγϯ Լʹߦ͘΄ͲෳࡶͰଟػೳ
57. ϓογϡμ΢ϯΦʔτϚτϯ • ༗ݶΦʔτϚτϯͰࠔΔέʔε͕͋Δ • จ຺ࣗ༝จ๏ S S S a a a b b b
58. ϓογϡμ΢ϯΦʔτϚτϯ • ༗ݶΦʔτϚτϯͰࠔΔέʔε͕͋Δ • จ຺ࣗ༝จ๏ S S S a a a b b b " a " " a # b # # b ɾɾɾ a b ε ε ε
59. ϓογϡμ΢ϯΦʔτϚτϯ • ༗ݶΦʔτϚτϯͰࠔΔέʔε͕͋Δ • จ຺ࣗ༝จ๏ • ༗ݶΦʔτϚτϯͰදݱͰ͖ͳ͍ S S S a a a b b b " a " " a # b # # b ɾɾɾ a b ε ε ε
60. ϓογϡμ΢ϯΦʔτϚτϯ • ༗ݶΦʔτϚτϯͰࠔΔέʔε͕͋Δ • จ຺ࣗ༝จ๏ • ༗ݶΦʔτϚτϯͰදݱͰ͖ͳ͍ • ੍ޚػߏΛ֦ுͨ͠ϞσϧΛఆٛ S S S a a a b b b " a " " a # b # # b ɾɾɾ a b ε ε ε
61. ϓογϡμ΢ϯΦʔτϚτϯ • جຊߏ଄ 1. ༗ݶঢ়ଶ੍ޚ෦ 2. ಡΈऔΓϔομ 3. ςʔϓʢ֎෦هԱʣ 4. ελοΫػߏ ʜ         ʜ
62. ʜ     ʜ B C D ϓογϡμ΢ϯΦʔτϚτϯʢಈ࡞ʣ ε, ε→Z0 0, ε→0 E 1, 0→ε 1, 0→ε ε, Z0 →ε L={ 0n1n | n ≧ 0 } ; ৚݅ʹΑΒͣ
    ελοΫ;
63. ʜ     ʜ B C D ϓογϡμ΢ϯΦʔτϚτϯʢಈ࡞ʣ ε, ε→Z0 0, ε→0 E 1, 0→ε 1, 0→ε ε, Z0 →ε L={ 0n1n | n ≧ 0 } ; ৚݅ʹΑΒͣ
    ελοΫ ೖྗʹ``
    ͳͷͰ
    ঢ়ଶʹ`C` 
64. ʜ     ʜ B C D ϓογϡμ΢ϯΦʔτϚτϯʢಈ࡞ʣ ε, ε→Z0 0, ε→0 E 1, 0→ε 1, 0→ε ε, Z0 →ε L={ 0n1n | n ≧ 0 } ;  ೖྗʹ``
    ͳͷͰ
    ঢ়ଶʹ`C`  ৚݅ʹΑΒͣ
    ελοΫ
65. ʜ     ʜ B C D ϓογϡμ΢ϯΦʔτϚτϯʢಈ࡞ʣ ε, ε→Z0 0, ε→0 E 1, 0→ε 1, 0→ε ε, Z0 →ε L={ 0n1n | n ≧ 0 } ;  ೖྗʹ``
    ͳͷͰ
    ঢ়ଶʹ`D` ελοΫઌ಄
    ͳͷͰ
    ઌ಄ΛQPQ
66. ʜ     ʜ B C D ϓογϡμ΢ϯΦʔτϚτϯʢಈ࡞ʣ ε, ε→Z0 0, ε→0 E 1, 0→ε 1, 0→ε ε, Z0 →ε L={ 0n1n | n ≧ 0 } ; ೖྗʹ``
    ͳͷͰ
    ঢ়ଶʹ`D` ελοΫઌ಄
    ͳͷͰ
    ઌ಄ΛQPQ
67. ʜ     ʜ B C D ϓογϡμ΢ϯΦʔτϚτϯʢಈ࡞ʣ ε, ε→Z0 0, ε→0 E 1, 0→ε 1, 0→ε ε, Z0 →ε L={ 0n1n | n ≧ 0 } ελοΫઌ಄;
    ͳͷͰ
    ઌ಄ΛQPQ
68. ʜ     ʜ B C D ϓογϡμ΢ϯΦʔτϚτϯʢಈ࡞ʣ ε, ε→Z0 0, ε→0 E 1, 0→ε 1, 0→ε ε, Z0 →ε L={ 0n1n | n ≧ 0 } ࠷ऴঢ়ଶ͕`E`
    ͳͷͰ
    डཧ
69. ந৅ػցͷछྨʢͷҰ෦ʣ • ༗ݶΦʔτϚτϯ • ϓογϡμ΢ϯΦʔτϚτϯ • νϡʔϦϯάϚγϯ Լʹߦ͘΄ͲෳࡶͰଟػೳ
70. νϡʔϦϯάϚγϯ • Α͏΍͘ຊ୊ • ༗ݶΦʔτϚτϯʹಡΈॻ͖ΛڐՄ • ςʔϓͷ಺༰ʹ߹ΘͤͯࠨӈʹγʔΫ ࠨӈҠಈ ಡΈऔΓ ॻ͖ࠐΈ
71. νϡʔϦϯάϚγϯ • جຊߏ଄ 1. ༗ݶঢ়ଶ੍ޚ෦ 2. ಡΈॻ͖ϔομ 3. ςʔϓʢ֎෦هԱʣ ʜ         ʜ ࠨӈҠಈ ಡΈऔΓ ॻ͖ࠐΈ Ͱ͖Δ͜ͱ
72. ྑ͍࣮૷Λݟͨํ͕͍͍ • Doodle: Alan Turing’s 100th Birthday • https://www.google.com/doodles/alan-turings-100th-birthday
73. ྑ͍࣮૷Λݟͨํ͕͍͍ • Doodle: Alan Turing’s 100th Birthday • https://www.google.com/doodles/alan-turings-100th-birthday • ͪͳΈʹGithubͰެ։͞ΕͯΔ • https://github.com/google/turing-doodle
74. νϡʔϦϯάϚγϯΛߟ͑Δ νϡʔϦϯάϚγϯʢTMʣΛఆٛ͢Δҙٛ ந৅తͳʮܭࢉػʯͱͯ͠ධՁͰ͖Δ
75. ந৅తͳܭࢉػʁʁʁ • ੈͷதʹ͸୔ࢁͷʮܭࢉػʯ͕͋Δ • ಛఆͷنଇͰܭࢉ͞ΕΔͳΒɺͦΕ͸ܭࢉػ ܭࢉػ ೖྗ ग़ྗ
76. ந৅తͳܭࢉػʁʁʁ • ੈͷதʹ͸୔ࢁͷʮܭࢉػʯ͕͋Δ • ಛఆͷنଇͰܭࢉ͞ΕΔͳΒɺͦΕ͸ܭࢉػ
77. ந৅తͳܭࢉػʁʁʁ TMͰղ͚Δ / ղ͚ͳ͍ʹΞϧΰϦζϜͷ༗ແ • TMͰղ͚Δɿೖྗʹର͠TM͕ఀࢭ͢Δ • TM͕ఀࢭ͠ͳ͍ɿղ͕ଘࡏ͠ͳ͍ ʮΑΓෳࡶͳ໰୊ΛղܾͰ͖Δ͔ʯͷ൑ఆ
78. νϡʔϦϯάϚγϯ֓࿦ νϡʔϦϯάϚγϯͷݪ఺ νϡʔϦϯά׬શ ந৅ػց
79. νϡʔϦϯά׬શͷલʹ • ಛఆͷنଇͰܭࢉ͞ΕΔͳΒɺͦΕ͸ܭࢉػ ܭࢉػ ೖྗ ग़ྗ
80. νϡʔϦϯά׬શͷલʹ • ಛఆͷنଇͰܭࢉ͞ΕΔͳΒɺͦΕ͸ܭࢉػ • TMͷܭࢉϧʔϧ͸TMຖʹఆ͍͍ٛͯ͠ ʜ        ʜ
81. TMͷϧʔϧ͸TMຖʹʁʁʁ • ॲཧϧʔϧ͑͋͞Ε͹೚ҙͷTM͕࡞ΕΔ ೖྗ0ຒΊTM ϥΠϑήʔϜTM ೖྗ൓సTM
82. TMͷϧʔϧ͸TMຖʹʁʁʁ • ॲཧϧʔϧ͑͋͞Ε͹೚ҙͷTM͕࡞ΕΔ ೖྗ0ຒΊTM ϥΠϑήʔϜTM ೖྗ൓సTM ͲΜͳTMͷܭࢉ΋໛฿Ͱ͖ΔTM
83. TMͷϧʔϧ͸TMຖʹʁʁʁ • ॲཧϧʔϧ͑͋͞Ε͹೚ҙͷTM͕࡞ΕΔ ೖྗ0ຒΊTM ϥΠϑήʔϜTM ೖྗ൓సTM ສೳνϡʔϦϯάϚγϯ
84. ສೳνϡʔϦϯάϚγϯ ʮܭࢉΛ໛฿ʯ • TMͷೖྗɾܭࢉ݁ՌΛղऍ • ܭࢉΛʮ࠶ݱʯ͢Δ͜ͱ͕Ͱ͖ΔTM
85. ສೳνϡʔϦϯάϚγϯ ʮܭࢉΛ໛฿ʯ • TMͷೖྗɾܭࢉ݁ՌΛղऍ • ܭࢉΛʮ࠶ݱʯ͢Δ͜ͱ͕Ͱ͖ΔTM ʢͳΜΒ͔ͷܭࢉػͰʣ
    ܭࢉͰ͖Δ΋ͷ͸ͳΜͰ΋ܭࢉͰ͖Δܭࢉػ
86. ສೳνϡʔϦϯάϚγϯ ʮܭࢉΛ໛฿ʯ • TMͷೖྗɾܭࢉ݁ՌΛղऍ • ܭࢉΛʮ࠶ݱʯ͢Δ͜ͱ͕Ͱ͖ΔTM ʮνϡʔϦϯά׬શʯͳܭࢉػ
87. νϡʔϦϯά׬શੑ νϡʔϦϯά׬શͳγεςϜͷྫ • ΄ͱΜͲͷϓϩάϥϛϯάݴޠ • MySQL • ϥΠϑήʔϜ • ϧʔϧ110ʢ1࣍ݩηϧΦʔτϚτϯʣ ͜ΕΒ͕දݱͰ͖Δ͜ͱͱ
    ౳Ձͳ͜ͱ͕࣮ݱͰ͖Ε͹
    ʮνϡʔϦϯά׬શͳγεςϜʯ
88. ͏͔ͬΓνϡʔϦϯά׬શʹͳͬͨ࿈த
89. ࠓճͷ಺༰ • νϡʔϦϯάϚγϯ • ·ͣͳΜͰ͜ΕબΜͩΜʁ • ֓࿦ • νϡʔϦϯάϚγϯͷݪ఺ • ந৅ػց • νϡʔϦϯά׬શ • ܭࢉෳࡶੑ
90. ܭࢉෳࡶੑ
91. ܭࢉෳࡶੑ • ͋Δ໰୊͕Ͳͷ͘Β͍೉͍͠ͷ͔ʁͷࢦඪ
92. ܭࢉෳࡶੑ • ͋Δ໰୊͕Ͳͷ͘Β͍೉͍͠ͷ͔ʁͷࢦඪ →ܾఆੑTM໰୊Λղ͘ͷ͕ͲΕ͘Β͍େม͔
93. ܭࢉෳࡶੑ • ͋Δ໰୊͕Ͳͷ͘Β͍೉͍͠ͷ͔ʁͷࢦඪ →ܾఆੑTM໰୊Λղ͘ͷ͕ͲΕ͘Β͍େม͔ →ղΛग़͢ͷʹͲΕ͘Β͍͕͔͔࣌ؒΔ͔
94. ܭࢉෳࡶੑ • ͋Δ໰୊͕Ͳͷ͘Β͍೉͍͠ͷ͔ʁͷࢦඪ →ܾఆੑTM໰୊Λղ͘ͷ͕ͲΕ͘Β͍େม͔ →ղΛग़͢ͷʹͲΕ͘Β͍͕͔͔࣌ؒΔ͔ ೖྗ ग़ྗ 100೥ʂ
95. ೉қ౓తʹ͸म࢜1೥૬౰
96. ӕϚγϚγͰղઆ
97. ܭࢉྔΦʔμʔ • Ͳͷ͘Β͍ܭࢉ͕೉͍͔͠ͷه๏
98. ܭࢉྔΦʔμʔ • Ͳͷ͘Β͍ܭࢉ͕೉͍͔͠ͷه๏ • ྫɿஉঁ߹Θͤͯ30ਓͷΫϥε
99. ܭࢉྔΦʔμʔ • ྫɿஉঁ߹Θͤͯ30ਓͷΫϥε 1. ాத͘Μ͸ΧούͰ͔͢ʁ
100. ܭࢉྔΦʔμʔ • ྫɿஉঁ߹Θͤͯ30ਓͷΫϥε 1. ాத͘Μ͸ΧούͰ͔͢ʁ print(member('ాத').is_kappa)
101. ܭࢉྔΦʔμʔ • ྫɿஉঁ߹Θͤͯ30ਓͷΫϥε 1. ాத͘Μ͸ΧούͰ͔͢ʁ →ਓ਺͕૿͑ͯ΋͜ͷ1ॲཧ= O(1)
102. ܭࢉྔΦʔμʔ • ྫɿஉঁ߹Θͤͯ30ਓͷΫϥε 2. എͷॱͰฒ΂ͨ࣌ɺాத܅ͷޙΖ͸உࢠʁ
103. ܭࢉྔΦʔμʔ • ྫɿஉঁ߹Θͤͯ30ਓͷΫϥε 2. എͷॱͰฒ΂ͨ࣌ɺాத܅ͷޙΖ͸உࢠʁ →ೋ෼୳ࡧ= O(logN)
104. ܭࢉྔΦʔμʔ • ྫɿஉঁ߹Θͤͯ30ਓͷΫϥε 3. ͜ͷΫϥεʹాத܅͸͍·͔͢ʁ
105. ܭࢉྔΦʔμʔ • ྫɿஉঁ߹Θͤͯ30ਓͷΫϥε 3. ͜ͷΫϥεʹాத܅͸͍·͔͢ʁ for i in range(N): if member[i].name == 'ాத': print('͍ͦͭ͸Χούͩ')
106. ܭࢉྔΦʔμʔ • ྫɿஉঁ߹Θͤͯ30ਓͷΫϥε 3. ͜ͷΫϥεʹాத܅͸͍·͔͢ʁ →1ॏͷforจ= O(N)
107. ܭࢉྔΦʔμʔ • ྫɿஉঁ߹Θͤͯ30ਓͷΫϥε 4. ͜ͷΫϥεʹΧού͸2ਓ͍·͔͢ʁ
108. ܭࢉྔΦʔμʔ • ྫɿஉঁ߹Θͤͯ30ਓͷΫϥε 4. ͜ͷΫϥεʹΧού͸2ਓ͍·͔͢ʁ for i in range(N): for j in range(i+1,N): if member[i].is_kappa && member[j].is_kappa: print('ͳΜͰ2ඖ΋͍ΜͶ΍')
109. ܭࢉྔΦʔμʔ • ྫɿஉঁ߹Θͤͯ30ਓͷΫϥε 4. ͜ͷΫϥεʹΧού͸2ਓ͍·͔͢ʁ →2ॏͷforจ= O(N2)
110. ܭࢉྔΦʔμʔ • ྫɿஉঁ߹Θͤͯ30ਓͷΫϥε 5. ஥ྑ͠ಉ࢜Λ෼͚ͳ͍Α͏ʹΫϥε෼͚
111. ܭࢉྔΦʔμʔ • ྫɿஉঁ߹Θͤͯ30ਓͷΫϥε 5. ஥ྑ͠ಉ࢜Λ෼͚ͳ͍Α͏ʹΫϥε෼͚ →શһʹର͠૯౰ͨΓ= O(2N)
112. ܭࢉྔΦʔμʔ • ྫɿஉঁ߹Θͤͯ30ਓͷΫϥε 6. ΨιϦϯΛڅ༉͠ͳ͍ͰશһͷՈఉ๚໰ͯ͠ ֶߍʹ໭Δ
113. ܭࢉྔΦʔμʔ • ྫɿஉঁ߹Θͤͯ30ਓͷΫϥε 6. ΨιϦϯΛڅ༉͠ͳ͍ͰશһͷՈఉ๚໰ͯ͠ ֶߍʹ໭Δ →TSP= O(N!)
114. ܭࢉྔΦʔμʔ • Ͳͷ͘Β͍ܭࢉ͕೉͍͔͠ Φʔμʔ /ͷ৔߹ ాதJTΧού O(1)  എͷॱ O(logN)  Χού୳͠ O(N)  Χούਓ O(N2)  Ϋϥε෼͚ O(2N)  Ոఉ๚໰ O(N!) º
115. ܭࢉྔΦʔμʔ ܾఆੑTMͰܭࢉͷ೉͠͞ΛఆٛͰ͖Δ • TMͷൃݟ͕΋ͨΒͨ͜͠ͱ • PCͰ༏Εͨղ๏ΛߟҊ͢Δͷʹߩݙ
116. P vs NP • Pɿ݁ߏ؆୯ • NPɿ͔ͳΓ೉͍͠ • NP׬શɿ΋ͬͱ೉͍͠ • NPࠔ೉ɿ࠷ڧ NPࠔ೉ P NP NP׬શ ͜͏͍͏ͷ΋ఆٛͰ͖ΔΑ͏ʹͳͬͨ
117. NPͷ࿩͸௒໘ന͍͚Ͳ ͕͢͞ʹ͕࣌ؒͳ͍ͷͰ ࠓճ͸εΩοϓ
118. ࠓճͷ಺༰ • νϡʔϦϯάϚγϯ • ·ͣͳΜͰ͜ΕબΜͩΜʁ • ֓࿦ • νϡʔϦϯάϚγϯͷݪ఺ • ந৅ػց • νϡʔϦϯά׬શ • ܭࢉෳࡶੑ