n-truncated, n-type の日本語訳
Closed this issue · 5 comments
uemurax commented
n-truncated, n-type の日本語訳
uemurax commented
- n型
- n-型
uemurax commented
n-truncation = n切り捨て?
uemurax commented
truncation は切り捨てと訳されることがあるが、 n-truncation の訳としては適切ではない。切り捨てというと型の高次の構造を捨てているような印象を与えるが、 n-truncation は構造を捨てるどころか同一視を追加している。
uemurax commented
truncation の訳としては遠くなるが、「n近似」あたりが n-truncation の特徴を捉えていると思う。
uemurax commented
n切り詰めはありかもしれない。