Kyoto University, Research Institute for Mathematical Science