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