代数幾何ってやっぱハーツホーンやらないといかんのかな?