sin(t)^2cos(t)を0からpi/2まで積分