Hilbert空間上の作用素論4：スペクトル測度とBorel汎関数計算