グリとグラと微分幾何学