リーマン多様体
As a sub-Riemannian manifold.