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