現在ラムダ計算とかを勉強中です。ついでにpbsk氏にプログラム意味論を教えると言うことになっているので勉強がてら資料作成しています。現状では、λ 式の定義、λ 式の等式関係、不動点コンビネータ、リダクション、データとその演算の表現、λ 定義可能と計…