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