[logic-ml] 組合せ論・モデル理論セミナー(2018.1.15)