任意の体で考えるには、やはり接線は微分と独立に定義したほうがいい。