抽象的なセッティングで議論していても、最後は結局“具体的な計算”に頼ることはよくあります。具体的な計算には（インフォーマルな）ラムダ式／ラムダ計算が使われることが多いでしょう。具体的な計算をできるだけ楽にするために、ラムダ式の記法を工夫して…