>>30
L^2空間の正規直交基底の一般化のやつ?