HAHAHA...
ちょっとCSの現状を話したら途端にレスが止まった。
やはり数学者というのはCSに潜在的畏怖を感じているのだろう！
さて高階型理論でもいじってみるか。
そうそうハイパードクトリンで圏論モデルをつくってみるか、