ディラックのデルタ関数
ここでformula_10はディラックのデルタ関数である。