【大いなる罠】プログラミング言語の意味論を勉強したら7時間がムダになった#127

プログラミング言語の意味論の勉強をしたら7時間がムダになりました。「自作プログラミング言語に憧れる」「意味論なのに意味論じゃなかった」「自然言語は本当に出来が悪い？」など、意味論について勉強した成果を話しました。

【目次】
0:00 引き続き温泉旅館からお届け
4:05 自作プログラミング言語に憧れる
10:00 7時間40分がムダになった真相
14:43 山に登り、意味論の景色を見た
26:28 言語学が定義する意味はどこまで？
34:56 自然言語は本当に出来が悪いのか？
47:33 大学生は勉強しよう

【参考文献】
◯プログラミング言語の形式的意味論
amzn.to/3R4TIiQ

◯型理論
amzn.to/3KugmNT

◯新装版 プログラミング言語の基礎理論
amzn.to/3wYdhTj

◯論理学をつくる
amzn.to/4bHFlJB

◯チューリングを読む コンピュータサイエンスの金字塔を楽しもう
amzn.to/4bx0arf

◯形式意味論入門
amzn.to/4c129E8

【サポーターコミュニティへの加入はこちらから！】
yurugengo.com/support

【親チャンネル：ゆる言語学ラジオ】
   / @yurugengo  

【実店舗プロジェクト：ゆる学徒カフェ】
   / @yurugakuto  

【おたよりフォーム】
forms.gle/BLEZpLcdEPmoZTH4A
※皆様からの楽しいおたよりをお待ちしています！

【お仕事依頼はこちら！】
info@pedantic.jp

【堀元見プロフィール】
慶應義塾大学理工学部卒。専門は情報工学。WEBにコンテンツを作り散らかすことで生計を立てている。現在の主な収入源は「アカデミックに人の悪口を書くnote有料マガジン」。
Twitter→twitter.com/kenhori2
noteマガジン→note.com/kenhori2/m/m125fc4524aca
個人YouTube→   / @kenhorimoto  

【水野太貴プロフィール】
名古屋大学文学部卒。専門は言語学。
某大手出版社で編集者として勤務。言語学の知識が本業に活きてるかと思いきや、そうでもない。
Twitter→twitter.com/yuru_mizuno

【姉妹チャンネル】
◯ゆる音楽学ラジオ(   / @yuruongaku  )
◯ゆる民俗学ラジオ (   / @yuruminzoku  )
◯ゆる天文学ラジオ (   / @yurutenmon  )
◯ゆる書道学ラジオ (   / @kaku2shika2  )
◯ゆる生態学ラジオ (   / @yuruseitai  )
◯ゆる哲学ラジオ (   / @yurutetsugaku   )

#意味論 #ゆるコンピュータ科学ラジオ_意味論発表会