Re:>>499 cos(at)=(exp(iat)+exp(-iat))/2だぞ。