完結リーマン多様体といくつかのベクトル場 | Synapse