[logic-ml] 理論計算機科学と圏論ワークショップ(CSCAT 2019)3/9-10