エルミート作用素（観測量・Observable）のスペクトル分解 === **誰でも編集歓迎** 『量子プログラミングの基礎』p.28より一部変更 ヒルベルト空間$\mathcal{H}$上の