「型推論」特別講義 第4回 (プログラミング言語の基礎理論シリーズ）今回の内容は「自由に生成された集合と再帰的関数」、「暗黙に型付けられたラムダ計算」です。 教科書：大堀 淳著、新装版 プログラミング言語の基礎理論、共立出版 （ https://www.kyoritsu-pub.co.jp/book/b10003190.html ）の 第１章 プログラミング言語のモデル （以下の部分） 1.3.2 言語に対する再帰的な関数定義と文法の曖昧さ（一部） 1.4.1 型無しラムダ計算の定義 第４章 型推論システム（全般） 4.1 暗黙に型付けられたラムダ計算 4.1.1 λの定義 の内容をカバーします。 講義の狙い等は、詳しくは再生リスト「型推論」特別講義 (プログラミング言語 の基礎理論シリーズ） https://www.youtube.com/playlist?list=PLp1bKoc7XHdTJJMj7SLn8rzhQ50lvJbAA の説明をご覧くださ
