Pat

J-GLOBAL ID：200903091874829545

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

Inventor： 苫米地 英人 ,  美馬 秀樹
Applicant, Patent owner： コグニティブリサーチラボ株式会社
Agent (1)： 天野 広
Gazette classification：公開公報
Application number (International application number)：2002152566
Publication number (International publication number)：2003345776
Application date： May. 27, 2002
Publication date： Dec. 05, 2003
Summary：

【要約】【課題】ミート演算における複製処理を可能な限り削減し、集合演算を行うことなく、高速にミート演算を行うことを可能にする情報の表現方法を提供する。【解決手段】本発明に係る情報の表現方法は、ある情報を計算機上で表現する方法であって、アトム(atom)、コンプレックス(complex)、バリアブルズ(variables)及びインコンシステンシー(inconsistency)の4種類によるノード構造体およびラベル情報を包含するアーク構造体により構成されるラベル付き有向グラフを用いて、前記情報を表現する過程を備える。

Claim (excerpt)：

ある情報を計算機上で表現する方法であって、アトム(atom)、コンプレックス(complex)、バリアブルズ(variables)及びインコンシステンシー(inconsistency)の4種類によるノード構造体およびラベル情報を包含するアーク構造体により構成されるラベル付き有向グラフを用いて、前記情報を表現する過程を備えることを特徴とする情報の表現方法。

F-Term (2)：

5B056BB00 ,  5B056HH00

Patent cited by the Patent：

Cited by examiner (1)

• 情報の非改竄性を維持可能な計算方法及び計算装置
  Gazette classification：公開公報   Application number：特願2001-234872   Applicant：コグニティブリサーチラボ株式会社