Research Institute for Mathematical Sciences Kyoto University (en)