Dirac delta function
ディラックのデルタ関数 δと区間 formula_3 の定義関数 formula_4 に対し