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