>>131,137,141,144

>>131 の両辺に e^(t^2/2) を掛けて
　{y(t)e^(t^2/2)} ' = e^(t^2/2),
これをtで積分する(0〜t)と >>132.
　y(t) = exp(-t^2/2) erf(t).