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

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

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

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

◯型理論
https://amzn.to/3KugmNT

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

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

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

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

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

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

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

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

【お仕事依頼はこちら！】
[email protected]

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

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

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

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