xsin(((pix^2)/2))の積分