結果 : normalized wave function of a harmonic oscillator