>>790
なるほど
特定の条件下の問題でうまくいくように見えただけだったか…

>>791
タイプ理論で検索したら確率論ではなく論理学のようなものが出てきたんだが…？