ホーム › 【大いなる罠】プログラミング言語の意味論を勉強したら7時間がムダになった#127
ゆるラジオindex 編集部より
7時間40分かけた勉強が、まるごと無駄になりました。
プログラミング言語の意味論を独学した報告回です。意味論という名前なのに意味の話ではなかった、というところから話が始まります。
無駄になった時間の内訳を聞くほど、なぜか勉強したくなります。
この回の内容
- 0:00引き続き温泉旅館からお届け
- 4:05自作プログラミング言語に憧れる
- 10:007時間40分がムダになった真相
- 14:43山に登り、意味論の景色を見た
- 26:28言語学が定義する意味はどこまで？
- 34:56自然言語は本当に出来が悪いのか？
- 47:33大学生は勉強しよう
この回に出てくる言葉
番組でくり返し語られる言葉です。押すと、その語が話題になった回が並びます。
この回で紹介された本・参考文献
- プログラミング言語の形式的意味論
- 型理論
- 新装版 プログラミング言語の基礎理論
- 論理学をつくる
- チューリングを読む コンピュータサイエンスの金字塔を楽しもう
- 形式意味論入門