>>305
べき乗の部分は途中を略して
　(1+x)^y = Σ[k=0,∞]C(y,k)x^k
　0^y = Σ[k=0,∞]C(y,k)(-1)^k
　0^0 = 1
で良いのだから、定義できなくても構いません。