>>292
つまりライプニッツの定理は山と谷がいくつもあるような滑らかな曲線の
導関数を求めるのに使うと?