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

2024-06-02 · 50分

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

この回の流れ

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

【目次】

【参考文献】

◯プログラミング言語の形式的意味論入門

◯型理論

◯新装版プログラミング言語の基礎理論

◯論理学をつくる

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

◯形式意味論入門

このページの情報は「ゆるコンピュータ科学ラジオ」が公開している RSS から取得したものです。サマリは概要欄の文面をもとに機械的に整えたもので、番組の公式要約ではありません。