第12
山陰 数学と基礎論研究集会(2027年)