グレブナー基底で面倒な計算を計算機に丸投げできるのを夢見て可換環論代数幾何勉強するのお勧め