
Sign up to save your podcasts
Or
温泉旅館で意味論の勉強をしたら、「意味は関数」という結論にたどり着きました。
【補足】
・動画では「述語が個体を取って真理値を返す」と言っていますが、正確には述語は個体を取って命題を返すにとどまり、真理値を返すのは解釈関数です。
・『神話と意味』について
自信がないままに話したこの説明はやっぱり少し違っているっぽく、レヴィ=ストロースのアプローチを言語学に応用するというよりは、音韻論などで見られた構造主義的な手法を使って神話を分析しており、むしろ言語学の手法を文化人類学に持ち込んだという話でした。
【目次】
0:00 互いの分野から「意味」を掘る
5:51 研究者たちに無視されてきた「意味」
10:05 手段がないのならば借りてくればいい
13:50 「水野さんはケチ」は狭義の「意味」で関数
20:38 文を関数的に捉えたら分かりあえそう?
26:12 型理論は電子レンジ
30:21 文は関数的に扱えるのか?
41:19 プログラミング言語からみた意味論
44:04 意味論をもっとガッツリ教わりたい方必見
【参考文献のリンク】
◯言語の科学4 意味
https://amzn.to/3yIgV4j
https://amzn.to/4c129E8
◯型理論
https://amzn.to/3KugmNT
◯プログラミング言語の形式的意味論
https://amzn.to/3R4TIiQ
◯教養悪口本
https://amzn.to/453jkm4
【サポーターコミュニティへの加入はこちらから!】
https://yurugengo.com/support
【我々の初の著書『言語沼』はこちら!】
https://www.valuebooks.jp/bp/VS0058755147
【実店舗プロジェクト:ゆる学徒カフェ】
https://www.youtube.com/@yurugakuto
【姉妹チャンネル:ゆるコンピュータ科学ラジオ】
https://www.youtube.com/@yurucom
【Twitterあるよ!】
ゆる言語学ラジオのTwitterアカウントがあるので、是非フォローしてください!面白語源ネタなどが流れてきてあなたの知識欲が満たされます。
→https://twitter.com/yuru_gengo
【おたよりフォーム】
https://forms.gle/mTGM7A9QNqgjZMgN7
※皆様からの楽しいおたよりをお待ちしています!
【お仕事依頼はこちら!】
Twitter→https://twitter.com/kenhori2
noteマガジン→https://note.com/kenhori2/m/m125fc4524aca
個人YouTube→https://www.youtube.com/@kenHorimoto
【水野太貴プロフィール】
Twitter→https://twitter.com/yuru_mizuno
・フリーBGM・音楽素材MusMus様 https://musmus.main.jp
・OtoLogic様 https://otologic.jp/
4.8
3535 ratings
温泉旅館で意味論の勉強をしたら、「意味は関数」という結論にたどり着きました。
【補足】
・動画では「述語が個体を取って真理値を返す」と言っていますが、正確には述語は個体を取って命題を返すにとどまり、真理値を返すのは解釈関数です。
・『神話と意味』について
自信がないままに話したこの説明はやっぱり少し違っているっぽく、レヴィ=ストロースのアプローチを言語学に応用するというよりは、音韻論などで見られた構造主義的な手法を使って神話を分析しており、むしろ言語学の手法を文化人類学に持ち込んだという話でした。
【目次】
0:00 互いの分野から「意味」を掘る
5:51 研究者たちに無視されてきた「意味」
10:05 手段がないのならば借りてくればいい
13:50 「水野さんはケチ」は狭義の「意味」で関数
20:38 文を関数的に捉えたら分かりあえそう?
26:12 型理論は電子レンジ
30:21 文は関数的に扱えるのか?
41:19 プログラミング言語からみた意味論
44:04 意味論をもっとガッツリ教わりたい方必見
【参考文献のリンク】
◯言語の科学4 意味
https://amzn.to/3yIgV4j
https://amzn.to/4c129E8
◯型理論
https://amzn.to/3KugmNT
◯プログラミング言語の形式的意味論
https://amzn.to/3R4TIiQ
◯教養悪口本
https://amzn.to/453jkm4
【サポーターコミュニティへの加入はこちらから!】
https://yurugengo.com/support
【我々の初の著書『言語沼』はこちら!】
https://www.valuebooks.jp/bp/VS0058755147
【実店舗プロジェクト:ゆる学徒カフェ】
https://www.youtube.com/@yurugakuto
【姉妹チャンネル:ゆるコンピュータ科学ラジオ】
https://www.youtube.com/@yurucom
【Twitterあるよ!】
ゆる言語学ラジオのTwitterアカウントがあるので、是非フォローしてください!面白語源ネタなどが流れてきてあなたの知識欲が満たされます。
→https://twitter.com/yuru_gengo
【おたよりフォーム】
https://forms.gle/mTGM7A9QNqgjZMgN7
※皆様からの楽しいおたよりをお待ちしています!
【お仕事依頼はこちら!】
Twitter→https://twitter.com/kenhori2
noteマガジン→https://note.com/kenhori2/m/m125fc4524aca
個人YouTube→https://www.youtube.com/@kenHorimoto
【水野太貴プロフィール】
Twitter→https://twitter.com/yuru_mizuno
・フリーBGM・音楽素材MusMus様 https://musmus.main.jp
・OtoLogic様 https://otologic.jp/
215 Listeners
6 Listeners
10 Listeners
4 Listeners
10 Listeners
4 Listeners
27 Listeners
15 Listeners
3 Listeners
1 Listeners
0 Listeners
4 Listeners
4 Listeners
4 Listeners
0 Listeners