プログラミング言語のモデル

YouTube再生リスト プログラミング言語のモデル（プログラミング言語の基礎理論 第１章） にまとめられたビデオ講義．

教科書「大堀 淳、新装版 プログラミング言語の基礎理論、共立出版」 の第１章の内容を学ぶために講義ビデオです．

学習の準備として，

1. プログラミング言語のモデル
2. 数学的準備：集合の扱い
3. 言語の文法構造の定義
4. 型なしラムダ計算

を学びます．