ライプニッツ記法は変数変換がなんか分数っぽく直感的にできる
ある意味では微分形式として正当化できる。