結果 : derivative of logarithmic function definition