[logic-ml] 第二十三回ALGI(代数,論理,幾何と情報科学研究集会)の講演募集