∫[-∞→∞]f(x)exp(iax)dxの公式はしってるよねぇ?