計算機科学は結局,可換環の話になるのを知らないの?