別に接線と微分を別々に定義して,両者の関係を
あとで示す,というやり方も出来るけどな.