特許
J-GLOBAL ID:200903091874829545

情報の高速単一化を行う計算方法及び計算装置並びに高速ミート演算を行う計算方法及び計算装置

発明者:
出願人/特許権者:
代理人 (1件): 天野 広
公報種別:公開公報
出願番号(国際出願番号):特願2002-152566
公開番号(公開出願番号):特開2003-345776
出願日: 2002年05月27日
公開日(公表日): 2003年12月05日
要約:
【要約】【課題】ミート演算における複製処理を可能な限り削減し、集合演算を行うことなく、高速にミート演算を行うことを可能にする情報の表現方法を提供する。【解決手段】本発明に係る情報の表現方法は、ある情報を計算機上で表現する方法であって、アトム(atom)、コンプレックス(complex)、バリアブルズ(variables)及びインコンシステンシー(inconsistency)の4種類によるノード構造体およびラベル情報を包含するアーク構造体により構成されるラベル付き有向グラフを用いて、前記情報を表現する過程を備える。
請求項(抜粋):
ある情報を計算機上で表現する方法であって、アトム(atom)、コンプレックス(complex)、バリアブルズ(variables)及びインコンシステンシー(inconsistency)の4種類によるノード構造体およびラベル情報を包含するアーク構造体により構成されるラベル付き有向グラフを用いて、前記情報を表現する過程を備えることを特徴とする情報の表現方法。
Fターム (2件):
5B056BB00 ,  5B056HH00
引用特許:
審査官引用 (1件)

前のページに戻る