結果 : dirac delta function formal definition