[logic-ml] [CFP] 情報処理学会第87回プログラミング研究会