>>164
普通は級数で三角函数を定義する。杉浦でもそうやってる。