理論計算機科学と圏論ワークショップ

CSCAT 2019