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