20/04/07 03:05:05 uf2x8V+6.net
このDupuyのコメントは謂わば信仰みたいなもんだよ
UTのゴミのような記述（IUTジャーゴン）から何か引き出せないかという彼自身の期待にすぎない
ショルツが反論すれば（間違いなくするだろうが）、論破されて終わり
S・Sレポートがなぜ敢えて充満多重同型やラベルを排し、IUTの中核そのものを無視して
短くまとめたかについての意図をDupuyは全く分かっていない
この辺のことはDaniel Littなどはちゃんと理解している
20/04/07 03:05:05 uf2x8V+6.net
このDupuyのコメントは謂わば信仰みたいなもんだよ
UTのゴミのような記述（IUTジャーゴン）から何か引き出せないかという彼自身の期待にすぎない
ショルツが反論すれば（間違いなくするだろうが）、論破されて終わり
S・Sレポートがなぜ敢えて充満多重同型やラベルを排し、IUTの中核そのものを無視して
短くまとめたかについての意図をDupuyは全く分かっていない
この辺のことはDaniel Littなどはちゃんと理解している