ラムダ抽象と定積分を混ぜた計算をしていたら、次の公式が欲しくなったのです。見た目の上では、「ラムダ束縛と積分記号を交換してもいいよ」という形で覚えやすいんですが、これが何を意味しているかハッキリしない。なんだこれは？ と思って考えたら、思い…