Riemannian manifold
リーマン多様体上の微分可能な曲線formula_1が、