YouTube再生リスト 型付ラムダ計算の拡張 （プログラミング言語の基礎理論シリーズ （第３章））
にまとめられたビデオ講義．
教科書「大堀 淳、新装版 プログラミング言語の基礎理論、共立出版」 の第３章の内容を学び理解するやめの講義ビデオ（教科書の補助教材）です．
単純な型付ラムダ計算を定義し，その諸性質を学びます． 順次配信中．
YouTube再生リスト 型付ラムダ計算の拡張 （プログラミング言語の基礎理論シリーズ （第３章））
にまとめられたビデオ講義．
教科書「大堀 淳、新装版 プログラミング言語の基礎理論、共立出版」 の第３章の内容を学び理解するやめの講義ビデオ（教科書の補助教材）です．
単純な型付ラムダ計算を定義し，その諸性質を学びます． 順次配信中．