>>355
実数の範囲では定義されない。
複素数の範囲では、(-a)^b = (e^(iπ)*a)^b = e^(iπb)*a^b 。
実際は右辺が多価関数になるとか、ちょっと複雑な事情は入るけど。