>>142
>>142
誤差関数f(x)=1/√2π∫[0,x]exp(-t^2/2)dtで
F(t)=∫exp(-t^2/2)dtとおくと
F(0)=∫1dt=t+C
d/dx(F(0))=0
d/dx(erf(x))=1/√2π(d/dx(F(x))-d/dx(F(0)))=1/√2π(exp(-x^2/2))
ということですね。ありがとうございました。