y''(t) + sin(y(t)) = 0を解く