[logic-ml] 第三十一回 ALGI(代数・論理・幾何と情報科学研究集会)開催のお知らせ