数論を高次元化するのが数論幾何