数理解析研究所便り 第120号 平成30年2月