関数f(x)がx=aで微分可能であることの定義を書け(横浜市立大)