>>16
たとえば有限体上の代数多様体のケーラー微分の切断に対して積分ってどう定義するの