その両方を使う数論幾何が盛んです