あんまり作用素環論は関係ない気がしてる