∫δ(x-a)f(x)dx=f(a) というやつです