[logic-ml] 超準解析と数学基礎論のシンポジウム