ディラックのデルタ関数
formula_7 is the Dirac delta function