これからの数学の中心となる理論について語ろうか