ああそうか方向微分を曲線を使って定義する流儀もあるか
多様体だとむしろそっちが普通だしな