|
【名詞】 1. simplification 2. unification =========================== ・ 単 ： [ひとえ, たん] 【名詞】 1. one layer 2. single ・ 単一 ： [たんいつ] 【名詞・形容詞】 1. single 2. simple, simplex 3. sole 4. individual 5. unitory ・ 単一化 ： [たんいつか] 【名詞】 1. simplification 2. unification ・ 一 ： [いち] 1. (num) one ・ 化 ： [か] (suf) action of making something
ユニフィケーション（）は数理論理学や計算機科学の用語であり、問題を解く際のアルゴリズム的プロセスである。ユニフィケーションは、見た目の異なる2つのが同一または同等であることを示すを求めるのが目的である。ユニフィケーションは自動推論、論理プログラミング、プログラミング言語の型システムの実装などに幅広く用いられている。 なお、ユニフィケーションを単一化あるいは統一化とも呼ぶ。 主なユニフィケーションは数種類ある。等号を持たない論理（理論）において、2つの項が同一であることを示すためのユニフィケーションは統語論的ユニフィケーションと呼ばれる。空でない等号を持つ論理（理論）で2つの項の同等性を示す場合、それを意味論的ユニフィケーションと呼ぶ。置換は順序集合として順序付けられるので、ユニフィケーションは束におけるを求める手続きとして解釈できる。 ユニフィケーションを初めて形式的に研究したのはで、一階述語論理の導出手続きを構築する際に一階のユニフィケーションを基盤として使い、組合せ爆発の原因の1つ（項を例化したものの探索）を排除することで自動推論技術への大きな一歩とした。 == 一階の項の統語論的ユニフィケーション == 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「ユニフィケーション」の詳細全文を読む 英語版ウィキペディアに対照対訳語「 Unification (computer science) 」があります。
=========================== 「 単一化 」を含む部分一致用語の検索リンク（ 4 件 ） ユニフォーカリゼイション、大動脈肺動脈側副血行路単一化 単一化 単一化に基づく形式化 機能単一化文法 スポンサード リンク
|