日本の数論幾何はどうなってんの?