abs(x)には導関数があるか?