3Aのプログラム言語論の試験勉強のために一応最後まで読んだ。ラムダ計算が何なのかがここでついに分かった気がする。