2019年1月29日　「楽しい数学」 第四夜

「同じ」を考える — 「型の理論」入門

概要：https://mathnight4.peatix.com/view
資料：http://bit.ly/2QVBqk4