やっと微分幾何学で微分できるようになって
測度積分で積分できるようになった