作用素のK理論について