やまあそ山形 足立区雨雲レーダー はじめての数理論理学