English Dictionary

unification

名詞

可算名詞 不可算名詞

The act of unifying. / The state of being unified. / (mathematical logic, computer science) Given two terms, their join with respect to a specialisation order.

日本語の意味

統一（複数のものを一つにまとめる行為または状態） / 一体化（異なる要素が一つに合わさり、統一された状態になること） / 計算論的統一（数学論理や計算機科学において、二つの項の最も一般的な合一を示す用語）

The unification of the two departments improved workflow and reduced costs.

二つの部署の統一により業務の流れが改善され、コストが削減された。

意味（1）

The act of unifying.

意味（2）

The state of being unified.

On November 15 our Ministry of Foreign Affairs informed Soviet ambassador Petrov of this decision. At the same time I sent a message to President Harry S. Truman, pointing out that Soviet Russia's treaty violations and bad faith in Manchuria not only were detrimental to China's territorial integrity and unification, but also constituted a serious threat to peace and order in East Asia, and that the only way to prevent any further deterioration of the situation would be for China and the United States to take positive and coordinated actions.

意味（3）

(mathematical logic, computer science) Given two terms, their join with respect to a specialisation order.

5.7.T ( Unification theorem ) For any two terms or formulas without quantifiers X and Y, the following holds. (i) The unification algorithm UNIF₁, applied to X, Y, terminates after a finite number of steps. (ii) {X, Y} is unifiable iff UNIF₁ so indicates upon ter- mination. Moreover, the substitution σ then available as out- put is a most general unifier of {X, Y}.

unifications （ plural ）