Kyoto University, Research Institute for Mathematical Sciences