第10回
山陰 数学と基礎論研究集会(2025年)