微分の定義ってlim[x→0]{(f(x)-f(0))/(x-0)}=f`(0)じゃないんですか?