[logic-ml] homotopy type theory

[logic at math.tsukuba.ac.jp]

私が筑波大学数理物質研究科数学専攻で
来年度講義する講義をご案内しておきます。

にしむら
筑波大学
数学

追伸：オマケです。手持ち無沙汰な折にでも
どうぞ。

https://www.youtube.com/watch?v=K_xTet06SUo

-------------- next part --------------
A non-text attachment was scrubbed...
Name: Mathematics ????IIIA.pdf
Type: application/pdf
Size: 117160 bytes
Desc: not available
URL: <http://www.fos.kuis.kyoto-u.ac.jp/pipermail/logic-ml/attachments/20160323/bb4bc954/attachment-0002.pdf>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: Mathematics ????IIIB.pdf
Type: application/pdf
Size: 117253 bytes
Desc: not available
URL: <http://www.fos.kuis.kyoto-u.ac.jp/pipermail/logic-ml/attachments/20160323/bb4bc954/attachment-0003.pdf>