数論幾何学なの?