ラムダ計算の表示的意味論
TaPL.icon
p.54の一番上の図が定義がそれ