>>772
i^i = exp{log(i^i)} = exp{i * log(i)} はlogが他価関数だから成り立つ
{e^(iθ)}^i = e^(-θ) はθが多価でないから成り立たない
θ=π/2+2kπ なら{ e^(iθ)}^i=e^(-(π/2+2kπ+2nπ)) (n∈Z) とでもすべき