4,036 followers
@shinji_kono すみません、文脈がよく分かってないんですがこの論文の主張と関係ある話でしょうか？ https://t.co/TDwSJDb3fK
197 followers
RT @esumii: 学部4年で研究室配属されて今でいうTAPLに相当する内容（FJを除く）をサーベイしたときに読んだ思い出。
4,038 followers
RT @metaphusika: 「型理論では型が単なる集合として扱われることはまずありません」の大きな理由の一つは，多相型が古典集合論的解釈だと矛盾を引き起こすからです。 https://t.co/zPVcbwlQqK 一方で，直観主義的集合論（トポス）ならばこの矛盾は回避で…
1,790 followers
RT @metaphusika: 「型理論では型が単なる集合として扱われることはまずありません」の大きな理由の一つは，多相型が古典集合論的解釈だと矛盾を引き起こすからです。 https://t.co/zPVcbwlQqK 一方で，直観主義的集合論（トポス）ならばこの矛盾は回避で…