オイラー法
problem, the symplectic Euler method and implicit midpoint rule agree