ラグランジュ形式はフィンスラー幾何によって記述できる
普通の本には書いてないけど経路積分も正当化されそうだ