名詞

単一化

読

タンイツカ

韻

あんいうあ

ユニフィケーションは数理論理学や計算機科学の用語であり、充足性問題を解く際のアルゴリズム的プロセスである。ユニフィケーションは、見た目の異なる2つの項が同一または同等であることを示す置換を求めるのが目的である。ユニフィケーションは自動推論、論理プログラミング、プログラミング言語の型システムの実装などに幅広く用いられている。 (出典: 単一化 - Wikipedia)

追加ワード数

06/02
6個のワードが追加されました。 06/01
86個のワードが追加されました。 05/31
119個のワードが追加されました。 05/30
235個のワードが追加されました。 05/29
222個のワードが追加されました。

お知らせ

2024/05/24 20:19
文章解析の結果の取得方法を変更しました。 2024/05/23 16:38
品詞の種類を追加しました 2024/05/22 10:00
検索中の表示を更新しました 2024/05/22 00:00
サイトの公開を開始しました