>>771
「0^y を定義するため」では不十分ですか？
　x^y = exp(log(x)*y)
では、0^y は計算出来ない。そのために
　0^y = lim[x→0]exp(log(x)*y) = Σ[k=0,∞]C(y,k)x^k
と考えるのでは？

　0^y = 0
という決め打ちとかでない、これに優る定義の方法が有りますか？
それとも 0^y という値は使わない、と言って逃げますか？