>>318
K理論ってアブストラクトナンセンスになりかねないような気がするんだけどどうかな?