残念だな
数理解析研究所が終わるとはな