並行しないでベクトル解析→多様体でいいんじゃない?