[2026前期火５] 論理学（京都大学文学部 前期 第10回）「論理学の哲学——意味とは何か（Tonkと推論主義）」

科学哲学科学史 (演習) 前期 第10回　論理学　（京都大学文学部・矢田部俊介）
「論理学の哲学——意味とは何か（Tonkと推論主義）」
2026年6月23日（火）1645〜1815（予定）

Transcript

1. Պֶ఩ֶՊֶ࢙ (ԋश) લظ ୈ 10 ճ ࿦ཧֶ ࿦ཧֶͷ఩ֶŠŠҙຯͱ͸Կ͔ ʢTonk ͱਪ࿦ओٛʣ 2026 ೥ 6 ݄ 23 ೔ʢՐʣ16:45–18:15 จֶ෦ୈ 4 ߨٛࣨ ୲౰ɿ໼ా෦ढ़հʢ੢೔ຊཱྀ٬మಓגࣜձࣾʣ yatabe.shunsuke.24n@st.kyoto-u.ac.jp
2. ຊतۀ͸੢೔ຊཱྀ٬మಓגࣜձࣾͷۀ຿ͱ࣮ͯ͠ࢪ͍ͯ͠·͢ ੢೔ຊཱྀ٬మಓ͸ LLM ͷ׆༻Λਪਐ͍ͯ͠·͢ɻ
3. ຊ೔ͷྲྀΕ ҙຯͱ͸Կ͔ŠŠೋͭͷಓ ҙຯͷཧ࿦ 1.0ɿରԠઆʢਅཧ৚݅ʣ ҙຯͷཧ࿦ 2.0ɿ࢖༻આʢਪ࿦ओٛʣ ྑ͍ఆٛͱѱ͍ఆٛ Tonk ͱௐ࿨ŠŠ 2.0 Λٹ͏৚݅ ·ͱΊɾԋश Պֶ఩ֶՊֶ࢙ (ԋश) ࿦ཧֶʢલظʣ ୲౰ɿ໼ా෦ढ़հ 3
4. 1. ҙຯͱ͸Կ͔ŠŠೋͭͷಓ
5. ԿͷͨΊͷਖ਼نԽʁ ୈ 8 ճɾୈ 9 ճͰ΍ͬͨ͜ͱ ূ໌ͷਖ਼نԽΛֶΜͩɿͲΜͳূ໌΋ɺԕճ ΓʢdetourʣΛ༗ݶճͷॻ͖׵͑Ͱফ͠ɺਖ਼ نܗʹͰ͖Δɻ ૉ๿ͳٙ໰ ͋ͷॏ࿑ಇ͸ɺԿͷͨΊͩͬͨͷ͔ʁ ࠓ೔͔Βʮ࿦ཧֶͷ఩ֶʯ΁ ࣮͸ɺ͋Δ఩ֶతͳ໰͍ʹ౴͑ ΔͨΊͷ ४උͩͬͨɻ ୈ 1 ճͰ౤͛ͨ··ͩͬͨ໰͍ ŠŠ ʮҙຯͱ͸Կ͔ʯ΁໭Δɻ Պֶ఩ֶՊֶ࢙ (ԋश) ࿦ཧֶʢલظʣ ୲౰ɿ໼ా෦ढ़հ 5
6. ୈ1ճͷ໰୊ҙࣝɿҙຯͱ͸Կ͔ ୈ 1 ճͰݟͨΑ͏ʹɺLLM ͸ɺଘࡏ͠ͳ͍࿦จΛ΋ͬͱ΋Β͘͠Ҿ༻͠ɺࣄ࣮ ͱҟͳΔ͜ͱΛࣗ৴͋Γ͛ʹड़΂Δʢϋϧγωʔγϣϯʣ ɻ ͜Ε͸ʮӕʯͰ͸ͳ͍ŠŠӕΛͭ͘ҙਤ͕ͦ΋ͦ΋ͳ͍ɻ Ͱ͸ɺLLMʢ͋Δ͍͸զʑʣʹͱͬͯɺจͷʮҙຯʯͱ͸Կͳͷ͔ʁ ࠓ೔ͷग़ൃ఺ ҙຯΛઆ໌͢Δಓ͸ɺେ͖͘ೋͭ͋Δɻ Պֶ఩ֶՊֶ࢙ (ԋश) ࿦ཧֶʢલظʣ ୲౰ɿ໼ా෦ढ़հ 6
7. ʮจͷҙຯΛ஌Δʯͱ͸Ͳ͏͍͏͜ͱ͔ ҙຯͷཧ࿦ 1.0 ͦͷจ͕ɺͲΜͳͱ͖ʹਅʹͳΔ͔Λ ஌Δ͜ͱɻ ʢରԠઆɾਅཧॏࢹܕɾϞσϧతҙຯ࿦ʣ ҙຯͷཧ࿦ 2.0 ͦͷจ͕ɺͲΜͳ;͏ʹ࢖ΘΕΔ͔Λ ஌Δ͜ͱɻ ʢ࢖༻આɾਪ࿦نଇॏࢹܕɾূ໌࿦తҙ ຯ࿦ʣ ͜ͷ࿮૊Έࣗମ͸ɺ͜Ε·ͰԿ౓΋إΛग़ͨ͠ɻ ࠓ೔͸ɺਖ਼نԽͱ͍͏ಓ۩Λखʹͨ͠ࠓɺ2.0 Λຊ෺ͷཱ৔ͱͯ͠஁͑௚͢ɻ Պֶ఩ֶՊֶ࢙ (ԋश) ࿦ཧֶʢલظʣ ୲౰ɿ໼ా෦ढ़հ 7
8. 2. ҙຯͷཧ࿦1.0ɿରԠઆʢਅཧ৚݅ʣ
9. ҙຯͷཧ࿦1.0ʹରԠઆ ఆٛɿҙຯͷཧ࿦ 1.0 จͷҙຯͱ͸ɺͦͷจ͕ਅͱͳΔ৚݅ʢਅཧ৚݅ʣͰ͋Δɻ จʮઇ͸ന͍ʯͷҙຯ͸ɺઇ͕ന͍ͱ͍͏ࣄ࣮ʹରԠ͍ͯ͠Δ͜ͱɻ ͜ͷཱ৔Ͱ͸ɺϋϧγωʔγϣϯͱ͸֎քͱͷରԠͷࣦഊͰ͋Δɻ ਍அͷํ๏ɿจΛࣄ࣮ͷσʔλϕʔεͱর߹͠ɺ߹͍ͬͯͳ͚Ε͹ِͱ͢Δɻ Պֶ఩ֶՊֶ࢙ (ԋश) ࿦ཧֶʢલظʣ ୲౰ɿ໼ా෦ढ़հ 9
10. 1.0ͷݶքʢ঱ঢ়ʣ ͔͠͠ɺ1.0 Ͱ͸ଊ͖͑Εͳ͍͜ͱ͕͋Δ ᶃ ਪ࿦ͦͷ΋ͷͷྑ͠ѱ͠ɿ ʮઇ͸ന͍ɺΏ͑ʹ૲͸྘Ͱ͋ΔʯŠŠ݁࿦͸ͨ·ͨ·ਖ਼͍͕͠ɺਪ࿦͸͓͔ ͍͠ɻ ֎քর߹͚ͩͰ͸ɺ͜ͷ͓͔͠͞Λଊ͑ΒΕͳ͍ɻ ᶄ র߹͢΂͖֎ք͕ͳ͍ͱ͖ɿ ਺ֶͷ໋୊΍ʮ΋͠ʙͩͬͨΒʯͱ͍͏൓࣮Ծ૝͸ɺ͍͍ͬͨԿͱর߹͢Ε͹ Α͍ͷ͔ɻ 1.0 ͷ໨త͸ɺੈքΛهड़͢Δ͜ͱʹ͋ΔɿͲͷจ͕ਅ͔ʹੈք͕Ͳ͏ͳ͍ͬͯ Δ͔ɻ Պֶ఩ֶՊֶ࢙ (ԋश) ࿦ཧֶʢલظʣ ୲౰ɿ໼ా෦ढ़հ 10
11. 1.0͸ੈքهड़ͷཧ࿦Ͱ͋ͬͯɺਪ࿦ͷཧ࿦Ͱ͸ͳ͍ 1.0 ʹͱͬͯʮ࿦ཧతͳਪ࿦ʯͱ͸ɺੈքͷهड़ঢ়ଶʢͲͷ ϞσϧʣʹΑΒͣɺਅΛอͭਪ࿦ʢλϧεΩʮ͢΂ͯͷϞσ ϧͰਅʯ ʣ ɻ ͭ·Γ 1.0 Ͱ͸ɺ໋୊ʢਅཧͷ୲͍खʣ͕Ұ࣍తͳجૅ֓೦ Ͱ͋Γɺਪ࿦͸ೋ࣍తͳ֓೦ʹ͗͢ͳ͍ɻ ʢୈ 2 ճɿΞϦετςϨεͰʮܗࣜʯ͕ඞવੑ֓೦͔Βಋ͔ΕΔ ೋ࣍త֓೦ͩͬͨͷͱಉ͡ߏ଄ɻ ʣ ͕ͩɺຊ౰ʹ໰͍͍ͨͷ͸ਪ࿦ͦͷ΋ͷ ਪ࿦ͷੜ੒ͷϝΧχζϜʢಋೖنଇɾআڈنଇʣ΍ɺਪ࿦ͷಉ஋ ؔ܎΍มܗʢਖ਼نԽʣͦ͜஌Γ͍ͨɻ ˠ ਪ࿦ΛҰ࣍తʹѻ͏ཧ࿦͕ཁΔ ʹ 2.0 ΁ɻ ࣮ࡏ࿦త AIʢ֎քর߹ʹੈքهड़ʣ Պֶ఩ֶՊֶ࢙ (ԋश) ࿦ཧֶʢલظʣ ୲౰ɿ໼ా෦ढ़հ 11
12. 3. ҙຯͷཧ࿦2.0ɿ࢖༻આʢਪ࿦ओٛʣ
13. ϧʔτϰΟώɾ΢ΟτήϯγϡλΠϯ
14. ౩ྊͱͦͷݟश͍ ʢΠϝʔδਤʣ (2) Ξ΢άεςΟψε͕આ໌ͨ͠Α͏ ͳݴޠΛ૝૾ͯ͠ΈΑ͏ɻͦΕ͸ɺ౩ྊ A ͱݟश͍ B ͷίϛϡχέʔγϣϯʹ໾ཱ ͭΑ͏ͳݴޠͰ͋Δɻ౩ྊ͕ੴࡐͰݐ෺ ΛݐͯΔɻੴࡐ͸ɺϒϩοΫɺϐϥʔɺϓ ϨʔτɺϏʔϜͩɻB ͕ੴࡐΛख౉͢͜ͱ ʹͳ͍ͬͯΔɻͦΕ΋ɺA ͕ඞཁͱ͢Δॱ ൪Ͱख౉͞ͳ͚Ε͹ͳΒͳ͍ɻ͜ͷ໨తͷ ͨΊʹɺ ;ͨΓ͸ɺ ʮϒϩοΫʯ ɺ ʮϐϥʔʯ ɺ ʮϓϨʔτʯ ɺ ʮϏʔϜʯͱ͍͏୯ޠͰͰ͖ ͨݴޠΛ࢖͏ɻ w A ͕͋Δ୯ޠΛڣ΂͹ɺ–ͦΕΛฉ ͍ͨ B ͸ɺ ͦͷ୯ޠʹରԠ͢ΔੴࡐΛ࣋ͬ ͯ͘ΔΑ͏ʹֶश͍ͯ͠Δɻ–͜ΕΛɺ׬ શͳϓϦϛςΟϒݴޠͩͱߟ͑ͯ΋Β͍ͨ ͍ɻ ŠŠʰ఩ֶ୳ڀʱୈ 2 અ Պֶ఩ֶՊֶ࢙ (ԋश) ࿦ཧֶʢલظʣ ୲౰ɿ໼ా෦ढ़հ 14
15. ҙຯͷཧ࿦2.0ʹ࢖༻આɿmeaning is use 2.0 ͷجຊΞΠσΞ͸ɺޙظ΢ΟτήϯγϡλΠϯʰ఩ֶ୳ڀʱʹ͔͞ͷ΅Δɻ (43)ʮҙຯʯͱ͍͏୯ޠ͕࢖ΘΕΔ–શͯͷ৔߹Ͱ͸ͳ͍ʹͯ͠΋–΄ͱΜͲͷ ৔߹ɺ͜ͷ୯ޠ͸࣍ͷΑ͏ʹઆ໌Ͱ͖Δɻ୯ޠͷҙຯͱ͸ɺݴޠʹ͓͚Δͦͷ ࢖ΘΕํͰ͋Δɺͱɻ ʢޙུʣ (୳ٻ 43 અ). ʰ఩ֶ୳ڀʱ43 અ ʮޠͷҙຯͱ͸ɺݴޠʹ͓͚Δ ͦͷ࢖ΘΕํͰ͋Δʯ ҙຯ͸ɺ֎քͱͷରԠͰ͸ͳ͘ɺݴޠͷͳ͔Ͱͷ࢖ΘΕํ͔Βఆ·Δɻ Պֶ఩ֶՊֶ࢙ (ԋश) ࿦ཧֶʢલظʣ ୲౰ɿ໼ా෦ढ़հ 15
16. ٸืɿΞοτϗʔϜͳ৬৔Ͱ͢ ͜ͷतۀͰ΍Δʮূ໌࿦తҙຯ࿦ʯͱ͸ɺ ʢޙظʣ΢ΟτήϯγϡλΠϯͷΞΠσΟΞʢࢥ͍͖ͭʣΛ ۷ΓԼ͍͚͛ͯͩ͘ͷ؆୯ͳ͓࢓ࣄͰ͢ɾɾɾ ਂԕʹฉ͑͜Δ͕ɺ΍Δ͜ͱ͸ɺ࿦ཧ݁߹ࢠͷಋೖنଇͱআڈنଇΛॻͩ͘ ͚Ͱ͋Δɻ Պֶ఩ֶՊֶ࢙ (ԋश) ࿦ཧֶʢલظʣ ୲౰ɿ໼ా෦ढ़հ 16
17. ࿦ཧֶ൛ҙຯͷ࢖༻આ M. Dummett ࿦ཧ݁߹ࢠͷʮ࢖༻ʯͱ͸ɺ਺ֶͷূ໌ͷͳ͔ Ͱͷ࢖ΘΕํͰ͋Δɻ ͦͷ࢖ΘΕํ͸ɺ࣍ͷೋͭͰఆ·Δɿ ಋೖنଇ ͲΜͳࠜڌͰɺͦͷ݁߹ࢠΛ࢖ͬͯΑ͍͔ɻ আڈنଇ ͦͷ݁߹ࢠ͔ΒɺԿΛऔΓग़ͯ͠Α͍͔ɻ ͜ͷཱ৔ͷ໊લ ূ໌࿦తҙຯ࿦ʗਪ࿦ओٛʢinferentialismʣ ɻ ୲͍खɿDummett, Prawitz, Readɻ Պֶ఩ֶՊֶ࢙ (ԋश) ࿦ཧֶʢલظʣ ୲౰ɿ໼ా෦ढ़հ 17
18. ϒϥϯμϜɿ࿦ཧ͸ਪ࿦Λʮ໌ࣔԽʯ͢Δ R. Brandom Barbara Wendeborn Brandom, μϝοτͷʮҙຯʹಋೖɾআڈنଇʯΛ͞ Βʹਪ͠ਐΊͨͷ͕ϒϥϯμϜʢMaking It Explicit, 1994ʣ ɻ ʮ࿦ཧ͸ҙຯ࿦తͳࣗݾҙࣝͷث׭Ͱ͋Δʯ ʢϒϥϯμϜʣ ɻ ໰͍ɿͦ΋ͦ΋࿦ཧతޠኮʢ ʮͳΒ͹ʯ→ɺ ʮͰͳ͍ʯ¬ʣ͸ɺԿͷͨΊʹ͋Δͷ͔ʁ ࿦ཧతޠኮͷ໾ׂʹ໌ࣔԽʢmaking it explicitʣ ਪ࿦ͷͳ͔ʹ҉໧ʹؚ·Ε͍ͯΔ֤ޠͷ໾ׂ ʢਪ࿦ʹ͓͚ΔҐஔͱ಺༰ʣΛɺओுͷܗͰ໌ ࣔ͢Δͷ͕࿦ཧͷ࢓ࣄɻ Պֶ఩ֶՊֶ࢙ (ԋश) ࿦ཧֶʢલظʣ ୲౰ɿ໼ా෦ढ़հ 18
19. ໌ࣔԽͷྫͱؼ݁ɿ࿦ཧ͸಺༰Λʮ଍͞ͳ͍ʯ ྫɿ৚݅๏ʮA → Bʯ ʮA ͔Β B Λਪͯ͠Α͍ʯͱ͍͏ਪ࿦ͷख͖ͭʢdoingʣΛɺ ʮA → Bʯͱ͍͏ओ ுʢsayingʣʹม͑Δɻ ŠŠʮਪ͢ʯͱ͍͏ ;Δ·͍Λɺ໌ࣔతʹݴ͑Δܗʹ͢Δͷ͕৚݅๏ͷ໾ׂɻ ͔ͩΒ࿦ཧ͸಺༰Λʮ଍͞ͳ͍ʯ ࿦ཧతޠኮ͸͢Ͱʹߦ͍ͬͯΔਪ࿦Λ໌ࣔ͢Δ͚ͩɻ ⇒ ࿦ཧͷఆٛ͸Կ΋૿΍ͯ͠͸ͳΒͳ͍ɻ ͭ·Γɺ࿦ཧ݁߹ࢠͷʮఆٛʯ͸ɺੈքʹ͍ͭͯ৽͍͠ࣄ࣮Λ࡞ͬͯ͸ͳΒ ͳ͍ɻ ͜Ε͕࣍ͷओ୊ŠŠ ྑ͍ఆٛͷ৚݅ʢอଘ֦େʣʹͭͳ͕Δɻ Պֶ఩ֶՊֶ࢙ (ԋश) ࿦ཧֶʢલظʣ ୲౰ɿ໼ా෦ढ़հ 19
20. 4. ྑ͍ఆٛͱѱ͍ఆٛ
21. ఆٛͷຬͨ͢΂͖ੑ࣭ ࿦ཧ݁߹ࢠΛಋೖنଇɾআڈنଇͰఆΊΔ͜ͱ͸ɺ݁ہɺͦͷ݁߹ࢠΛʮఆ ٛʯ͢Δ͜ͱͰ͋ΔɻͰ͸ɺྑ͍ఆٛͱ͸ʁ ྑ͍ఆٛʹ୯ͳΔུه ط஌ͷޠΛ࢖ͬͯ৽͍͠ޠͷ࢖͍ํΛఆΊΔ͚ͩͷ΋ͷɻ ಋೖʢޠΛೖΕΔʣ΋আڈʢޠΛ֎͢ʣ΋εϜʔζʹͰ͖Δɻ άϩʔόϧͳཁٻʹอଘ֦େʢconservative extensionʣ ఆ͔ٛͨ͠Βͱ͍ͬͯɺݱ࣮ʹ͍ͭͯݴ͑Δ͜ͱ͕૿͑ͯ͸͍͚ͳ͍ɻ ఆٛ͸ݴ༿͚ͩʹؔΘΔ΂͖Ͱɺ͍ͭͷ·ʹ͔ੈքʹ͍ͭͯԿ͔Λओுͯ͠͸ͳΒ ͳ͍ɻ Պֶ఩ֶՊֶ࢙ (ԋश) ࿦ཧֶʢલظʣ ୲౰ɿ໼ా෦ढ़հ 21
22. ѱ͍ఆٛᶃɿΞϯηϧϜͷਆʢ݁࿦ͷີ༌ʣ ѱ͍ఆٛ͸ɺͬͦ͜Γ݁࿦Λີ༌͢Δɻ ྫɿΞϯηϧϜͷਆͷଘࡏূ໌ ਆΛʮߠఆతͳੑ࣭Λશͯ࣋ͭ΋ͷʯͱఆٛ͢Δɻ ʮଘࡏ͢Δʯ΋ߠఆతͳੑ࣭Ͱ͋Δɻ Ώ͑ʹɺఆ͔ٛΒʮਆ͸ଘࡏ͢Δʯ͕ग़ͯ͠·͏ɻ Կ͕ѱ͍ͷ͔ ݴ༿ͷఆٛͷ͸͕ͣɺ͍ͭͷ·ʹ͔ݱ࣮ʢਆͷଘࡏʣʹ͍ͭͯԿ͔Λݴͬͯ͠·ͬ ͍ͯΔ ʹ ѱ͍ఆٛɻ Պֶ఩ֶՊֶ࢙ (ԋश) ࿦ཧֶʢલظʣ ୲౰ɿ໼ా෦ढ़հ 22
23. ѱ͍ఆٛᶄɿϘογϡʢԿͰ΋ΞϦʣ େઓظɺӳࠃਓ͸υΠπਓΛʮϘογϡʯ ͱݺͼɺݴ֎ʹʮ໺൮ਓʯͷχϡΞϯεΛ ࠐΊͨɻ ಋೖنଇɿ ʮx ͸υΠπਓʯ ⊢ ʮx ͸Ϙο γϡʯ আڈنଇɿ ʮx ͸Ϙογϡʯ ⊢ ʮx ͸໺ ൮ਓʯ ߹੒͢ΔͱɿυΠπਓ ˠ Ϙογϡ ˠ ໺ ൮ਓɻಋೖͰͬͦ͜ΓೖΕͨʮ໺൮ਓʯ ͕ɺআڈͰऔΓग़͞Εͯ͠·͏ɻ ਍அ ݩͷʮυΠπਓʯʹ͸ແؚ͔ͬͨҙ͕ग़ͯ͘Δ ʹ ಋೖͱআڈ͕௼Γ߹͍ͬͯͳ͍ ʹ อଘ֦େͷഁΕ ʹ ѱ͍ఆٛɻ x ͸υΠπਓ   ಋೖ x ͸Ϙογϡ   আڈ x ͸໺൮ਓ × ຊདྷ͸ʮυΠπਓ ⊬ ໺൮ਓʯ Պֶ఩ֶՊֶ࢙ (ԋश) ࿦ཧֶʢલظʣ ୲౰ɿ໼ా෦ढ़հ 23
24. 5. Tonkͱௐ࿨ŠŠ 2.0Λٹ͏৚݅
25. ࿦ཧ݁߹ࢠͰѱ͍ఆٛΛ΍Δͱʁ ˠ Tonk ࣗવݴޠͷϘογϡͱಉ͜͡ͱΛɺ࿦ཧ݁߹ࢠͰ΍ͬ ͨΒʁ Priorʢ1960ʣ ʮThe Runabout Inference-Ticketʯ͕ग़ͨ͠ ৽͍݁͠߹ࢠ tonkɻ A. Prior ಋೖنଇʢˮͷಋೖʹࣅͤΔʣ A ͔ΒʮA tonk BʯΛಋ͍ͯΑ͍ɻ A tonk+ A tonk B আڈنଇʢ˭ͷআڈʹࣅͤΔʣ ʮA tonk Bʯ͔Β B ΛऔΓग़ͯ͠Α͍ɻ A tonk B tonk− B Պֶ఩ֶՊֶ࢙ (ԋश) ࿦ཧֶʢલظʣ ୲౰ɿ໼ా෦ढ़հ 25
26. Tonkͷഁ୼ A tonk+ A tonk B tonk− B ೋͭΛ߹੒͢ΔͱɿA ͔ΒʮA tonk Bʯ Λಋೖ͠ɺ͔ͦ͜Β B ΛআڈͰ͖Δɻ ͭ·Γɺ೚ҙͷ A ͔Β೚ҙͷ B ͕ಋ ͚Δɻ ମܥͷ่յ A ͕ҰͭͰ΋ূ໌Ͱ͖Ε͹ʢྫɿA → Aʣ ɺ͋ͱ͸ԿͰ΋ূ໌Ͱ͖ͯ͠·͏ɻ ʮಋೖنଇͱআڈنଇΛউखʹஔ͚͹ҙຯ͕ܾ·Δʯͱ͍͏ૉ๿ͳ࢖༻આ͸ɺ͜ͷ ··Ͱ͸ഁ୼͢Δɻ Պֶ఩ֶՊֶ࢙ (ԋश) ࿦ཧֶʢલظʣ ୲౰ɿ໼ా෦ढ़հ 26
27. ةػͷ਍அʹௐ࿨ʢharmonyʣ ͳͥ tonk ͸μϝͳͷ͔ʁ আڈͰऔΓग़͢ B ͕ɺಋೖͰೖΕͨ A ͱແؔ܎͔ͩΒͰ͋Δɻ ྑ͍݁߹ࢠͳΒɺআڈͰऔΓग़ͤΔͷ͸ɺಋೖͰೖΕͨ΋ͷ͚ͩͰ͋Δ΂͖ͩɻ ௐ࿨ʢharmonyʣ ͜ͷɺಋೖͱআڈͷ௼Γ߹͍Λௐ࿨ʢharmonyʣͱݺͿɻ ʢ໊લࣗମ͸ୈ 1ɾ3 ճͰطग़ʣ Պֶ఩ֶՊֶ࢙ (ԋश) ࿦ཧֶʢલظʣ ୲౰ɿ໼ా෦ढ़հ 27
28. ήϯπΣϯɿಋೖ͸ఆٛɺআڈ͸ͦͷؼ݁ Ͱ͸ɺͳͥ௼Γ߹͍ͬͯΔʮ͸ͣʯͳͷ͔ʁ ͦͷݪཧతࠜ ڌ͸ɺࣗવԋ៷Λ࡞ͬͨήϯπΣϯʢ1934ʣʹ͔͞ͷ΅Δɻ ήϯπΣϯͷߟ͑ ಋೖنଇ͸ɺͦͷ࿦ཧ݁߹ࢠͷʮఆٛʯͱΈͳͤΔɻ আڈنଇ͸ɺ݁ہͦͷఆ͔ٛΒͷؼ݁ʹ͗͢ͳ͍ɻ ؼ݁ ͩͱ͢Ε͹ɺআڈ͸ఆٛʢʹಋೖʣͰೖΕͨҎ্ͷ΋ͷΛऔΓग़ ͤͳ͍ŠŠಋೖͱআڈʹ͸ɺ௼Γ߹͍ʢௐ࿨ʣ͕ ͋Δ͸ͣͰ͋Δɻ ͜Ε͕ɺ͜ͷ෼໺ͷग़ൃ఺Ͱ͋Δɻ G. Gentzen Պֶ఩ֶՊֶ࢙ (ԋश) ࿦ཧֶʢલظʣ ୲౰ɿ໼ా෦ढ़հ 28
29. ෬ઢճऩɿ௼Γ߹͍͸ɺͲ͏͔֬ΊΔʁ ήϯπΣϯ͸ʮ௼Γ߹͏͸ͣʯͱݴͬͨɻͰ͸ɺͦͷʮ͸ͣʯΛɺ࣮ࡍͲ͏͔֬Ί Ε͹Α͍ͷ͔ʁ ˠ ·͞ʹୈ 8ɾ9 ճͰ΍ͬͨਖ਼نԽͰ͋Δ ಋೖͷ௚ޙʹআڈ͢Δͱ͍͏ʮԕճΓʢdetourʣ ʯ͕ɺඞͣॻ͖׵͑ͰফͤĊŠ͜Ε ͸ɺআڈ͕ಋೖͷཪฦ͠ʹͳ͍ͬͯΔ͜ͱͷূڌ ʹ ௐ࿨ͷҰͭͷଌΓํɻ ˭ɾˮɾˠɾ™ ͸ਖ਼نԽͰ͖ͨɻ͕ͩ tonk ͸ʁ tonk ͸ਖ਼نԽͰ͖ͳ͍ʢԕճΓΛফ͢ॻ͖׵͕͑ଘࡏ͠ͳ͍ʣ ɻ ਖ਼نԽͱ͍͏ॏ࿑ಇ͸ɺ2.0 Λ tonk ͔Βٹ͏ͨΊͷٕज़తͳ౴͑ͩͬͨͷͰ͋Δɻ Պֶ఩ֶՊֶ࢙ (ԋश) ࿦ཧֶʢલظʣ ୲౰ɿ໼ా෦ढ़հ 29
30. ௐ࿨͸ҰͭͰ͸ͳ͍ɿࡾͭͷϨϕϧ ௐ࿨ʢharmonyʣ͸ɺ࣮͸Ұͭͷ֓೦Ͱ͸ͳ͘ɺෳ਺ͷϨϕϧ͕͋Δ ʢୈ 3 ճͷہॴʗେҬΛɺਖ਼نԽΛڬΜͰࡾ૚ʹ੔ཧ͠௚͢ʣɻ ϩʔΧϧʢ݁߹ࢠ 1 ݸͷϨϕϧʣʹ൓సݪཧ আڈ͸ಋೖͷཪฦ͠ʹͳ͍ͬͯΔɻ தؒʢূ໌શମͷϨϕϧʣʹਖ਼نԽɹˡɹࠓ೔৮Εͨͷ͸͜͜ ͲΜͳূ໌΋ɺԕճΓΛશͯফͯ͠ΧϊχΧϧͳܗʹͰ͖Δʢμϝοτͷݴ͏ʮਅਖ਼ͳ ௐ࿨ʯ ʣ ɻ άϩʔόϧʢݴޠશମͷϨϕϧʣʹอଘ֦େ ৽͍݁͠߹ࢠΛ଍ͯ͠΋ɺݩͷޠኮͰݴ͑Δ͜ͱ͸૿͑ͳ͍ɻ ࡾऀͷؔ܎ʢͲΕ͕ඞཁͰɺͲΕ͕े෼͔ɻϩʔΧϧ͚ͩͰ͸଍Γͳ͍͜ͱɺ౳ʣ͸ɺ ࣍ճʢୈ 11 ճʣͰɻ Պֶ఩ֶՊֶ࢙ (ԋश) ࿦ཧֶʢલظʣ ୲౰ɿ໼ా෦ढ़հ 30
31. 2.0͸ɺ৚݅෇͖Ͱຊ෺ʹͳΔ ࢖༻આʢ2.0ʣͷ࠷ऴܗ ʮ࿦ཧ݁߹ࢠͷҙຯͱ͸ɺͦͷಋೖنଇͱআڈنଇͰ͋ΔʯŠŠ ͜ͷ࢖༻આ͸ɺௐ࿨ͨ͠نଇʹݶΔͱ͍͏৚݅Λ෇͚ͯɺ͸͡Ίͯຊ෺ͷཱ৔ʹ ͳΔɻ ૉ๿ͳ࢖༻આʢنଇΛউखʹஔ͚͹ҙຯ͕ܾ·Δʣ͸ tonk Ͱഁ୼͕ͨ͠ɺௐ ࿨ͱ͍͏৚݅Λ՝ͤ͹ٹΘΕΔɻ ͦͯ͠ௐ࿨͸ɺୈ 8ɾ9 ճͰ΍ͬͨਖ਼نԽʹΑͬͯଌΕΔͷͩͬͨɻ Պֶ఩ֶՊֶ࢙ (ԋश) ࿦ཧֶʢલظʣ ୲౰ɿ໼ా෦ढ़հ 31
32. 6. ·ͱΊɾԋश
33. ·ͱΊʗ;ͨͨͼLLM΁ ·ͱΊ ҙຯʹ͸ೋͭͷಓʢ1.0 ʹਅཧ৚݅ʗ 2.0 ʹ࢖༻ʣˠ 2.0 ʹ࿦ཧ݁߹ࢠ͸ಋೖɾআڈ نଇͰఆ·Δ ˠ ͨͩ͠ྑ͍ఆٛʹௐ࿨ͨ͠نଇʹݶΔˠ tonk ͸ௐ࿨ͷഁΕ ˠ ௐ ࿨͸ਖ਼نԽͰଌΕΔɻ ;ͨͨͼ LLM ΁ ϋϧγωʔγϣϯΛɺ ʮ֎քর߹ͷࣦഊʢ1.0ʣ ʯͱ͚ͯͩ͠Ͱͳ͘ɺ ʮਪ࿦نଇͷෆௐ࿨ʗূ໌ͷԕճΓ͕ղ͚ͳ͍͜ͱʢ2.0ʣ ʯͱͯ͠਍அͰ͖ͳ͍͔ʁ ͜Ε͕ɺୈ 11 ճҎ߱ʹ࣋ͪӽ͢໰͍Ͱ͋Δɻ Պֶ఩ֶՊֶ࢙ (ԋश) ࿦ཧֶʢલظʣ ୲౰ɿ໼ా෦ढ़հ 33
34. ԋशɾ࣍ճ༧ࠂ ԋशʢղ౴ʹ͔͔ͬͨ࣌ؒ΋ॻ͘͜ͱʣ ໰ 1 tonk ͷಋೖɾআڈΛ߹੒͠ɺ೚ҙͷ A ͔Β೚ҙͷ B ͕ಋ͚Δ͜ͱΛ͔֬ΊΑɻ ໰ 2 Ϙογϡͷಋೖɾআڈ͔ΒʮυΠπਓ ⊢ ໺൮ਓʯ͕ग़Δ͜ͱΛਤࣔ͠ɺͲ͜Ͱ ௼Γ߹͍͕ഁΕ͍ͯΔ͔આ໌ͤΑɻ ໰ 3 ˭ ͷಋೖ௚ޙʹআڈ͢ΔԕճΓ͕ɺͳͥ tonk ͱҧͬͯফͤΔͷ͔આ໌ͤΑɻ ࣍ճʢୈ 11 ճʣ ௐ࿨ɾอଘ֦େɾ൓సݪཧŠŠʮྑ͍نଇʯͷ਺ֶత৚݅ɻ Պֶ఩ֶՊֶ࢙ (ԋश) ࿦ཧֶʢલظʣ ୲౰ɿ໼ా෦ढ़հ 34