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