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