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