静的に近似微分関数が与えられてる場合もあるからそういうのかな？