コミュニティの紹介

2018logic_summer_school

2018年の基礎論サマースクールの資料検討会