作用素環の数理〈ノイマン・コレクション〉