Riemannian manifold
時空モデルとしてのリーマン多様体に求められる条件.