>>698
関数が十分滑らかなら
F'(t)=(一方のtを定数と見なして微分)+(他方のtを定数と見なして微分)
になる……と思う