問合せ解像度に基づいた情報交換・公開フレームワークの開発

2022年度は，主として，前年度までに得られた理論的成果を雑誌論文としてまとめる作業と，理論的成果を実装して実用面からの評価を行う研究に取り組んだ．前者については，成果をまとめた論文が電子情報通信学会論文誌Dに採録となり，2023年4月に公刊された．その内容は，あるクラスに属するソース側ポリシとデータ交換メカニズムを入力として，「弱適切」なターゲット側ポリシが存在するかを判定し，存在するならそれを導出するアルゴリズムの提案である．提案したアルゴリズムは，ターゲット側ポリシの候補を総当たり的に生成して弱適切かどうかを判定するものであり，実用場面での実行時間の評価が課題として残っていた．後者については，以上のような動機のもと，研究室学生の協力を得て，論文発表したアルゴリズムの実装と性能評価を行ったものである．一般的なノートPC上で提案アルゴリズムをPythonとPrologで実装し，ソース側ポリシを表す問合せの引数の個数を増加させたときの実行時間を調査した．その結果，引数が5個以下の場合には処理は数分で完了したものの，6個以上にするとメモリ不足が原因と思われるエラーにより実行が完了しなかった．ターゲット側ポリシの候補1つあたりにかかる処理時間からの推測により，十分なメモリをもつPCを使えば，引数8個程度までなら実用的といえる時間内に処理が完了するという結論が得られた．実装したプログラムの洗練化や，ソース側ポリシの引数の個数以外のパラメータを動かしたときの実行時間の調査などが今後の課題として残されている．

2022年度は，主として，前年度までに得られた理論的成果を雑誌論文としてまとめる作業と，理論的成果を実装して実用面からの評価を行う研究に取り組んだ．前者については，成果をまとめた論文が電子情報通信学会論文誌Dに採録となり，2023年4月に公刊された．その内容は，あるクラスに属するソース側ポリシとデータ交換メカニズムを入力として，「弱適切」なターゲット側ポリシが存在するかを判定し，存在するならそれを導出するアルゴリズムの提案である．提案したアルゴリズムは，ターゲット側ポリシの候補を総当たり的に生成して弱適切かどうかを判定するものであり，実用場面での実行時間の評価が課題として残っていた．後者については，以上のような動機のもと，研究室学生の協力を得て，論文発表したアルゴリズムの実装と性能評価を行ったものである．一般的なノートPC上で提案アルゴリズムをPythonとPrologで実装し，ソース側ポリシを表す問合せの引数の個数を増加させたときの実行時間を調査した．その結果，引数が5個以下の場合には処理は数分で完了したものの，6個以上にするとメモリ不足が原因と思われるエラーにより実行が完了しなかった．ターゲット側ポリシの候補1つあたりにかかる処理時間からの推測により，十分なメモリをもつPCを使えば，引数8個程度までなら実用的といえる時間内に処理が完了するという結論が得られた．実装したプログラムの洗練化や，ソース側ポリシの引数の個数以外のパラメータを動かしたときの実行時間の調査などが今後の課題として残されている．