【数学】中部大学教授による31年前の数理モデルをブラジルの数学者らが証明