多変数の微積分のために、わざわざ部分多様体を定義する
初等関数を級数として定義する

センスねえなあ杉浦、って思わないのかw