ラムダ計算とかβ簡約とか、やけにカッコよく見える