Updated on 2023/10/12
博士(情報科学) （ 2009.3 大阪大学 ）
model counting
formal language theory
SAT
Informatics / Software
Informatics / Theory of informatics
Nagoya University Assistant Professor
2017.4
Nagoya University Assistant Professor
2013.10 - 2017.3
Country：Japan
Nara Institute of Science and Technology Assistant Professor
2009.4 - 2013.9
Country：Japan
Osaka University Graduate School, Division of Information Science
- 2009.3
Country： Japan
Osaka University Graduate School, Division of Information Science
- 2006.3
Country： Japan
Osaka University Faculty of Engineering Science
- 2004.3
Country： Japan
電子情報通信学会
情報処理学会
第20回情報学ワークショップ(WiNF2022) プログラム委員
2022.6 - 2022.12
第25回プログラミングおよびプログラミング言語ワークショップ(PPL 2023) 組織委員
2022.4 - 2023.3
第19回情報学ワークショップ(WiNF2021) プログラム委員
2021.10 - 2021.11
第24回プログラミングおよびプログラミング言語ワークショップ(PPL 2022) プログラム委員
2021.8 - 2022.3
第23回プログラミングおよびプログラミング言語ワークショップ(PPL 2021) プログラム委員
2020.8 - 2021.3
情報処理学会論文誌ジャーナル/JIP編集委員会 編集委員
2019.6 - 2023.5
23rd International Conference on Developments in Language Theory (DLT 2019) PC member
2019.5 - 2019.8
電子情報通信学会ソフトウェアサイエンス研究専門委員会 専門委員
2018.6
22nd International Conference on Developments in Language Theory (DLT 2018) PC member
2018.5 - 2018.9
情報処理学会プログラミング研究会 編集委員・運営委員
2017.4 - 2021.3
The Inspiring Idea Track The First Place
2023.9 International Competition on Graph Counting Algorithms NaPS+GPMC
Kosuke Oguri, Kenji Hashimoto, Masakhiko Sakai
Projected Weighted Model Counting Track Ranking A the 1st place
2023.7 Model Counting Competition 2023 GPMC
Kenji Hashimoto
Projected Model Counting Track Ranking A 1st place
2022.8 Model Counting Competition 2022 GPMC
Kenji Hashimoto, Shota Yap
Projected Weighted Model Counting Track Ranking B 1st place
2022.8 Model Counting Competition 2022
Kenji Hashimoto, Shota Yap
平成29年度電子情報通信学会ソフトウェアサイエンス研究会 研究奨励賞
2018.7 電子情報通信学会ソフトウェアサイエンス研究会 トップ木に基づく圧縮データに対する直接更新法
西村卓，橋本健二，関浩之
平成24年度電子情報通信学会ソフトウェアサイエンス研究会 研究奨励賞
2013.5 電子情報通信学会ソフトウェアサイエンス研究会 決定性線形下降木変換器における頂点問合せ保存
宮原 一喜, 橋本 健二, 関 浩之
第72回数理モデル化と問題解決研究会プレゼンテーション賞
2008.12 数理モデル化と問題解決研究会 XML Schema Evolution Preserving Information Based on the User-specified Relationship
Kenji Hashimoto
An ambiguity hierarchy of weighted context-free grammars Reviewed
Inoue Yusuke, Hashimoto Kenji, Seki Hiroyuki
THEORETICAL COMPUTER SCIENCE Vol. 974 2023.9
When Is Context-Freeness Distinguishable from Regularity? an Extension of Parikh’s Theorem Reviewed
Yusuke Inoue, Kenji Hashimoto, Hiroyuki Seki
27th International Conference on Implementation and Application of Automata (CIAA 2023) , LNCS Vol. 14151 page： 166 - 178 2023.9
Characterizing attributed tree translations in terms of macro tree transducers Reviewed International coauthorship
Hashimoto Kenji, Maneth Sebastian
THEORETICAL COMPUTER SCIENCE Vol. 963 2023.6
Weighted Multiple Context-Free Grammars Reviewed
INOUE Yusuke, HASHIMOTO Kenji, SEKI Hiroyuki
IEICE Transactions on Information and Systems Vol. E106.D ( 3 ) page： 309 - 318 2023.3
An Ambiguity Hierarchy of Weighted Context-Free Grammars Reviewed
Inoue Yusuke, Hashimoto Kenji, Seki Hiroyuki
26th International Conference on Implementation and Application of Automata (CIAA 2022) Vol. 13266 page： 238 - 250 2022
Quantifying Dynamic Leakage -- Complexity Analysis and Model Counting-based Calculation Reviewed
Trung Bao Chu, Kenji Hashimoto, Hiroyuki Seki
IEICE Transactions on Information and Systems Vol. E102-D ( 10 ) page： 1952 - 1965 2019.10
On the Compositionality of Dynamic Leakage and Its Application to the Quantification Problem Reviewed
Bao Trung Chu, Kenji Hashimoto, Hiroyuki Seki
13th International Conference on Emerging Security Information, Systems and Technologies (SECURWARE 2019) page： 1 - 8 2019.10
Graph Compression by Tree Grammars and Direct Evaluation of Regular Path Query Reviewed
Takeshi Takeda, Kenji Hashimoto, Hiroyuki Seki
IEEE 4th International Conference on Computer and Communication Systems (ICCCS 2019) page： 257 - 262 2019.2
Direct Update of XML Documents with Data Values Compressed by Tree Grammars Reviewed
Kenji Hashimoto, Ryunosuke Takayama, and Hiroyuki Seki
IEICE Transactions on Information and Systems Vol. E101-D ( 6 ) page： 1467-1478 2018.6
Counting Algorithms for Recognizable and Algebraic Series Reviewed
Trung Bao Chu, Kenji Hashimoto, and Hiroyuki Seki
IEICE Transactions on Information and Systems Vol. E101-D ( 6 ) page： 1479-1490 2018.6
Direct Evaluation of Selecting Tree Automata on XML Documents Compressed with Top Trees Reviewed
Kenji Hashimoto, Suguru Nishimura, Hiroyuki Seki
Proceedings of the 4th International Workshop on Trends in Tree Automata and Tree Transducers (TTATT 2016) page： 29-36 2016.7
Query Rewriting for Nondeterministic Tree Transducers Reviewed
Kazuki Miyahara, Kenji Hashimoto, Hiroyuki Seki
IEICE Transactions on Information and Systems Vol. E99-D ( 6 ) page： 1410-1419 2016.6
Determinacy and Subsumption of Single-valued Bottom-up Tree Transducers Reviewed
Kenji Hashimoto, Ryuta Sawada, Yasunori Ishihara, Hiroyuki Seki and Toru Fujiwara
IEICE Transactions on Information and Systems Vol. E99-D ( 3 ) page： 575-587 2016.3
The Consistency and Absolute Consistency Problems of XML Schema Mappings between Restricted DTDs Reviewed
Hayato Kuwada, Kenji Hashimoto, Yasunori Ishihara and Toru Fujiwara
World Wide Web Journal Vol. 18 ( 5 ) page： 1443-1461 2015.9
Query-based l-diversity Reviewed
Chittaphone Phonharath, Ryonosuke Takayama, Kenji Hashimoto, and Hiroyuki Seki
Proceedings of the 7th International Conference on Advances in Databases, Knowledge, and Data Applications (DBKDA 2015) page： 15-20 2015.5
Node Query Preservation for Deterministic Linear Top-Down Tree Transducers Reviewed
Kazuki Miyahara, Kenji Hashimoto, and Hiroyuki Seki
IEICE Transactions on Information and Systems Vol. E98-D ( 3 ) page： 512-523 2015.3
Node Query Preservation for Deterministic Linear Top-Down Tree Transducers Reviewed
Kazuki Miyahara, Kenji Hashimoto, and Hiroyuki Seki
2nd International Workshop on Trends in Tree Automata and Tree Transducers (TTATT 2013), Electronic Proceedings in Theoretical Computer Science Vol. 134 page： 27-37 2013.10
XPath Satisfiability with Parent Axes or Qualifiers Is Tractable under Many of Real-World DTDs Reviewed
Yasunori Ishihara, Nobutaka Suzuki, Kenji Hashimoto, Shogo Shimizu, Toru Fujiwara
Proceedings of the 14th International Symposium on Database Programming Languages page： 1-10 2013.8
Decidability of k-secrecy against Inference Attacks Using Functional Dependencies on XML Databases Reviewed
Nobuaki Yamazoe, Kenji Hashimoto, Yasunori Ishihara, Toru Fujiwara
Proceedings of the 2013 International Conference on Parallel and Distributed Processing Techniques and Applications page： 182-188 2013.7
Deciding Schema k-Secrecy for XML Databases Reviewed
Chittaphone Phonharath, Kenji Hashimoto, Hiroyuki Seki
IEICE Transactions on Information and Systems Vol. E96-D ( 6 ) page： 1268-1277 2013.6
Determinacy and Subsumption for Single-valued Bottom-up Tree Transducers Reviewed
Kenji Hashimoto, Ryuta Sawada, Yasunori Ishihara, Hiroyuki Seki, Toru Fujiwara
Proceedings of the 7th International Conference on Language and Automata Theory and Applications page： 335-346 2013.4
The Consistency and Absolute Consistency Problems of XML Schema Mappings between Restricted DTDs Reviewed
Hayato Kuwada, Kenji Hashimoto, Yasunori Ishihara, Toru Fujiwara
Proceedings of the 15th International Asia-Pacific Web Conference page： 228-239 2013.4
Typing XPath Subexpressions With Respect to an XML Schema Reviewed
Yasunori Ishihara, Kenji Hashimoto, Atsushi Ohno, Takuji Morimoto, Toru Fujiwara
Proceedings of the 5th International Conference on Advances in Databases, Knowledge, and Data Applications page： 128-133 2013.1
XPath Satisfiability with Downward and Sibling Axes Is Tractable under Most of Real-world DTDs Reviewed
Yasunori Ishihara, Kenji Hashimoto, Shougo Shimizu, Toru Fujiwara
Proceedings of the 12th International Workshop on Web Information and Data Management page： 11-18 2012.11
Verification of the Security against Inference Attacks on XML Databases Reviewed
Chittaphone Phonharath, Kenji Hashimoto, Hiroyuki Seki
The 1st International Workshop on Trends in Tree Automata and Tree Transducers page： 11-22 2012.6
Decidability of the Security against Inference Attacks using a Functional Dependency on XML Databases Reviewed
Kenji Hashimoto, Hiroto Kawai, Yasunori Ishihara, Toru Fujiwara
IEICE Transactions on Information and Systems Vol. E95-D ( 5 ) page： 1365-1374 2012.5
Validity of Positive XPath Queries with Wildcard in the Presence of DTDs Reviewed
Kenji Hashimoto, Yohei Kusunoki, Yasunori Ishihara, Toru Fujiwara
The 13th International Symposium on Database Programming Languages page： 1-8 2011.8
A Tractable Subclass of DTDs for XPath Satisfiability with Sibling Axes Reviewed
Yasunori Ishihara, Takuji Morimoto, Shougo Shimizu, Kenji Hashimoto Toru Fujiwara
Proceedings of the 12th International Symposium on Database Programming Languages page： 68-83 2009.8
Verification of the Security against Inference Attacks on XML Databases Reviewed
Kenji Hashimoto, Kimihide Sakano, Fumikazu Takasuka, Yasunori Ishihara, Toru Fujiwara
IEICE Transactions on Information and Systems Vol. E92-D ( 5 ) page： 1022-1032 2009.5
Verification of the Security against Inference Attacks on XML Databases Reviewed
Kenji Hashimoto, Fumikazu Takasuka, Kimihide Sakano, Yasunori Ishihara, Toru Fujiwara
Proceedings of the 10th Asia Pacific Web Conference page： 359-370 2008.4
XMLデータベースにおけるスキーマ進化のための更新操作群とそれらのスキーマ表現能力保存に関する性質 Reviewed
橋本 健二, 石原 靖哲, 藤原 融
電子情報通信学会論文誌(D) Vol. J90-D ( 4 ) page： 990-1004 2007.4
XMLデータベースへの推論攻撃による機密情報特定可能性の形式化とある前提条件のもとでの特定可能性検証法の提案 Reviewed
高須賀 史和, 橋本 健二, 石原 靖哲, 藤原 融
日本データベース学会Letters Vol. 5 ( 2 ) page： 21-24 2006.9
Schema Update Operations Preserving the Expressive Power in XML Databases Reviewed
Kenji Hashimoto, Yasunori Ishihara, Toru Fujiwara
Proceedings of the International Special Workshop on Databases for Next Generation Researchers in Memoriam Prof. Yahiko Kambayashi page： 38-41 2005.4
理論計算機科学事典
（ Role： Contributor , 5.2 木オートマトン，木トランスデューサ）
朝倉書店 2022.1
GPMC version mc2020
Kenji Hashimoto
Model Counting Competition 2020 2020.7
Determinacy and Query Preservation of Tree Transducers Invited International conference
Kenji Hashimoto
The 4th International Workshop on Trends in Tree Automata and Tree Transducers (TTATT 2016)
An Ambiguity Hierarchy of Weighted Context-free Grammars
Yusuke Inoue, Kenji Hashimoto, Hiroyuki Seki
第25回プログラミングおよびプログラミング言語ワークショップ（PPL 2023） 2023.3.7
重み付き文脈自由文法の曖昧さ階層について
井上 裕介，橋本 健二，関 浩之
2022年度 夏のLAシンポジウム 2022.7
Solving Rep-tile by Computers
Mutsunori Banbara, Kenji Hashimoto, Takashi, Horiyama, Shin-ichi Minato, Kakeru Nakamura, Masaaki Nishino, Masahiko Sakai, Ryuhei Uehara, Yushi Uno, Norihito Yasuda
The 14th Gathering 4 Gardner Conference (2022) 2022.4.7
重み付き文脈自由文法の曖昧さ階層について
井上 裕介，橋本 健二，関 浩之
電子情報通信学会コンピュテーション研究会 2022.3
レプ・タイルの定式化を用いた各種ソルバの性能比較
番原 睦則，橋本 健二，堀山 貴史，湊 真一，中村 駆，西野 正彬，酒井 正彦，上原 隆平，宇野 裕之，安田 宜仁
人工知能学会 第119回人工知能基本問題研究会 2022.1
命題論理式の全ての投射モデルを表現するBDDの構成法
磯貝孝明, 橋本健二, 酒井正彦
第116回人工知能基本問題研究会 2021.3.22
擬ブール制約の導入による組合せ最適化ソルバCombSQL+の高速化
岸潤一郎, 酒井正彦, 西田直樹, 橋本健二
ソフトウェアサイエンス研究会 2021.1.27 電子情報通信学会
組合せ最適化問題の記述からSMTソルバの入力式を生成するSQL問合せ
坂梨元軌, 酒井正彦，西田直樹, 橋本健二
ソフトウェアサイエンス研究会 2019.3
配列を含むC言語サブセットから難解言語Malbolgeへのコンパイラ
岩金 カナン，坂梨 元軌，酒井 正彦，西田 直樹，橋本 健二
第20回プログラミングおよびプログラミング言語ワークショップ PPL2018 2018.3
組合せ最適化問題を記述するための関係代数の集合上への拡張
坂梨 元軌，酒井 正彦，西田 直樹，橋本 健二
第20回プログラミングおよびプログラミング言語ワークショップ PPL2018 2018.3
有向グラフに対する圧縮法および圧縮グラフに対する頂点選択問合せ評価法の提案
武田 健志，橋本 健二，関 浩之
第10回データ工学と情報マネジメントに関するフォーラム（DEIM 2018） 2018.3
線形マルチボトムアップ木変換器の関数性の決定可能性
田端 浩明, 橋本 健二
第118回情報処理学会プログラミング研究会 2018.3
非決定性選択木オートマトンの決定化
川本 将也, 橋本 健二, 関 浩之
第117回情報処理学会プログラミング研究会 2018.1
トップ木に基づく圧縮データに対する直接更新法
西村 卓, 橋本 健二, 関 浩之
電子情報通信学会ソフトウェアサイエンス研究会 2017.10
木文法に基づくグラフ圧縮法および圧縮グラフに対する頂点選択問合せ評価法
武田 健志, 関 浩之, 橋本 健二
電子情報通信学会ソフトウェアサイエンス研究会 2017.7
再帰呼び出しを持つC言語サブセットからMalbolgeへのコンパイラ
坂梨 元軌, 河邉 翔平, 酒井 正彦, 西田 直樹, 橋本 健二
電子情報通信学会ソフトウェアサイエンス研究会 2017.7
成分分割を用いる投射モデル計数ソルバにおける成分単位でのSAT判定を利用した性能改善
鈴木 涼介, 橋本 健二, 酒井 正彦
人工知能学会人工知能基本問題研究会 2017.3
非線形トップダウン木変換器において問合せ保存が決定可能であるための十分条件
石原 鷹, 橋本 健二, 関 浩之
電子情報通信学会ソフトウェアサイエンス研究会 2017.3
モデル計数を用いた量的情報流解析のための論理式簡約と静的解析
中島 聖斗, 橋本 健二, 酒井 正彦, 関 浩之
電子情報通信学会ソフトウェアサイエンス研究会 2017.3
木文法に基づき圧縮されたXML文書に対するデータ値を考慮した直接更新法
高山 隆之介, 橋本 健二, 関 浩之
第9回データ工学と情報マネジメントに関するフォーラム（DEIM 2017） 2017.3
Counting for Recognizable and Algebraic Series
2017.3
あるクラスのXPath式から先読み付き決定性選択木オートマトンへのスキーマを用いた変換
川本 将也, 橋本 健二, 関 浩之
電子情報通信学会ソフトウェアサイエンス研究会 2017.1
木文法に基づく圧縮XML文書に対するデータ値を考慮した直接更新手法
高山 隆之介, 橋本 健二, 関 浩之
電子情報通信学会ソフトウェアサイエンス研究会 2016.10
#SMTツールを用いた量的情報流解析手法の高速化
中島 聖斗, Trung Chu Bao, 橋本 健二, 酒井 正彦, 関 浩之
電子情報通信学会ソフトウェアサイエンス研究会 2016.10
トップ木に基づく木圧縮法の実装と問い合わせ処理法の提案
西村 卓, 橋本 健二, 関 浩之
電子情報通信学会ソフトウェアサイエンス研究会 2016.7
Grant number：23K11045 2023.4 - 2026.3
科学研究費助成事業 基盤研究(C)
橋本 健二
Authorship：Principal investigator
Grant amount：\4680000 （ Direct Cost: \3600000 、 Indirect Cost：\1080000 ）
確率や量的な安全尺度の計算への応用を背景にして、論理式の解（モデル）の個数を高速に数える技術の必要性が高まっている。命題論理式のための既存の投射モデル計数ソルバやその計数戦略には一長一短があるが、それらを入力問題ごとに適切に切り替えるための有効な問題分類方法は知られていない。本研究では、論理式のグラフ表現に着目し、その特徴量を用いた投射モデル計数のための問題分類と計数戦略決定を試みる。機械学習を用いたモデル学習を通して、投射モデル計数問題の分類に役立つグラフ表現の特徴量を見いだすことで、高速に解くことができる適切なソルバや計数戦略を問題ごとに決定するシステムを構築する。
データハイブリッドなリアクティブプログラムの解析技術と自動合成・説明抽出への応用
Grant number：22H03568 2022.4 - 2025.3
科学研究費助成事業 基盤研究(B)
関 浩之, 小川 瑞史, 結縁 祥治, 橋本 健二, 小川 瑞史, 結縁 祥治, 橋本 健二
Authorship：Coinvestigator(s)
組込み制御ソフトウェアに代表されるリアクティブプログラムの信頼性を担保するための数理的手法を実用システムに適用可能にするためには，データ値，時間，確率等の量的概念を考慮した計算モデルの設定が鍵となる．本研究ではこのような問題意識のもとに，以下の課題に取り組む．
データ値を扱うモデルであるレジスタ計算モデルについて，表現能力の同定，基本問題の計算量解析，特にリアクティブ合成問題とそれに関連するゲーム構造の数理的解析を行う．
重みとは，コスト等，計算に従って発生する付随量を表す．重み付き計算モデルの表現能力を明らかにし，重み付き計算モデルの対話的学習アルゴリズムを開発して，説明可能AIへ応用する．
ソフトウェアモデルへの量的尺度の導入とプログラム解析への応用
Grant number：19H04083 2019.4 - 2023.3
科学研究費助成事業 基盤研究(B)
関 浩之, 小川 瑞史, 結縁 祥治, 橋本 健二, 小川 瑞史, 結縁 祥治, 橋本 健二
Authorship：Coinvestigator(s)
ソフトウェアの信頼性を担保するための数理的解析・検証技術を実用システムに適用可能にするためには，対象とする系をデータ値，時間，確率，情報量等の量的概念を考慮した数理的モデルに拡張する必要がある．本研究ではこのような問題意識のもとに，量的情報流の動的解析，データ値をもつ計算モデルとその構造化文書処理への応用，および，重みをもつ計算モデルとそのソフトウェアコスト解析への応用の３つの課題に取り組む．それぞれの課題において，オートマトンや形式文法に基づく適切な計算モデルを設定し，基本問題の計算量の解析，効率のよいアルゴリズムの開発，および，ツールの試作と実験に基づく提案手法の有効性の評価を行う．
データ値をもつ計算モデルとそのソフトウェア開発への応用に関して以下の成果を得た．
(1) 再帰プログラムのための簡潔な計算モデルとしてプッシュダウンシステム(Pushdown System, PDSと略)が知られている．本研究ではPDSをレジスタ付きに拡張したレジスタPDS（RPDSと略）を導入し，その高信頼ソフトウェア開発への応用に取り組んだ．レジスタオートマトンによって認識される言語を正則言語とよぶ．本研究ではまず，RPDSが前方正則保存性をもつことを証明した．この成果も踏まえ，RPDSのLTLモデル検査問題が判定可能であることを証明し，その計算複雑さについて明らかにした．
(2) (1)のモデル検査問題ではプログラムのモデルはデータ値を扱えるが仕様（検証項目）を記述するLTL（時相論理）式ではデータ値を直接記述できない．そこで，レジスタオートマトンに変換可能な凍結演算子付き線形時相論理の部分クラスを見出した．
(3) レジスタをもつ計算モデルとして，レジスタオートマトン，レジスタ文脈自由文法，ボトムアップ型レジスタ木オートマトンの表現する言語クラスのそれぞれに対して，いわゆるポンプの補題を証明した．
重み付き計算モデルとその応用：重み付きレジスタオートマトン(WRA)に対する重み最小実行問題の計算複雑さの解析とアルゴリズムの開発を行った成果をまとめた論文が，海外論文誌Theoretical Computer Science に採録された．
また，文脈自由文法の拡張である多重文脈自由文法に重みを導入した重み付き多重文脈自由文法(WMCFG)を提案し，WMCFGに関する基本問題の判定可能性やWMCFGの生成する重み付き言語クラスの閉包性についても考察した．この研究発表に対して，電子情報通信学会ソフトウェアサイエンス研究会研究奨励賞を受賞した．
研究課題について，学術誌掲載論文３編，国内口頭発表４件の成果を挙げており，順調に進展していると自己評価できる．
データ値をもつ計算モデルとそのソフトウェア開発への応用：今後は，再帰プログラムのための簡潔な計算モデルプッシュダウンシステム(Pushdown System, PDSと略)にレジスタを加えたRegister PDS(RPDSと略）について引き続き研究を行う．具体的に，RPDSのソフトウェア合成への応用として，プログラムの入出力関係を表す仕様が与えられたとき，それを満たすプログラムが存在するかを判定する実現可能性問題を考察する．具体的に，入力記号と出力記号が交互に並ぶような記号列からなる言語を認識するRPDSによって仕様を表現し，入力記号列を読んで出力記号列を生成するレジスタ付きプッシュダウン変換器（RPDTと略）によってモデル化する．既存研究として，有限オートマトン，レジスタオートマトン，PDSおよびそれらに対応する変換器を用いて定義された実現可能性問題の判定可能性が論じられているので，それらを参考にして理論的研究を進める．
また，今年度の成果として得られた，レジスタオートマトン(RA)に変換可能な凍結演算子付き線形時相論理の部分クラスを拡張し，RAと能力等価な凍結演算子付きmu-計算の部分クラスを見出すことを試みる．
重み付き計算モデルとその応用：今後は，重み付き文脈自由文法（WCFG）の表現能力，例えば，曖昧さの程度（無曖昧，有限曖昧，多項式的曖昧など）が表現能力に及ぼす影響等について考察を行う．関連する既存研究として，重み付きオートマトンおよび重み付き木オートマトンについて，上述のような曖昧さの程度に基づく表現能力の階層性が示されている．階層性の証明には各クラスに対するポンプ補題が用いられる．WMCFGの部分クラスに対してもこの種のポンプ補題を証明することにより，曖昧さの程度に基づく部分クラスの階層性が証明できると予想している．
量的情報流解析のための投射モデル計数ソルバの開発
2017.4 - 2020.3
科学研究費補助金 基盤研究(C)
Authorship：Principal investigator
木およびグラフ変換における問合せ保存の自動検証
2014.4 - 2017.3
科学研究費補助金 若手研究(B)
Authorship：Principal investigator
概念モデルと問合せ集合を用いたXMLスキーマの導出と更新
2010.4 - 2013.3
科学研究費補助金 若手研究(B)
Authorship：Principal investigator
確率統計および演習
2023
コンピュータ科学実験１
2023
オートマトン・形式言語及び演習
2023
情報理論及び演習
2018
コンパイラ及び演習
2014
プログラミング演習
2012 （Nara Institute of Science and Technology）
Level：Postgraduate
アルゴリズム理論
2012 （Akashi National College of Technology）
安全安心工学A
2011 - 2012 （Nara Institute of Science and Technology）
Level：Postgraduate
アルゴリズム概論
2009 （Nara Institute of Science and Technology）
Level：Postgraduate
