>>252
定義ってこれだっけ?
∫[-∞から∞]e^((-t^2)/2)e^(-iωt)dt