なんで微分幾何やるのに必要なの?