>>502
定義域がS^1で閉区間と同相じゃないから、直接は使えない
[0,2π]->S^1->R と経由すればおｋ
この方向で実際に計算するなら>>498みたいになる