-------- 元のメッセージ -------- 件名: homotopy type theory 日付: 2016-10-29 01:21 発信者: logic <logic at math.tsukuba.ac.jp> 宛先: logic-ml at fos.kuis.kyoto-u.ac.jp https://arxiv.org/abs/1606.06540 上記の拙論文をご案内しておきます。 にしむら 筑波大学 数学 追伸：オマケです。手持無沙汰な折にでもどうぞ。 https://www.youtube.com/watch?v=nBRuhvsKml8