∫exp(-(y-x)^2)dy把y-x变成变量t，∫exp(-t^2)dt，积分限变成(-无穷-x,+无穷-x)，还是(-无穷,+无穷)从(-无穷,+无穷)，∫exp(-t^2)dt=根号派，这是知道的吧？
以为哈哈哈哈
