Скачать с ютуб 意味は、真理値を返す関数だった。【意味論勉強会】 в хорошем качестве

意味は、真理値を返す関数だった。【意味論勉強会】

温泉旅館で意味論の勉強をしたら、「意味は関数」という結論にたどり着きました。 【目次】 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/VS005875... 【実店舗プロジェクト：ゆる学徒カフェ】    / @yurugakuto   【姉妹チャンネル：ゆるコンピュータ科学ラジオ】    / @yurucom   【Twitterあるよ！】 ゆる言語学ラジオのTwitterアカウントがあるので、是非フォローしてください！面白語源ネタなどが流れてきてあなたの知識欲が満たされます。 →  / yuru_gengo   【おたよりフォーム】 https://forms.gle/mTGM7A9QNqgjZMgN7 ※皆様からの楽しいおたよりをお待ちしています！ 【お仕事依頼はこちら！】 [email protected] 【堀元見プロフィール】 慶應義塾大学理工学部卒。専攻は情報工学。理屈っぽいコンテンツを作り散らかすことで生計を立てている。 Twitter→  / kenhori2   noteマガジン→https://note.com/kenhori2/m/m125fc452... 個人YouTube→   / @kenhorimoto   【水野太貴プロフィール】 名古屋大学文学部卒。専攻は言語学。出版社で雑誌編集者として勤務。言語学の知識が本業に活きているかと思いきや、そうでもない。 Twitter→  / yuru_mizuno   【BGM提供】 ・フリーBGM・音楽素材MusMus様 https://musmus.main.jp ・OtoLogic様 https://otologic.jp/ #意味論 #ゆる言語学ラジオ_意味論勉強会