技術書典2参加情報

サークル名
Tsukuba Coq Users' Group
配置
お-16
頒布物