[logic-ml] 数学基礎論若手の会2012・追加募集(11月23−25日・奈良)