リーマン多様体上の計量構造と幾何学的タイプの分類