>>980
の被積分関数f(z)を exp[iz]→exp[isz]: s>0としておきます。
f(z)=exp[isz]/(z^2+1)
 この複素関数の特異点は,分母=0の点。z^2+1=0,z=±i。これは1位の極です。
積分経路Γの中に入っている特異点は,z=+i。留数の定理より,
留数:Res[f(z):z=+i]=[(z-i)f(z)] |_{z=+i}=exp[-s]/(2i)
I=2πi・Res[f(z):z=+i]=2πi・exp[-s]/(2i)=π・exp[-s]