s:=x+y,t:=x-y とでも置いて∫[0,+∞]exp(-x^2)dx=√π/2 を使う