リーマン計量の定義は知ってるの?