x∈[0,2π) → y=exp(i*x)∈S^1⊂C とか