形式微分
形式微分とは、式の係数を操作して導関数を求める方法のことです。
形式微分では極限を使わずに微分を行えます。
ただし、すべての微分に形式微分が存在する訳ではありません。