研究課題
データ値をもつ計算モデルとそのソフトウェア開発への応用に関して以下の成果を得た．(1) 文脈自由文法をレジスタ付きに拡張したレジスタ文脈自由文法とそれに関連する計算モデルについて，所属問題と空問題の計算複雑さを明らかにした論文が，海外論文誌Theoretical Computer Science に採録された．(2) 再帰プログラムのための計算モデルであるプッシュダウンシステム(Pushdown System, PDSと略)をレジスタ付きに拡張したレジスタPDS（RPDSと略）のLTLモデル検査問題が判定可能であることを証明し，その計算複雑さについて明らかにした．さらにフレッシュ性と呼ばれる条件を満たすRPDSのLTLモデル検査問題を通常のPDSの同問題に還元する手法を提案した．これらはいずれも学術論文誌に掲載された．(3) 昨年度はレジスタオートマトン(RA)に変換可能な凍結演算子付き線形時相論理の部分クラスを見出したが，今年度はこの研究を進展させ，RAと能力等価な凍結演算子付きmu-計算の部分クラスを見出した．この研究発表に対して，電子情報通信学会ソフトウェアサイエンス研究会研究奨励賞および電子情報通信学会ディペンダブルコンピューティング研究会若手優秀講演賞を同時受賞した．(4) レジスタモデルを群論的に抽象化したノミナルモデルを用い，決定性上昇型ノミナル木オートマトンを定義し，それに対するアクティブ学習アルゴリズムを提案した．(5) データ木書換え系を定義しその正則保存性およびセキュリティ検証への応用について考察した．ゲーム構造：確率的多プレイヤー非ゼロサムゲームの非協調的合成問題を定義し，いくつかの部分クラスに対する本問題の計算複雑さを解析した．重み付き計算モデル：重み付き文脈自由文法における曖昧さの度合いに基づく表現能力の変化や階層性について考察した．
令和3年度が最終年度であるため、記入しない。
すべて 2022 2021
すべて 雑誌論文 (4件) (うち査読あり 4件、 オープンアクセス 3件) 学会発表 (5件)
IEICE Transactions on Information and Systems
巻: E105.D ページ: 1620-1623
10.1587/transinf.2022EDL8030
Theoretical Computer Science
巻: 923 ページ: 99-125
10.1016/j.tcs.2022.04.055
巻: E104.D ページ: 2131-2144
10.1587/transinf.2020EDP7265
Theoretical Aspects of Computing, 18th International Colloquium (ICTAC 2021)
巻: LNCS 12819 ページ: 334-353
