数論幾何学を含む数論だろ?>>413