It is also the case that the initialalgebra always exists and can be constructed from the term algebra, partitioned or quotiented by the equations.
始代数が常に存在し、また方程式によって区分化または商代数化されて項代数から構成され得るという場合もまたある。 - コンピューター用語辞典
例文データの著作権について
Copyright (C) 1994- Nichigai Associates, Inc., All rights reserved.