廣島文生先生(数理学研究院)