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