多様体 → 向き → 境界 → 微分形式 → 外微分 → Stokes の定理
入口
多様体
目標
Stokes の定理
進捗
ルート設計中
曲がった空間を局所座標で扱う
積分の符号を決める構造を入れる
空間の端にあたる部分を見る
積分される量を統一的に表す
微分形式の変化を測る
境界上の積分と内部の外微分の積分を結ぶ