[logic-ml] 第4回 山陰 基礎論・解析学研究集会の御案内