>>631
アティヤなどの古典的なK理論はグロタンの圏内?圏外?