>>599
>>597は表記の仕方がよくない．
(79)式は「演算子としての恒等式」であることに注意して，
（77）式のように解釈して

(x-d/dx)[ e^(x^2/2){ e^(-x^2/2)f(x) }^(n) ]
= x e^(x^2/2){ e^(-x^2/2)f(x) }^(n) - d/dx[ e^(x^2/2){ e^(-x^2/2)f(x) }^(n) ]
= x e^(x^2/2){ e^(-x^2/2)f(x) }^(n) - x e^(x^2/2){ e^(-x^2/2)f(x) }^(n) - e^(x^2/2){ e^(-x^2/2)f(x) }^(n+1)
= - e^(x^2/2){ e^(-x^2/2)f(x) }^(n+1)

ただしn階微分を ^(n) で表した．

つまりd^n/dx^n e^{-x^2/2} は
fにe^{-x^2/2}を掛けてからn階微分しろ
という演算子を意味している．