数理解析研究所便り 第115号 平成27年8月