[logic-ml] 研究集会「モデル理論夏の勉強会 2012」