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