>>480
dx/dt=tsint, dy/dt=tcostd ゆえ (d/dt)(x,y)=(tsint,tcost)から法線ベクトルが(-cost,sint)
というのはよいが、第一項の(sint,cost)が?だなあ