generated at
2/18/2025, 1:21:36 PM
ラムダ計算の表示的意味論
p.54の一番上の図が定義がそれ
