2019年1月29日 楽しい数学 「同じ」を考える — 「型の理論」入門 2019年1月29日 「楽しい数学」 第四夜 「同じ」を考える — 「型の理論」入門 概要:https://mathnight4.peatix.com/view 資料:http://bit.ly/2QVBqk4 FacebooktwitterHatena