特許
J-GLOBAL ID:201703011048400272

不変条件生成装置、コンピュータプログラム、不変条件生成方法、プログラムコード製造方法

発明者:
出願人/特許権者:
代理人 (1件): 特許業務法人サンクレスト国際特許事務所
公報種別:公開公報
出願番号(国際出願番号):特願2016-017441
公開番号(公開出願番号):特開2017-138679
出願日: 2016年02月01日
公開日(公表日): 2017年08月10日
要約:
【課題】不変条件を生成するための新たな技術を提供する。【解決手段】不変条件生成装置100は、プログラムコードが記憶される記憶部300と、不変条件を生成する処理を実行する処理部200を備える。処理部200は、不変条件を生成する第3処理を実行する。第3処理は、プログラムコードが実行されることによる1又は複数の部分式それぞれの変換を表す変換行列の転置である表現行列を生成する行列生成処理と、表現行列の固有値と固有ベクトルを求める演算処理と、固有値及び固有ベクトルの組と、1又は複数の部分式と、に基づいて、不変条件を生成する不変条件生成処理と、を含む。【選択図】図1
請求項1:
不変条件生成装置であって、 プログラムコードが記憶される記憶部と、 前記不変条件を生成する処理を実行する処理部を備え、 前記処理は、 前記記憶部から前記プログラムコードを読み出す第1処理と、 多項式を構成するための1又は複数の部分式を生成する第2処理と、 前記不変条件を生成する第3処理と、 を含み、 前記第3処理は、 前記プログラムコードが実行されることによる1又は複数の前記部分式それぞれの変換を表す変換行列の転置である表現行列を生成する行列生成処理と、 前記表現行列の固有値と固有ベクトルを求める演算処理と、 前記固有値及び前記固有ベクトルの組と、1又は複数の前記部分式と、に基づいて、前記不変条件を生成する不変条件生成処理と、 を含む 不変条件生成装置。
IPC (1件):
G06F 11/36
FI (1件):
G06F9/06 620M
Fターム (1件):
5B376BC69

前のページに戻る