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