15/06/13 17:04:10.62 oBvXXQ5V.net
>>562 見たけど、確かに意味不明だ。訳の問題かと思ったが、原文も似たようなもんだな……。
強いて言えば原文の"categorical theories"が和訳では勝手に「圏論(categorical theory)」になってたり、
"not computationally isomorphic"のnotが訳し漏れで「計算上は同型」になってたりと訳の問題も大きくて、
原文のほうは好意的に解釈すればまだ理解可能だけど。
15/06/13 17:04:10.62 oBvXXQ5V.net
>>562 見たけど、確かに意味不明だ。訳の問題かと思ったが、原文も似たようなもんだな……。
強いて言えば原文の"categorical theories"が和訳では勝手に「圏論(categorical theory)」になってたり、
"not computationally isomorphic"のnotが訳し漏れで「計算上は同型」になってたりと訳の問題も大きくて、
原文のほうは好意的に解釈すればまだ理解可能だけど。