[2026前期火５] 論理学（京都大学文学部 前期 第1回）「ハルシネーションを外部世界との対応を考えずに見分ける方法」

科学哲学科学史 (演習) 前期 第1回　論理学　（京都大学文学部・矢田部俊介）
「ハルシネーションを外部世界との対応を考えずに見分ける方法」
2026年4月14日（火）1645〜1815（予定）

Transcript

1. Պֶ఩ֶՊֶ࢙ (ԋश) લظ ୈ 1 ճ ࿦ཧֶ AI ͷϋϧγωʔγϣϯΛ֎෦ੈքͱͷରԠΛ ߟ͑ͣʹݟ෼͚Δํ๏ 2026 ೥ 4 ݄ 14 ೔ʢՐʣ16:45–18:15 จֶ෦ୈ 6 ԋशࣨ ୲౰ɿ໼ా෦ढ़հʢ੢೔ຊཱྀ٬మಓגࣜձࣾʣ yatabe.shunsuke.24n@st.kyoto-u.ac.jp
2. ຊ೔ͷϝχϡʔ 1. ԋशͷઆ໌ 2. ࿦ཧɾਪ࿦ɾϋϧγωʔγϣϯ 3. ূ໌࿦తҙຯ࿦͔Βݟͨϋϧγωʔγϣϯ 4. ͜ͷतۀͰֶͿ͜ͱ 5. Ωʔϫʔυ 6. Ұ೥ؒͷतۀܭը Պֶ఩ֶՊֶ࢙ (ԋश) ࿦ཧֶʢલظʣ ୲౰ɿ໼ా෦ढ़հ 2
3. 1. ԋशͷઆ໌
4. 1.0 ͜ͷतۀͷ֓ཁ • ࠷ऴ໨ඪɿ࿦ཧతͰ໌᏷ͳࢥߟʹ׳Εɺ ࠜڌʹجͮ͘ൈ͚ͷͳ͍࿦ূ͕Ͱ͖ΔΑ͏ʹͳΔ • ୊ࡐɿ఩ֶత࿦ཧֶʕʕʮ࿦ཧͱ͸Կ͔ʯͱ͍͏໰͍ ࠓ೥ͷ੾ΓޱɿLLM ͷϋϧγωʔγϣϯͱূ໌࿦తҙຯ࿦ • ํ๏ɿ࠷খ໋୊࿦ཧͷࣗવԋ៷ͷମܥΛղઆɾԋश ·ͣखΛಈ͔ͯ͠ূ໌Λॻ͚ΔΑ͏ʹ͢Δ • ੒੷ධՁɿ΄΅ຖճͷ॓୊ͷྦྷܭ੒੷ʹ४͡Δ • ࢿྉɿຖճतۀલ೔·Ͱʹ KU LMS ʹΞοϓϩʔυ Պֶ఩ֶՊֶ࢙ (ԋश) ࿦ཧֶʢલظʣ ୲౰ɿ໼ా෦ढ़հ 4
5. 1.1.1 ڭࣨतۀͱγεςϜར༻ • ຊतۀ͸ڭࣨͰͷର໘तۀͱͯ͠ߦ͏ • େֶ͔Βͷެࣜ࿈བྷɾٳߨ৘ใ͸ KULASIS Ͱ֬ೝ • तۀࢿྉͷ഑෍ɾ՝୊ఏग़͸ KULMS Λ༻͍Δ • ຖճɺतۀલʹ KULASIS ͱ KULMS Λ֬ೝ͢Δ͜ͱ • ࢿྉ͸֤ࣗͰࣄલʹμ΢ϯϩʔυ͓ͯ͘͜͠ͱ • γεςϜ্ͷ௨஌ͷݟམͱ͠ʹ஫ҙ͢Δ͜ͱ Պֶ఩ֶՊֶ࢙ (ԋश) ࿦ཧֶʢલظʣ ୲౰ɿ໼ా෦ढ़հ 5
6. 1.1.2 तۀதͷ஫ҙ • तۀ։࢝લ·Ͱʹண੮͢Δ͜ͱ • ඞཁͳࢿྉɾϊʔτɾචه༻۩Λ֤ࣗ࣋ࢀ͢Δ͜ͱ • ࣭໰ɾൃݴ͸׻ܴ͢Δ • ࢲޠ΍ෆཁͳ୺຤ૢ࡞͸߇͑Δ͜ͱ • ୺຤͸तۀʹඞཁͳൣғͰ࢖༻͢Δ͜ͱ • ܽ੮࣌΋࿈བྷࣄ߲ɾ՝୊͸֤ࣗͰ֬ೝ͢Δ͜ͱ Պֶ఩ֶՊֶ࢙ (ԋश) ࿦ཧֶʢલظʣ ୲౰ɿ໼ా෦ढ़հ 6
7. 1.1.3 ࢿྉ഑෍ͱ՝୊ఏग़ • तۀࢿྉ͸ KULMS ͔Β֤ࣗμ΢ϯϩʔυ͢Δ͜ͱ • ՝୊ఏग़΋ݪଇͱͯ͠ KULMS ܦ༝Ͱߦ͏ • ిࢠϑΝΠϧ͸ͦͷ··ఏग़ͯ͠Α͍ • खॻ͖՝୊͸εΩϟϯ·ͨ͸ࣸਅͰఏग़͢Δ͜ͱ • క੾͸ݪଇͱͯ࣍͠ճतۀ։࢝࣌ࠁ·Ͱ • ஗Εͯఏग़͞Εͨ՝୊͸ݪଇͱͯ͠डཧ͠ͳ͍ Պֶ఩ֶՊֶ࢙ (ԋश) ࿦ཧֶʢલظʣ ୲౰ɿ໼ా෦ढ़հ 7
8. 1.2.1 ԋशͷਐΊํ • ຖճɺલճ՝୊ͷ֬ೝͱղઆΛߦ͏ • ͦͷޙɺͦͷ೔ͷ಺༰આ໌ͱ໰୊ԋशΛߦ͏ • तۀޙ͸֤ࣗͰ෮श͠ɺ՝୊ʹऔΓ૊Ή͜ͱ • ഑෍ࢿྉɾ՝୊ɾतۀ಺࿈བྷ͸ KULMS Λج४ͱ͢Δ • ٳߨɾतۀมߋͳͲͷެࣜ࿈བྷ͸ KULASIS Λج४ͱ͢Δ • ܝࣔɾ௨஌͸֤ࣗͷ੹೚Ͱ֬ೝ͢Δ͜ͱ Պֶ఩ֶՊֶ࢙ (ԋश) ࿦ཧֶʢલظʣ ୲౰ɿ໼ా෦ढ़հ 8
9. 1.2.2 ੒੷ධՁͱੜ੒AIར༻ • ੒੷ධՁ͸ओͱͯ͠՝୊ɾԋश΁ͷऔΓ૊Έʹجͮ͘ • ৄࡉͳධՁํ๏͸तۀ಺Ͱผ్આ໌͢Δ • ੜ੒ AI ͸ࢥߟ੔ཧ΍ิॿͱͯ͠ར༻ͯ͠Α͍ • ͨͩ͠ɺग़ྗΛͦͷ··ఏग़ͯ͠͸ͳΒͳ͍ • AI Λ༻͍ͨ৔߹΋ɺ಺༰͸ඞͣࣗ෼Ͱݕূ͢Δ͜ͱ • ඞཁʹԠͯ͡ར༻ํ๏ͷ໌ࣔΛٻΊΔ͜ͱ͕͋Δ Պֶ఩ֶՊֶ࢙ (ԋश) ࿦ཧֶʢલظʣ ୲౰ɿ໼ా෦ढ़հ 9
10. 2. LLM͸൓࣮ࡏ࿦ͷ࣮ݧ৔͔
11. 2.1 ໰୊ҙࣝ—LLMͷحົͳڍಈ • LLM ͸ଘࡏ͠ͳ͍࿦จΛҾ༻͢Δ • ࣄ࣮ͱҟͳΔ৘ใΛࣗ৴͋Γ͛ʹड़΂Δ͜ͱ͕͋Δ • ͜ΕΛʮӕʯͱݺͿͷ͸ਖ਼֬Ͱ͸ͳ͍—ҙਤ͕ͳ͍ • Ͱ͸ɺԿ͕ى͖͍ͯΔͷ͔ʁ • ΑΓࠜຊతͳ໰͍ɿ LLM ʹͱͬͯʮҙຯʯͱ͸Կ͔ʁ Պֶ఩ֶՊֶ࢙ (ԋश) ࿦ཧֶʢલظʣ ୲౰ɿ໼ా෦ढ़հ 11
12. 2.2 ྫɿChatGPT෩ϋϧγωʔγϣϯ ྫ 1ʲՍۭ࿦จܕʳ ʮDummett ͷ 1968 ೥࿦จ Meaning and Verification in Logic Ͱ͸ʜʯ ˠ ΋ͬͱ΋Β͍͕͠ɺͦ͏͍͏࿦จ͸ଘࡏ͠ͳ͍ ྫ 2ʲ੍౓፻଄ܕʳ ʮژ౎େֶจֶ෦͸ 2024 ೥͔Β࿦ཧֶΛඞमԽͨ͠ʯ ˠ େֶ໊ɾ੍౓มߋͷ૊Έ߹Θ͕ͤͦΕΒ͍͚ͩ͠ ྫ 3ʲ఩ֶ࢙͢Γସ͑ܕʳ ʮFrege ͸ʰҙຯͱ͸࢖༻Ͱ͋Δʱͱड़΂͍ͯΔʯ ˠ ͍͔ʹ΋͋Γͦ͏͕ͩɺෆਖ਼֬ ڞ௨఺ɿจମ͸ࣗવ ʗ ࣗ৴͕͋Δ ʗ ࡉ෦͕۩ମతɹ—͔ࠜ͠͠ڌ͕ͳ͍˞तۀ༻ʹ࡞੒͠ ͨྫͰ͢ Պֶ఩ֶՊֶ࢙ (ԋश) ࿦ཧֶʢલظʣ ୲౰ɿ໼ా෦ढ़հ 12
13. 2.3 ϋϧγωʔγϣϯରࡦͷओྲྀΞϓϩʔν 1 ◦ RAG Retrieval-Augmented Generation ֎෦ DB Λݕࡧ͠ ࣄ࣮ͱর߹͢Δ → ֎ք৘ใͰ LLM ͷ ग़ྗΛิਖ਼ 2 ◦ ۩਎Խ AI Embodied AI ΧϝϥɾηϯαʔͰ ෺ཧੈքͱ઀ଓ͢Δ → ਎ମΛ࣋ͭ͜ͱͰ ੈքʹʮ઀஍ʯͤ͞Δ 3 ◦ ਪ࿦ڧԽ Chain-of-Thought ͳͲ ਪ࿦εςοϓΛ໌ࣔ͠ ಺෦੔߹ੑΛߴΊΔ → ֎քͳ͠ʹਪ࿦ͷ ࣭Λ޲্ͤ͞Δ 1 ◦ 2 ◦ɿ֎քͱͷ઀ଓͰղܾ͠Α͏ͱ͢Δ 3 ◦ɿਪ࿦ͷ಺෦ߏ଄Λ੔߹ͤ͞Α͏ͱ͢Δ 3 ◦͕ຊतۀͱ ઀ଓ͢Δํ޲ Պֶ఩ֶՊֶ࢙ (ԋश) ࿦ཧֶʢલظʣ ୲౰ɿ໼ా෦ढ़հ 13
14. 2.4 3ͭͷΞϓϩʔνͷҐஔ͚ͮ 1 ◦ 2 ◦ɿ֎քর߹ܕ • ࣄ࣮ DB ΍஌֮৘ใ͕͋ΔྖҬ Ͱ༗ޮ • র߹͢΂͖֎ք͕ͳ͚Ε͹ػೳ ͠ͳ͍ • ਪ࿦ͷܗࣜͦͷ΋ͷͷ໰୊͸ଊ ͑ΒΕͳ͍ 3 ◦ɿਪ࿦ڧԽܕ • ֎քর߹ͳ͠ʹਪ࿦Λ੔߹ͤ͞ Δ • র߹ઌ͕ͳ͍ྖҬͰ΋༗ޮ • ਪ࿦نଇͷྑ͠ѱ͠Λ಺෦͔Β ਍அ ຊतۀͷࢹ఺ 3 ◦ͷํ޲Λ఩ֶతɾ࿦ཧֶతʹਂΊΔ ࣗવԋ៷ͱϋʔϞχʔΛֶͼɺ֎քর߹ͳ͠ʹ਍அ͢Δࢹ࠲ΛಘΔ Պֶ఩ֶՊֶ࢙ (ԋश) ࿦ཧֶʢલظʣ ୲౰ɿ໼ా෦ढ़հ 14
15. 2.5 ʮ֎քͱͷ઀ଓʯͱ͍͏ൃ૝ͷ఩ֶతഎܠ 1 ◦ 2 ◦ͷલఏɿ࣮ࡏ࿦ • ֎ք͸ಠཱ࣮ͯ͠ࡏ͢Δ • ݴޠɾਪ࿦ͷਖ਼͠͞͸ ֎քͱͷରԠʹΑܾͬͯ·Δ • ͔ͩΒ֎քͱ઀ଓ͢Ε͹ ϋϧγωʔγϣϯΛ๷͛Δ 3 ◦ͷલఏɿ൓࣮ࡏ࿦ • ҙຯͷઆ໌ʹ֎քରԠ͸ Ұ࣍తʹඞཁ͔ʁ • ਪ࿦ͷதͰͷ࢖ΘΕํ͔Β ҙຯΛઆ໌Ͱ͖ͳ͍͔ • ͔ͩΒਪ࿦نଇͷྑ͠ѱ͠Λ ಺෦͔Β໰͑Δ ϋϧγωʔγϣϯରࡦͷ޻ֶతબ୒͸ ࣮͸࣮ࡏ࿦ vs ൓࣮ࡏ࿦ͱ͍͏఩ֶతରཱͱಉܕͰ͋Δ Dummett ͷ఩ֶత໰͍͕ΤϯδχΞϦϯάͷݱ৔ʹ࠶ొ৔͍ͯ͠Δ Պֶ఩ֶՊֶ࢙ (ԋश) ࿦ཧֶʢલظʣ ୲౰ɿ໼ా෦ढ़հ 15
16. 2.5b ࣮ࡏ࿦తAI vs ൓࣮ࡏ࿦తAI ൓࣮ࡏ࿦త AIʢ 3 ◦ਪ࿦ڧԽʣ ശͷ಺ଆͷ࿦ཧه߸͚ͩͰਪ࿦͢Δ vs ࣮ࡏ࿦త AIʢ 1 ◦ 2 ◦֎քর߹ʣ ૭ͷ֎ͷੈքΛࢀরͯ͠ࣄ࣮ͱর߹͢Δ Պֶ఩ֶՊֶ࢙ (ԋश) ࿦ཧֶʢલظʣ ୲౰ɿ໼ా෦ढ़հ 16
17. 2.6 ϋϧγωʔγϣϯ͸ʮؒҧͬͨ݁࿦ʯ͚ͩͷ໰୊͔ ;ͭ͏ϋϧγωʔγϣϯ͸ʮؒҧͬͨ݁࿦Λग़͢͜ͱʯͱߟ͑ΒΕΔ ͜ͷݟํͰ͸ɿ֎քͱর߹͢Ε͹ޡΓΛൃݟͰ͖Δ ͔͠͠— ਖ਼͍݁͠࿦͑͞ग़ͤ͹Α͍ͷ͔ʁ ྫɿ ʮઇ͸ന͍ɻ͕ͨͬͯ͠૲͸྘ͩʯ ˠ ݁࿦͸ͨ·ͨ·ਖ਼͍͠ɻ͔͠͠ਪ࿦ͱ͓͔͍ͯ͠͠ ٯʹɺਪ࿦ͷ·ͣ͞͸֎քΛݟͳͯ͘΋෼͔Δ৔߹͕͋Δ ˠ ਪ࿦ͦͷ΋ͷͷྑ͠ѱ͠ΛɺͲ͏ଊ͑Δ͔ʁ Պֶ఩ֶՊֶ࢙ (ԋश) ࿦ཧֶʢલظʣ ୲౰ɿ໼ా෦ढ़հ 17
18. 2.7 ʮ֎քͳ͠ʹ൷൑Ͱ͖Δʯͷ఩ֶతؚҙ ֬ೝͨ͜͠ͱ ਪ࿦ͷ·ͣ͞͸ɺ֎քΛݟͳͯ͘΋෼͔Δ৔߹͕͋Δ ͜Ε͸࣮͸େ͖ͳओுΛؚΜͰ͍Δɿ ֎քͱͷରԠΛ͔֬Ίͳͯ͘΋ ҙຯͷྑ͠ѱ͠ΛޠΕΔ ͱ͍͏͜ͱ͸ɺҙຯͱ͸ ֎քରԠ͚͔ͩΒ͸དྷͳ͍͔΋͠Εͳ͍ ఩ֶత໰͍ ҙຯ͸֎քͱͷରԠ͔ΒདྷΔͷ͔ʁ ͦΕͱ΋ɺਪ࿦ͷதͰͷ࢖ΘΕํ͔ΒདྷΔͷ͔ʁ ˠ ͜Ε͕ Dummett ͷ൓࣮ࡏ࿦ͷ֩৺໰୊Ͱ͋Δ Պֶ఩ֶՊֶ࢙ (ԋश) ࿦ཧֶʢલظʣ ୲౰ɿ໼ా෦ढ़հ 18
19. 2.8 ඪ४తͳߟ͑ํ—ରԠઆ ҙຯͷରԠઆ จͷҙຯɹʹɹͦͷจ͕ਅͱͳΔ৚݅ʢਅཧ৚݅ʣ ͜ͷཱ৔Ͱ͸ɿϋϧγωʔγϣϯ ʹ ֎քͱͷରԠͷࣦഊ ਍அํ๏ɿࣄ࣮σʔλϕʔεͱͷর߹ ݶք ਪ࿦ͦͷ΋ͷͷྑ͠ѱ͠͸Ͳ͏ධՁ͢Δͷ͔ʁ র߹͢΂͖֎ք͕ͳ͍ͱ͖ɺͲ͏൷൑͢Δ͔ʁ Պֶ఩ֶՊֶ࢙ (ԋश) ࿦ཧֶʢલظʣ ୲౰ɿ໼ా෦ढ़հ 19
20. 2.9 Dummettͷ൓࣮ࡏ࿦ϓϩδΣΫτ Michael Dummettʢ1925–2011ʣ ໰͍ɿҙຯͷઆ໌ʹ֎քରԠ͸ຊ౰ʹҰ ࣍త͔ʁ ൓࣮ࡏ࿦ͷ֩৺ɿҙຯ͸࢖༻ʹࠜ͟͢ ԿΛࠜڌʹओுͰ͖Δ͔ ओு͢Δ͜ͱͰԿ͕ؼ݁͢Δ͔ ʮઇ͸ന͍ʯͷҙຯ͸֎քͷઇͷ৭͔Β དྷΔͷ͔ʁ ͦΕͱ΋ɺͦͷจͷ࢖͍ํ͔ΒདྷΔ ͷ͔ʁ Dummett ͸ޙऀ͔ΒҙຯΛઆ໌͠Α͏ͱ ͨ͠ Պֶ఩ֶՊֶ࢙ (ԋश) ࿦ཧֶʢલظʣ ୲౰ɿ໼ా෦ढ़հ 20
21. 2.10 ূ໌࿦తҙຯ࿦ͷಓ۩ཱͯ جຊݪཧʢGentzen 1934ʣ ࿦ཧఆ߲ͷҙຯ͸ɺͦͷਪ࿦نଇʹΑͬͯ༩͑ΒΕΔ • ಋೖنଇ ԿΛࠜڌʹͦͷޠΛ࢖͑Δ͔ ʢintroduction ruleʣ • আڈنଇ ͦͷޠ͔ΒԿ͕ؼ݁͢Δ͔ ʢelimination ruleʣ • ௐ࿨ʢharmonyʣ ࠜڌ͕ؼ݁Λਖ਼౰Խ͢Δঢ়ଶ • อकత֦ு ৽ޠ͕طଘͷਪ࿦Λ௒͑ͳ͍͜ͱ Պֶ఩ֶՊֶ࢙ (ԋश) ࿦ཧֶʢલظʣ ୲౰ɿ໼ా෦ढ़հ 21
22. 2.11 Bocheͷྫ—ਪ࿦ਤղ ٙ໰ɿ ਪ࿦نଇ͕͋Ε͹ ࿦ཧͱݺΜͰ͍͍͔ʁ ࣦഊྫɿࠩผ༻ޠʮϘογΣʯ ʮυΠπਓʯ͸ʮ໺൮ਓʯͱ͸ݴ͑ͳ ͍͸ͣɻ ͔͠͠ʮϘογΣʯΛڬΉͱɺ ఆ͚͔ٛͩΒಋ͚ͳ͍͸ͣͷҙຯ͕ ͬͦ͜Γੜͯ͡͠·͏ɻ υΠπਓ͸υΠπਓͰ͋Δ υΠπਓ͸ϘογΣͰ͋Δ υΠπਓ͸໺൮ਓͰ͋Δ ʷ ޠʮϘογΣʯ ͷಋೖ ޠʮϘογΣʯ ͷআڈ Պֶ఩ֶՊֶ࢙ (ԋश) ࿦ཧֶʢલظʣ ୲౰ɿ໼ా෦ढ़հ 22
23. 2.12 Bocheͷྫ—ࣗવԋ៷ελΠϧ Boche ͷਪ࿦໦ υΠπਓ (x) Boche(x) Boche-I ໺൮ਓ (x) ໰୊ Boche-I ͱ Boche-E Λ߹੒͢Δͱ ʮυΠπਓ → ໺൮ਓʯ͕ ূ໌Ͱ͖ͯ͠·͏ ௐ࿨ͨ͠نଇͱͷൺֱʢ∧ʣ A B A ∧ B ∧I A ˠ ಋೖͰೖΕͨ΋ͷ͚ͩΛऔΓग़͢ɻ ҙຯ͕૿͑ͳ͍ɻௐ࿨͍ͯ͠Δɻ Boche ͸ಋೖͰಘͨҎ্ͷ΋ͷΛ আڈͰऔΓग़͍ͯ͠Δ ʹෆௐ࿨ʢinharmoniousʣ Պֶ఩ֶՊֶ࢙ (ԋश) ࿦ཧֶʢલظʣ ୲౰ɿ໼ా෦ढ़հ 23
24. 2.13 Bocheͷྫ͕ࣔ͢͜ͱ ͜ͷޠΛಋೖ͢Δͱطଘͷޠ͚ͩͰ͸Ҿ͖ग़ͤͳ͔ͬͨ ਪ࿦͕։௨͢Δʹอकత֦ுͷࣦഊ ޠͷ௥Ճ͕ෆਖ਼ͳਪ࿦ܦ࿏Λ։͘ ֎քΛௐ΂Δલʹ൷൑Ͱ͖ΔʹنଇϨϕϧͷҙຯ൷൑ ·ͱΊ ҙຯͷྑ͠ѱ͠͸ɺ֎քর߹ΑΓઌʹɺਪ࿦نଇͷߏ଄͔Β໰͑Δ Պֶ఩ֶՊֶ࢙ (ԋश) ࿦ཧֶʢલظʣ ୲౰ɿ໼ా෦ढ़հ 24
25. 2.14 LLMʹBocheߏ଄ΛݟΔ LLM ͷ҉໧ͷਪ࿦نଇ ಋೖنଇ X ʹ͍ͭͯͷจ຺ύλʔϯ͕͋Δ ⇒ʮX ʹ͍ͭͯͷճ౴ʯͱͯ͠ѻ͏ আڈنଇ ʮX ʹ͍ͭͯͷճ౴ʯͱͯ͠ѻ͏ ⇒ X ʹؔ͢Δ۩ମతࣄ࣮ ʢஶऀɾ೔෇ɾ਺஋ʣΛड़΂Δ ʮͦΕΒ͍͠จ຺ύλʔϯ͕͋Δʯ͜ͱ͸ ʮ۩ମతࣄ࣮Λਖ਼֬ʹओுͰ͖Δʯ͜ͱΛਖ਼౰Խ͠ͳ͍ ͜Ε͸ௐ࿨͍ͯ͠ͳ͍ Պֶ఩ֶՊֶ࢙ (ԋश) ࿦ཧֶʢલظʣ ୲౰ɿ໼ా෦ढ़հ 25
26. 2.15 LLMͷෆௐ࿨ ʮͦΕΒ͍͠จ຺͕͋Δʯ͜ͱ͸ ʮ۩ମతࣄ࣮Λਖ਼֬ʹओுͰ͖Δʯ͜ͱΛਖ਼౰Խ͠ͳ͍ ʹ΋͔͔ΘΒͣඈ༂͕ى͜Δ ʮจ຺͕͋Δ → ࣄ࣮͕੒ཱ͢Δʯͱ͍͏ ෆਖ਼ͳਪ࿦ܦ࿏Λ։௨ͤ͞Δʹอकత֦ுͷࣦഊ ূ໌࿦త਍அ ϋϧγωʔγϣϯͷҰྨܕ͸ɺ֎քর߹ͳ͠ʹূ໌࿦తʹ਍அͰ͖Δ Պֶ఩ֶՊֶ࢙ (ԋश) ࿦ཧֶʢલظʣ ୲౰ɿ໼ా෦ढ़հ 26
27. 2.16 LLM͸ʮॴ༩ͳ͖ݴޠ࢖༻ऀʯ Sellarsʮॴ༩ͷਆ࿩ʯ ʢ1956ʣ ஌ࣝͷجૅͱͯ֓͠೦తഔհͳ͠ͷʮ௚઀༩݅ʯΛ ૝ఆ͢Δ͜ͱ΁ͷ൷൑ • LLM ʹ͸ͳ͍ ஌֮ɾ਎ମɾࢦࣔߦҝ ֎քͱͷ௚઀తͳҼՌ઀ଓ • LLM ʹ͋Δ΋ͷ จ຺͔Βੜ੒΁ࢸΔ ύλʔϯͷ໢ͷ໨ͷΈ ˠ Dummett ྲྀ൓࣮ࡏ࿦ͷࢥߟ࣮ݧ͕࣮૷͞Εͯ͠·ͬͨঢ়ଶʁ Պֶ఩ֶՊֶ࢙ (ԋश) ࿦ཧֶʢલظʣ ୲౰ɿ໼ా෦ढ़հ 27
28. 2.17 LLM͕൓࣮ࡏ࿦ʹ͔͚Δೋͭͷѹྗ ࢧ࣋ͷѹྗ LLM ͸֎քࢀরͳ͠ʹ͔ͳΓͷҙຯ తৼΔ෣͍Λ͢Δ ˠ ਪ࿦త໾ׂ͚ͩͰ͔ͳΓͷ͜ͱ ͕Ͱ͖Δ ൓ূͷѹྗ LLM ͷϋϧγωʔγϣϯ͸ਪ࿦త໾ ׂ͚ͩͰ͸Կ͔͕଍Γͳ͍͜ͱΛࣔ ͔͢΋͠Εͳ͍ ͜ͷۓு͕໰͍ΛཱͯΔɿ ʮௐ࿨ͨ͠ਪ࿦త໾ׂʯ͸ҙຯʹे෼͔ʁ ͦΕͱ΋֎քͱͷ઀஍ʢgroundingʣ͕ෆՄ͔ܽʁ ˠ ͲͪΒͷ౴͕͑ਖ਼͍͔͠͸ɺ·ͩΘ͔͍ͬͯͳ͍ Պֶ఩ֶՊֶ࢙ (ԋश) ࿦ཧֶʢલظʣ ୲౰ɿ໼ా෦ढ़հ 28
29. 2.18 ਍அͷ࣮ફతؚҙ ैདྷͷ਍அʢ֎քর߹ܕʣ ࣄ࣮σʔλϕʔεͱͷর߹ʹΑΔޡ Γݕग़ ূ໌࿦త਍அʢ಺෦੔߹ܕʣ ࠜڌͱؼ݁ͷௐ࿨Λݴޠߏ଄͔Β෼ ੳ͢Δ • ޙऀ͕༗ޮͳέʔε র߹͢΂͖σʔλ͕ଘࡏ͠ͳ͍ྖҬ ৽͍͠ࣄ࣮ɾϓϥΠϕʔτͳ஌ࣝɾະ੔ཧͷ৘ใ ࣮ફతఏҊ ֎քর߹ͷલʹɺਪ࿦తߏ଄ͷ੔߹ੑνΣοΫΛઌߦͤ͞Δͱ͍͏ೋ૚ߏ ଄ͷ਍அ Պֶ఩ֶՊֶ࢙ (ԋश) ࿦ཧֶʢલظʣ ୲౰ɿ໼ా෦ढ़հ 29
30. 2.19 ·ͱΊ—࣮ݧ৔ͱͯ͠ͷLLM LLM ͷग़ݱʹΑͬͯɺҙຯ࿦ͷݹయత໰͍͕ ಈ͘γεςϜͱͯ͠۩ݱԽͨ͠ ʮ֎քରԠͳ͠ʹҙຯ͸੒ཱ͢Δ͔ʯ —Dummett ͕఩ֶత໰͍ͱཱͯͯͨ͜͠ͱ͕ ΤϯδχΞϦϯά্ͷ໰୊ͱͯ͠࠶ొ৔͍ͯ͠Δ ϋϧγωʔγϣϯ͸ʮӕʯͰ΋ʮόάʯͰ΋ͳ͘ɺ ෆௐ࿨ͳਪ࿦نଇͷ࢈෺ͱͯ͠ཧղͰ͖Δ ˠ ͔͜͜Βɺਪ࿦نଇͦͷ΋ͷΛֶͿतۀ΁ਐΉ Պֶ఩ֶՊֶ࢙ (ԋश) ࿦ཧֶʢલظʣ ୲౰ɿ໼ా෦ढ़հ 30
31. 2.20 ͜ͷतۀͰԿΛֶͿ͔ ֩৺తͳ໰͍ ྑ͍ਪ࿦نଇͱѱ͍ਪ࿦نଇΛͲ͏ݟ෼͚Δ͔ʁ ͦͷͨΊʹࣗવԋ៷ΛֶͿɿ • ࿦ཧ݁߹ࢠ͝ͱʹಋೖنଇͱআڈنଇΛ༩͑Δ • ূ໌ΛҰาͣͭ໌ࣔͰ͖Δ • લظ ໋୊࿦ཧΛத৺ʹࣗવԋ៷ͷجૅ ࿦ཧ݁߹ࢠͷҙຯɺௐ࿨ɺਖ਼نԽɺ proof net ͱ͍͏جૅ֓೦ΛֶͿ • ޙظ ड़ޠ࿦ཧɺମܥ֦ுʢ௚؍ओٛ࿦ ཧɺݹయ࿦ཧʣΛߟ͑Δ ·ͣ͸खΛಈ͔ͯ͠ূ໌Λॻ͚ΔΑ͏ʹͳΔ͜ͱ Պֶ఩ֶՊֶ࢙ (ԋश) ࿦ཧֶʢલظʣ ୲౰ɿ໼ా෦ढ़հ 31
32. 3. Ωʔϫʔυ ূ໌࿦తҙຯ࿦ ಋೖنଇ / আڈنଇ ௐ࿨ʢharmonyʣ อकత֦ு ܗࣜతମܥ ϝλϨϕϧ / ର৅Ϩϕϧ ౷ࣙ࿦ / ҙຯ࿦ ࣗવԋ៷ / ਖ਼نԽ ˞ ͜ΕΒͷޠ͸ࠓޙͷतۀͰ܁Γฦ͠ొ৔͢Δɻ ͍·͸งғؾ͚͔ͩͭΊΕ͹े෼ɻ Պֶ఩ֶՊֶ࢙ (ԋश) ࿦ཧֶʢલظʣ ୲౰ɿ໼ా෦ढ़հ 32
33. तۀܭը લظʢ4ʙ7 ݄ʣ ୈ 1ʙ3 ճɿಋೖɾܗࣜݴޠɾࣗવԋ៷ͷجຊ ୈ 4ʙ7 ճɿ∧ɾ∨ɾ⇒ ͷಋೖنଇͱআڈنଇ ୈ 8ʙ10 ճɿ¬ɾ࠷খ໋୊࿦ཧͷ੔ཧͱԋश ୈ 11ʙ14 ճɿূ໌࿦తҙຯ࿦ͷجૅʢਐ౓ʹԠͯ͡ʣ ୈ 15 ճɿલظ·ͱΊͱޙظ΁ͷڮ౉͠ ޙظʢ10ʙ1 ݄ʣ ௚؍ओٛ࿦ཧɾݹయ࿦ཧɾड़ޠ࿦ཧ ׬શੑఆཧɾλϧεΩϞσϧ ʮͰɺ࿦ཧͬͯ݁ہԿͳͷʁʯ Պֶ఩ֶՊֶ࢙ (ԋश) ࿦ཧֶʢલظʣ ୲౰ɿ໼ా෦ढ़հ 33
34. ߟ͑ͯΈΑ͏ Q1. ΋͠ LLM ͷਪ࿦نଇ͕׬શʹௐ࿨͍ͯͨ͠ͱͨ͠Βɺ ͦΕ͸ʮཧղ͍ͯ͠Δʯͱݴ͑Δ͔ʁ Q2. ௐ࿨ͨ͠ਪ࿦త໾ׂ͸ҙຯʹे෼͔ʁ ͦΕͱ΋֎ք΁ͷ઀஍ʢgroundingʣ͕ෆՄ͔ܽʁ Q3. LLM ʹͱͬͯʮՄೳੑͷۭؒʯͱ͸ ԿʹΑͬͯ༩͑ΒΕ͍ͯΔͷ͔ʁ Պֶ఩ֶՊֶ࢙ (ԋश) ࿦ཧֶʢલظʣ ୲౰ɿ໼ా෦ढ़հ 34