ディラックのデルタ関数
More generally, using the Dirac delta function formula_3: