(2)の部分も次のように訂正。

y:実数
= (1+x)^y
= Σ[k=0,∞]C(y,k)x^k　(二項定理)
= Σ[k,l≧0](-1)^{k+l}s(k,l)x^ky^l　…(2)’
一方
exp(log(1+x)y) = {exp(log(1+x))}^y = (1+x)^y　…(2)''

(1)は形式的な展開
(2)',(2)''は収束も考慮した展開(|x|<1)、yは実数で考えます。
(1),(2)',(2)''の一致から展開係数の一致を、
これから>>340の下4行の等号を言ったつもりでしたが、
うまくいってない気がしてきました。