실수위의 미분은 mapping with x^n |-> nx^n-1 

라면 임의의 ring 위에서도 정의가 가능할거같은데