ディラックのデルタ関数
The distributional derivative of the Heaviside step function is the Dirac delta function: