京都大学数理解析研究所教授。