よく考えると 0^0 は極限のとり方で値が変わる：
lim[x→+0] x^x = 1
lim[x→+0] x^(-1/log x) = 1/e
lim[x→+0] x^(1/√(-log x)) = 0
ので、0^0=1 は論理的に納得するものではなく、
便宜上そうしたほうが都合がよいものだと納得するのがいいのかな。