Updated on 2025/01/27
工学博士 （ 1987.3 大阪大学 ）
Best Paper Award
2019.11 16th International Colloquium on Theoretical Aspects of Computing - ICTAC 2019 Optimal Run Problem for Weighted Register Automata
Hiroyuki Seki, Reo Yoshimura and Yoshiaki Takata
令和5年度研究奨励賞
2024.3 電子情報通信学会ソフトウェアサイエンス研究会 A Game-theoretic Approach to Indistinguishability of Winning Objectives as User Privacy
中西凜道，高田喜朗，関浩之
令和4年度研究奨励賞
2023.3 電子情報通信学会ソフトウェアサイエンス研究会 確率的ゲームにおける非協調的合成問題
小出走，関浩之
第９回研究会若手優秀講演賞
2022.10 電子情報通信学会ディペンダブルコンピューティング研究会 レジスタオートマトンと能力等価な凍結演算子付きmu-計算の部分クラス
大西晃
令和3年度研究奨励賞
2022.3 電子情報通信学会ソフトウェアサイエンス研究会 確率的ゲームにおける非協調的合成問題
大西晃，仙田涼摩，高田喜朗，関浩之
令和2年度研究奨励賞
2021.3 電子情報通信学会ソフトウェアサイエンス研究会 重み付き多重文脈自由文法とその性質について
井上裕介，関浩之
学生奨励賞
2020.9 電子情報通信学会データ工学研究会 木分解と木文法圧縮を利用したグラフ圧縮法および圧縮データへの直接問合せ処理法の提案と評価
小島和之，関浩之
平成29年度研究奨励賞
2018.5 電子情報通信学会ソフトウェアサイエンス研究会 トップ木に基づく圧縮データに対する直接更新法
西村卓，橋本健二，関浩之
平成26年度研究奨励賞
2015.5 電子情報通信学会ソフトウェアサイエンス研究会 木文法に基づく圧縮XML文書に対する直接更新手法の評価
後藤健志，尾上栄浩，橋本健二，関浩之
第4回解説論文賞
2013.9 日本ソフトウェア科学会 言語理論の話をしよう
関浩之，鰺坂恒夫
平成24年度研究奨励賞
2013.5 電子情報通信学会ソフトウェアサイエンス研究会 決定性線形下降木変換器における頂点問合せ保存
宮原一喜，橋本健二，関浩之
フェロー
2011.9 電子情報通信学会
関浩之
2006年度論文賞
2008.12 情報処理学会バイオ情報学研究会 RNA Pseudoknotted Structure Prediction Using Stochastic Multiple Context-Free Grammar
加藤有己，関浩之，嵩忠雄
平成19(2007)年度論文賞
2008.3 情報処理学会 RNA Pseudoknotted Structure Prediction Using Stochastic Multiple Context-Free Grammar
加藤有己，関浩之，嵩忠雄
平成19年度ISS活動功労賞
2007.12 電子情報通信学会情報システムソサイエティ
関浩之
第11回論文賞
2007.6 日本ソフトウェア科学会 LTL Model Checking for Extended Pushdown Systems with Regular Tree Valuations
新田直也，関浩之
第21回電気通信普及財団賞（テレコムシステム技術賞）奨励賞
2006 電気通信普及財団 Temporal Reasoning about Two Concurrent Sequence of Events
石原靖哲，石井信，関浩之，伊藤実
平成9(1997)年度論文賞
1998.3 情報処理学会 抽象的順序機械型代数的仕様からのドキュメント生成システム
工藤 朋之, 石原 靖哲, 関 浩之, 奥井 順
An Ambiguity Hierarchy of Weighted Context-free Grammars Reviewed
Yusuke Inoue, Kenji Hashimoto and Hiroyuki Seki
Theoretical Computer Science Vol. 974 page： 1 - 12 2023.9
Complexity Results on Register Context-Free Grammars and Related Formalisms Reviewed
Ryoma Senda, Yoshiaki Takata and Hiroyuki Seki
Theoretical Computer Science Vol. 923 page： 99 - 125 2022.5
Optimal Run Problem for Weighted Register Automata Reviewed
Hiroyuki Seki, Reo Yoshimura and Yoshiaki Takata
Theoretical Computer Science Vol. 850 ( 4 ) page： 185 - 201 2021.1
An Equational Logic Based Approach to the Security Problem against Inference Attacks on Object-Oriented Database Reviewed
Yasunori Ishihara, Toshiyuki Morita, Hiroyuki Seki and Minoru Ito
Journal of Computer and System Sciences Vol. 73 page： 788-817 2007
HBAC: A Model for History-based Access Control and Its Model Checking Reviewed
Jing Wang, Yoshiaki Takata and Hiroyuki Seki
11th European Symposium On Research In Computer Security (ESORICS 2006) Vol. LNCS 4189 page： 263-278 2006.9
Non-Cooperative Rational Synthesis Problem for Probabilistic Strategies Reviewed
So Koide, Yoshiaki Takata and Hiroyuki Seki
IEICE Transactions on Information and Systems Vol. E108-D ( 7 ) page： 1 - 10 2025.7
Strategies and Equilibria on Indistinguishability of Winning Objectives and Related Decision Problems Reviewed
Rindo Nakanishi, Yoshiaki Takata and Hiroyuki Seki
IEICE Transactions on Information and Systems Vol. E108-D ( 3 ) 2025.3
A Subclass of Mu-Calculus with the Freeze Quantifier Equivalent to Buchi Register Automata Reviewed
Yoshiaki Takata, Akira Onishi, Ryoma Senda and Hiroyuki Seki
IEICE Transactions on Information and Systems Vol. E107-D ( 12 ) 2024.12
Automata and Grammars for Data Words Invited Reviewed
Hiroyuki Seki
28th International Conference on Implementation and Application of Automata (CIAA 2024) Vol. LNCS ( 15015 ) page： 3 - 16 2024.9
Non-Cooperative Rational Synthesis Problem on Stochastic Games for Positional Strategies Reviewed
So Koide, Yoshiaki Takata and Hiroyuki Seki
IEICE Transactions on Information and Systems Vol. E107-D ( 3 ) page： 1 - 10 2024.3
Verification with Common Knowledge of Rationality for Graph Games Reviewed
Rindo Nakanishi, Yoshiaki Takata and Hiroyuki Seki
21th International Colloquium on Theoretical Aspects of Computing (ICTAC 2024) Vol. LNCS 15373 page： 232 - 248 2023.11
When Is Context-Freeness Distinguishable from Regularity? An Extension of Parikh's Theoremrs Reviewed
Yusuke Inoue, Kenji Hashimoto and Hiroyuki Seki
27th International Conference on Implementation and Application of Automata (CIAA 2022) Vol. LNCS 2023.9
A Subclass of Mu-Calculus with the Freeze Quantifier Equivalent to Register Automata Reviewed
Yoshiaki Takata, Akira Onishi, Ryoma Senda and Hiroyuki Seki
IEICE Transactions on Information and Systems Vol. E106-D ( 3 ) page： 294 - 302 2023.3
Weighted Multiple Context-free Grammars Reviewed
Yusuke Inoue, Kenji Hashimoto and Hiroyuki Seki
IEICE Transactions on Information and Systems Vol. E106-D ( 3 ) page： 309 - 318 2023.3
Pumping Lemmas for Languages Expressed by Computational Models with Registers Reviewed
Rindo Nakanishi, Yoshiaki Takata and Hiroyuki Seki
IEICE Transactions on Information and Systems Vol. E106-D ( 3 ) page： 284 - 293 2023.3
Reduction of Register Pushdown Systems with Freshness Property to Pushdown Systems in LTL Model Checking Reviewed
Yoshiaki Takata, Ryoma Senda and Hiroyuki Seki
IEICE Transactions on Information and Systems Vol. E105-D ( 9 ) page： 1620 - 1623 2022.9
Active Learning for Deterministic Bottom-up Nominal Tree Automata Reviewed
Rindo Nakanishi, Yoshiaki Takata and Hiroyuki Seki
19th International Colloquium on Theoretical Aspects of Computing (ICTAC 2022) 2022.9
An Ambiguity Hierarchy of Weighted Context-free Grammars Reviewed
Yusuke Inoue, Kenji Hashimoto and Hiroyuki Seki
26th International Conference on Implementation and Application of Automata (CIAA 2022) Vol. LNCS 13266 page： 238 - 250 2022.6
木分解の圧縮および解集合プログラミングに基づく問合せ処理法の提案と評価 Reviewed
小島和之，関浩之
日本データベース学会和文論文誌 Vol. 20-J ( 16 ) page： 1 - 9 2022.3
LTL Model Checking for Register Pushdown Systems Reviewed
Ryoma Senda, Yoshiaki Takata and Hiroyuki Seki
IEICE Transactions on Information and Systems Vol. E104-D ( 12 ) page： 2131 - 2144 2021.12
Reactive Synthesis from Visibly Register Pushdown Automata Reviewed
Ryoma Senda, Yoshiaki Takata and Hiroyuki Seki
18th International Colloquium on Theoretical Aspects of Computing (ICTAC 2021) Vol. 12819 page： 334-353 2021.9
Forward Regularity Preservation Property of Register Pushdown Systems Reviewed
Ryoma Senda, Yoshiaki Takata and Hiroyuki Seki
IEICE Transactions on Information and Systems Vol. E104-D ( 3 ) page： 370 - 380 2021.3
Reachability of Patterned Conditional Pushdown Systems Reviewed International coauthorship
Xin Li, Patric Gardy, Yu-Xin Deng and Hiroyuki Seki
Journal of Computer Science and Technology Vol. 35 ( 6 ) 2020.11
Generalized Register Context-Free Grammars Reviewed
Ryoma Senda, Yoshiaki Takata and Hiroyuki Seki
IEICE Transactions on Information and Systems Vol. E103-D ( 3 ) page： 1-12 2020.3
Automating Time-series Safety Analysis for Automotive Control Systems Using Weighted Partial Max-SMT Reviewed
Shuichi Sato, Shogo Hattori, Hiroyuki Seki, Yutaka Inamori and Shoji Yuen
Journal of Information Processing Vol. 28 page： 124 - 135 2020.2
Complexity Results on Register Pushdown Autmata Reviewed
Ryoma Senda, Yoshiaki Takata and Hiroyuki Seki
3rd Workshop on Software Foundations for Data Interoperability page： 000-000 2019.10
On the Compositionality of Dynamic Leakage and Its Application to the Quantification Problem Reviewed
Trung Chu Bao, Kenji Hashimoto and Hiroyuki Seki
13th International Conference on Emerging Security Information, Systems and Technologies page： 000-000 2019.10
Quantifying dynamic leakage - Complexity analysis and model counting-based calculation - Reviewed
Trung Chu Bao, Kenji Hashimoto and Hiroyuki Seki
IEICE Transactions on Information and Systems Vol. E102-D ( 10 ) page： 1952-1965 2019.10
Optimal Run Problem for Weighted Register Automata Reviewed
Hiroyuki Seki, Reo Yoshimura and Yoshiaki Takata
16th International Colloquium on Theoretical Aspects of Computing (ICTAC 2019) Vol. 11884 page： 91-110 2019.10
Generalized Register Context-Free Grammars Reviewed
Ryoma Senda, Yoshiaki Takata and Hiroyuki Seki
13th International Conference on Language and Automata Theory and Applications (LATA 2019) Vol. 11417 page： 259 - 271 2019.3
Graph Compression by Tree Grammars and Direct Evaluation of Regular Path Query Reviewed
Takeshi Takeda, Kenji Hashimoto and Hiroyuki Seki
2019 IEEE 4th International Conference on Computer and Communication Systems page： CD104 2019.2
Complexity Results on Register Context-Free Grammars and Register Tree Automata Reviewed
Ryoma Senda, Yoshiaki Takata and Hiroyuki Seki
15th International Colloquium on Theoretical Aspects of Computing (ICTAC 2018) Vol. 11187 page： 415-434 2018.10
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
Bao Trung Chu, Kenji Hashimoto, Hiroyuki Seki
IEICE Transactions on Information and Systems Vol. E101-D ( 6 ) page： 1479-1490 2018.6
Availability Checking of Dynamic Spatial Information for Automobiles Reviewed
Shuichi Sato, Yosuke Watanabe, Hiroyuki Seki and Shoji Yuen
2nd International Conference on System Reliability and Safety page： 000 2017.12
量的情報流 - 概要と研究動向 - Invited Reviewed
関浩之
電子情報通信学会誌 Vol. 100 ( 9 ) page： 974 - 981 2017.9
Automating Time Series Safety Analysis for Automotive Control Systems in STPA using Weighted Partial Max-SMT Reviewed
Shuichi Sato, Shogo Hattori, Hiroyuki Seki, Yutaka Inamori, Shoji Yuen
15th International Workshop on Automated Verification of Critical Systems page： 0-0 2016.11
Direct Evaluation of Selecting Tree Automata on XML Documents Compressed with Top Trees Reviewed
Kenji Hashimoto, Suguru Nishimura, Hiroyuki Seki
4th International Workshop on Trends in Tree Automata and Tree Transducers page： 0-0 2016.7
An Extension of Proof Graphs for Disjunctive Parameterized Boolean Equation Systems Reviewed
Yutaro Nagae, Masahiko Sakai, Hiroyuki Seki
Rewriting Techniques for Program Transformations and Evaluation page： 0-0 2016.6
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 Swada, Yasunori Ishihara, Hiroyuki Seki, Toru Fujiwara
IEICE Transactions on Information and Systems Vol. E99-D ( 3 ) page： 575-587 2016.3
Automated Hazard Analysis with pMAX-SMT for Automobile Systems Reviewed
Shogo Hattori, Shoji Yuen, Hiroyuki Seki, Shuichi Sato
15th International Workshop on Automated Verification of Critical Systems page： 281-282 2015.9
Query-based l-diversity Reviewed
Chittaphone Phonharath, Ryonosuke Takayama, Kenji Hashimoto, Hiroyuki Seki
7th International Conference on Advances in Databases, Knowledge, and Data Applications page： 15-20 2015.5
Node Query Preservation for Deterministic Linear Top-Down Tree Transducers Reviewed
Kazuki Miyahara, Kenji Hashimoto, Hiroyuki Seki
IEICE Transactions on Information and System Vol. E98-D ( 3 ) page： 512 - 523 2015.3
A Post-Haiyan Community Level Mobility Model Reviewed
Jovilyn Therese B. Fajardo, Keiichi Yasumoto, Hiroyuki Seki
8th International Conference on Mibile Computing and Ubiquitous Metworking (ICMU 2015) 2015.1
Information Theoretical Evaluation of the Bucketing Technique to Mitigate Timing Attacks Reviewed
Yasuyuki Kobayashi, Yuichi Kaji, Hiroyuki Seki
International Symposium on Information Theory and Its Applications (ISITA 2014) page： 000-000 2014.10
Node Query Preservation for Deterministic Linear Top-Down Tree Transducers Reviewed
Kazuki Miyahara, Kenji Hashimoto, Hiroyuki Seki
2nd International Workshop on Trends in Tree Automata and Tree Transducers Vol. EPTCS ( 134 ) page： 27-37 2013.10
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
Error Control for High-Density Monochrome Two-Dimensional Barcodes Reviewed
Ramon Mejia, Yuichi Kaji, Hiroyuki Seki
IPSJ Transactions on Databases Vol. 5 ( 2 ) page： 17-25 2013.6
Determinacy and Subsumption for Single-valued Bottom-up Tree Transducers Reviewed
Kenji Hashimoto, Ryuta Sawada, Yasunori Ishihara, Hiroyuki Seki, Toru Fujiwara
7th International Conference on Language and Automata Theory and Applications Vol. LNCS 7810 page： 335-346 2013.4
Verification of the Security against Inference Attacks on XML Databases Reviewed
Chittaphone Phonharath, Kenji Hashimoto and Hiroyuki Seki
1st International Workshop on Trends in Tree Automata and Tree Transducers page： 11-22 2012.6
Trans-Organizational Role-Based Access Control Reviewed
Ramon Mejia, Yuichi Kaji and Hiroyuki Seki
ACM Computer and Communications Security page： 817-820 2011.10
言語理論の話をしよう，「ソフトウェアサイエンスの基本」シリーズ第１回 Reviewed
関 浩之，鰺坂 恒夫
コンピュータソフトウェア Vol. 28 ( 3 ) page： 61-69 2011.8
Low-density Parity Check Codes for High-Density 2D Barcode Symbology Reviewed
Ramon Mejia, Yuichi Kaji and Hiroyuki Seki
Sixth International Multi-Conference on Computing in the Global Information Technology page： ICCGI 3 2011.6
A Grammar-Based Approach to RNA Pseudoknotted Structure Prediction for Aligned Sequences Reviewed
Nobuyoshi Mizoguchi, Yuki Kato and Hiroyuki Seki
1st IEEE International Conference on Computational Advances in Bio and medical Sciences page： 135-140 2011.2
Automatic Generation of History-based Access Control from Information Flow Specification Reviewed
Yoshiaki Takata and Hiroyuki Seki
8th International Symposium on Automated Technology for Verification and Analysis Vol. LNCS 6252 page： 259-275 2010.9
Chomsky-Schutzenberger-Type Characterization of Multiple Context-Free Languages Reviewed
Ryo Yoshinaka, Yuichi Kaji and Hiroyuki Seki
4th International Conference on Language and Automata Theory and Applications Vol. LNCS 6031 page： 596-607 2010.5
Right-linear Finite Path Overlapping Rewrite Systems Effectively Preserve Recognizability Reviewed
Toshinori Takai, Yuichi Kaji and Hiroyuki Seki
Scientiae Mathematicae Japonicae Vol. e2010 ( 23 ) page： e2010-1 2010
Pairwise RNA Pseudoknotted Structure Prediction Based on Stochastic Grammar Reviewed
Nobuyoshi Mizoguchi, Yuki Kato and Hiroyuki Seki
20th International Conference on Genome Informatics page： P018-1-P018-2 2009.12
Dynamic Programming Algorithms and Grammatical Modeling for Protein Beta-Sheet Prediction Reviewed
Yuki Kato, Tatsuya Akutsu and Hiroyuki Seki
Journal of Computational Biology Vol. 16 ( 7 ) page： 945-957 2009.7
Comparison of the Expressive Power of Language-based Access Control Models Reviewed
Yoshiaki Takata and Hiroyuki Seki
IEICE Transactions on Information and Systems Vol. E92-D ( 5 ) page： 1033-1036 2009.5
A Grammatical Approach to RNA-RNA Interaction Prediction Reviewed
Yuki Kato, Tatsuya Akutsu and Hiroyuki Seki
Pattern Recognition Vol. 42 page： 5631-538 2009.4
Formal Language Theoretic Approach to the Disclosure Tree Strategy in Trust Management Reviewed
Yoshiaki Takata and Hiroyuki Seki
IEICE Transactions on Information and Systems Vol. E92-D ( 2 ) page： 200-210 2009.2
Prediction of Protein Beta-Sheets: Dynamic Programming versus Grammatical Approach Reviewed
Yuki Kato, Tatsuya Akutsu and Hiroyuki Seki
Third IAPR International Conference on Pattern Recognition in Bioinformatics Vol. LNB 5265 page： 66-77 2008.10
実行履歴に基づくアクセス制御の形式モデルと検証 Reviewed
高田喜朗, 王静, 関浩之
電子情報通信学会論文誌 Vol. J91-D ( 4 ) page： 847-858 2008.4
On the Generative Power of Multiple Context-Free Grammars and Macro Grammars Reviewed
Hiroyuki Seki and Yuki Kato
IEICE Transactions on Information and Systems Vol. E91-D ( 2 ) page： 209-221 2008.2
New Certificate Chain Discovery Methods for Trust Establishment in Ad Hoc Networks and Their Evaluatio Reviewed
Hisashi Mohri, Ikuya Yasuda, Yoshiaki Takata and Hiroyuki Seki
Journal of Information Processing Vol. 49 ( 1 ) page： 362-374 2008.1
A Grammatical Approach to RNA-RNA Interaction Prediction Reviewed
Yuki Kato, Tatsuya Akutsu and Hiroyuki Seki
Poster Abstracts of the 6th Asia Pacific Bioinformatics Conference page： P79 2008.1
A Grammatical Approach to RNA-RNA Interaction Prediction Reviewed
Yuki Kato, Tatsuya Akutsu and Hiroyuki Seki
2007 International Symposium on Computational Models for Life Sciences Vol. AIP 952 page： 197-206 2007.12
Languages Modulo Normalization Reviewed
Hitoshi Ohsaki and Hiroyuki Seki
6th International Symposium on Frontiers of Combining Systems Vol. LNAI 4720 page： 221-236 2007.9
A Labeled Transition Model A-LTS for History-based Aspect Weaving and Its Expressive Power Reviewed
Isao Yagi, Yoshiaki Takata and Hiroyuki Seki
IEICE Transactions on Information and Systems Vol. E90-D ( 5 ) page： 799-807 2007.5
Certification Chain Discovery in Web of Trust for Ad Hoc Networks Reviewed
Hisashi Mohri, Ikuya Yasuda, Yoshiaki Takata and Hiroyuki Seki
2007 IEEE International Symposium on Ubisafe Computing ( 2 ) page： 479-485 2007.5
RNA Pseudoknotted Structure Prediction Using Stochastic Multiple Context-Free Grammar Reviewed
Yuki Kato, Hiroyuki Seki and Tadao Kasami
IPSJ Transactions on Bioinformatics Vol. 47 ( SIG 17 (TBIO 1) ) page： 12-21 2006.11
A Static Analysis using Tree Automata for XML Access Control Reviewed
Isao Yagi, Yoshiaki Takata and Hiroyuki Seki
Computer Software Vol. 23 ( 3 ) page： 51-65 2006.7
Stochastic Multiple Context-Free Grammar for RNA Pseudoknot Modeling Reviewed
Yuki Kato, Hiroyuki Seki and Tadao Kasami
8th International Workshop on Tree Adjoining Grammar and Related Formalisms page： 57-64 2006.7
RNA Structure Prediction Including Pseudoknots Based on Stochastic Multiple Context-Free Grammar Reviewed
Yuki Kato, Hiroyuki Seki and Tadao Kasami
Probabilistic Modeling and Machine Learning in Structural and Systems Biology page： 32-37 2006.6
Integrating Presence Inference into Trust Management for Ubiquitous Systems Reviewed
Jun Noda, Mie Takahashi,Itaru Hosomi, Hisashi Mouri, Yoshiaki Takata and Hiroyuki Seki
11th ACM Symposium on Access Control Models and Technologies page： 59-68 2006.6
XML文書に対するアクセシビリティ・ガイドライン適合性検証 Reviewed
高田喜朗, 中村岳志, 関浩之
電子情報通信学会論文誌 Vol. J89-D ( 4 ) page： 705-715 2006.4
A Formal Model for Stateful Trust Management Systems Reviewed
Hisashi Mouri, Yoshiaki Takata and Hiroyuki Seki
IASTED International Conference on Software Engineering and Applications Vol. 467 ( 030 ) page： 87-92 2005.11
A Static Analysis using Tree Automata for XML Access Control Reviewed
Isao Yagi, Yoshiaki Takata and Hiroyuki Seki
Third International Symposium on Automated Technology for Verification and Analysis Vol. LNCS 3707 page： 234-247 2005.10
An Efficient Method for Optimal Probe Deployment of Distributed IDS Reviewed
Jing Wang, Naoya Nitta and Hiroyuki Seki
IEICE Transactions on Information and Systems Vol. E88-D ( 8 ) page： 1948-1957 2005.8
Policy Controlled System and Its Model Checking Reviewed
Shigeta Kuninobu, Yoshiaki Takata, Naoya Nitta and Hiroyuki Seki
IEICE Transactions on Information and Systems Vol. E88-D ( 7 ) page： 1685-1696 2005.7
LTL Model Checking for Extended Pushdown Systems with Regular Tree Valuations Reviewed
Naoya Nitta and Hiroyuki Seki
Computer Software Vol. 22 ( 3 ) page： 58-75 2005.7
On the Generative Power of Grammars for RNA Secondary Structure Reviewed
Yuki Kato, Hiroyuki Seki and Tadao Kasami
IEICE Transactions on Information and Systems Vol. E88-D ( 1 ) page： 53-64 2005.1
Temporal Reasoning about Two Concurrent Sequence of Events, SIAM Journal on Computing Reviewed
Yasunori Ishihara, Shin Ishii, Hiroyuki Seki and Minoru Ito
SIAM Journal on Computing Vol. 34 ( 2 ) page： 498-513 2005
Subclasses of Tree Adjoining Grammar for RNA Secondary Structure Reviewed
Yuki Kato, Hiroyuki Seki and Tadao Kasami
7th International Workshop on Tree Adjoining Grammar and Related Formalisms page： 48-55 2004.5
Accessibility Verification of WWW documents by an Automatic Guideline Verification Tool Reviewed
Yoshiaki Takata, Takeshi Nakamura and Hiroyuki Seki
37th Hawaii International Conference on System Sciences page： 98 2004.1
電気工学ハンドブック（第７版），1編 数学 第9章 情報数学 9.2 形式論理と計算論
電気学会（編）（ Role： Joint author）
オーム社 2013.9 （ ISBN:978-4-274-21382-3 ）
The Mathematics of Language, 12th Biennial Conference, MOL 12, Lecture Notes in Artificial Intelligence
Makoto Kanazawa, Andras Kornai, Marcus Kracht and Hiroyuki Seki（ Role： Joint author）
Springer 2011.9
多プレイヤーゲームにおける制約付きセキュア均衡の存在性
水野紘希，中西凜道，関浩之
電子情報通信学会技術研究報告, 124(326), SS2024-23, 13-18 2025.1.12
合理性に関する共有知識の下でのグラフゲームの検証
坂尾優斗，関浩之
電子情報通信学会技術研究報告, 124(217), SS2024-17, 16-21 2024.10.17
プライバシとサービス品質とのトレードオフを考慮した時空間データ保護手法
脇田侑輝，関浩之
電子情報通信学会技術研究報告, 124(133), SS2024-8, 43-48 2024.1.18
グラフ上のゲームにおける勝利目的の識別不能性のプライバシー保護への応用
中西凜道，高田喜朗，関浩之
第18回組合せゲーム・パズル研究集会，発表番号2 2024.3.15
周期的な正則言語の巡回群による半直積分解
井上裕介，橋本健二，関浩之
2024.3.6
When Is Context-Freeness Distinguishable from Regularity? An Extension of Parikh's Theorem
Yusuke Inoue, Kenji Hashimoto and Hiroyuki Seki
2024.3.6
確率的Büchiゲームにおけるドゥームズデイ均衡の存在判定問題
水野紘希，中西凜道，関浩之
電子情報通信学会技術研究報告, 123(335), SS2023-47, 93-98 2024.1.18
レジスタ付き多プレイヤーゲームに基づくシステム自動合成問題
坂尾優斗，関浩之
電子情報通信学会技術研究報告, 123(335), SS2023-40, 52-57 2024.1.18
A Game-Theoretic Approach to Indistinguishability of Winning Objectives as User Privacy
Rindo Nakanishi, Yoshiaki Takata and Hiroyuki Seki
電子情報通信学会技術研究報告, 123(206), SS2023-27, 32-37 2023.10.12
データ木書換え系の正則保存性 -線形単項標準形に分解可能なクラス-
坂尾優斗，関浩之
電子情報通信学会技術研究報告, 122(432), SS2022-62, 91-96 2023.3.15
An Ambiguity Hierarchy of Weighted Context-free Grammars
Yusuke Inoue, Kenji Hashimoto and Hiroyuki Seki
2023.3.7
確率的ゲームにおける非協調的合成問題
小出走，関浩之
電子情報通信学会技術研究報告, 122(225), SS2022-23, 10-15 2022.10.25
Active Learning for Deterministic Bottom-up Nominal Tree Automata
Rindo Nakanishi, Yoshiaki Takata and Hiroyuki Seki
電子情報通信学会技術研究報告, 122(225), SS2022-24, 16-21 2022.10.25
重み付き文脈自由文法の曖昧さ階層について
井上裕介，橋本健二，関浩之
2022.7.20
データ語書換え系の正則保存性とそのプロトコル検証への応用
坂尾優斗，関浩之
電子情報通信学会技術研究報告, 121(416), SS2021-46, 25-30 2022.3.7
確率的Mullerゲームにおける非協調的合成問題について
小出走，関浩之
第16回 組合せゲーム・パズル研究集会 2022.3.7
重み付き文脈自由文法の曖昧さ階層について
井上裕介，関浩之
電子情報通信学会技術研究報告, 121(407), COMP2021-31, 1-7 2022.3.6
Pumping lemmas for languages expressed by computational models with registers
Rindo Nakanishi, Yoshiaki Takata and Hiroyuki Seki
LA Symposium, 16 2022.2.2
木分解の圧縮および解集合プログラミングによる問合せ
小島和之，関浩之
電子情報通信学会技術研究報告, 121(314), DE2021-16, 7-12 2021.12.27
レジスタオートマトンと能力等価な凍結演算子付きmu-計算の部分クラス
大西晃，仙田涼摩，高田喜朗，関浩之
電子情報通信学会技術研究報告, 121(204), SS2021-17, 23-28 2021.10.19
レジスタオートマトンに変換可能な凍結演算子付き線形時相論理の部分クラス
大西晃，仙田涼摩，高田喜朗，関浩之
電子情報通信学会技術研究報告, 120(407), SS2020-29, 7-12 2021.3.3
重み付き多重文脈自由文法とその性質について
井上裕介，関浩之
電子情報通信学会技術研究報告, 120(407), SS2020-28, 1-6 2021.3.3
レジスタをもつ計算モデルの表現する言語に対するポンプの補題
中西凜道，仙田涼摩，高田喜朗，関浩之
電子情報通信学会技術研究報告, 120(343), SS2020-26, 72-77 2021.1.27
LTL model checking for register pushdown systems
Ryoma Senda, Yoshiaki Takata and Hiroyuki Seki
IEICE Technical Report, 120(193), SS2020-6, 7-12 2020.10.19
木分解と木文法圧縮を利用したグラフ圧縮法および圧縮データへの直接問合せ処理法の提案と評価
小島和之，関浩之
電子情報通信学会技術研究報告, 120(362), DE2020-13, 49-54 2020.9.5
On the regularity preservation property of register pushdown systems
Ryoma Senda, Yoshiaki Takata and Hiroyuki Seki
LA Symposium 2020.2.7
モデル計数に基づく動的QIF解析法の提案と評価
福田大地，関浩之
電子情報通信学会技術研究報告, 119(362), 49-54
Quantitative Information Flow - An Introduction Invited International conference
Hiroyuki Seki
3rd Workshop on Software Foundations for Data Interoperability 2019.10.28
Computing optimal weight in weighted register automata and related decision problems
Reo Yoshimura, Yoshiaki Takata and Hiroyuki Seki
動的情報漏洩量の解析および適応的制御入力最適化
三輪竜矢，関浩之
電子情報通信学会技術研究報告, 118(471), SS2018-68, 97-102 2019.3.4
重み付きレジスタオートマトンの最小重み実行問題
吉村玲勇，関浩之
電子情報通信学会技術研究報告, 118(385), SS2018-37, 61-66 2019.1.16
有向グラフに対する圧縮法および圧縮グラフに対する頂点選択問合せ評価法の提案
武田健志，橋本健二，関浩之
第10回データ工学と情報マネジメントに関するフォーラム（DEIM 2018）
非決定性選択木オートマトンの決定化
川本将也，橋本健二，関浩之
情報処理学会第117回プログラミング研究会（講演番号：2017-4-(2)）
レジスタ付き文脈自由文法に関する所属問題と空問題の計算複雑さ
仙田涼摩，関浩之
電子情報通信学会技術研究報告, 117(381), 41-46
トップ木に基づく圧縮データに対する直接更新法
西村卓, 橋本健二，関浩之
電子情報通信学会技術研究報告, 117(248), 7-12
木文法に基づくグラフ圧縮法および圧縮グラフに対する頂点選択問合せ評価法
武田健志，橋本健二，関浩之
電子情報通信学会技術研究報告 117(136), 1-6
モデル計数を用いた量的情報流解析のための論理式簡約と静的解析
中島聖斗，橋本健二，酒井正彦，関浩之
電子情報通信学会技術研究報告, 116(512), SS2016-61, 7-12
木文法に基づき圧縮されたXML文書に対するデータ値を考慮した直接更新法
高山隆之介，橋本健二，関浩之
第9回データ工学と情報マネジメントに関するフォーラム（DEIM 2017）
Counting for Recognizable and Algebraic Series
あるクラスのXPath式から先読み付き決定性選択木オートマトンへのスキーマを用いた変換
川本将也，橋本健二，関浩之
電子情報通信学会技術研究報告, 116(426), SS2016-54, 107-112
OSS開発におけるパッチの特徴量を用いた再投稿要求の予測
安藤聡志，伊原彰紀，関浩之，平尾俊貴，則兼卓人，松本健一
情報処理学会研究報告ソフトウェア工学(SE), 2016-SE-194(4), 1-5
#SMTツールを用いた量的情報流解析手法の高速化
中島聖斗，Trung Chu Bao, 橋本健二，酒井正彦，関浩之
電子情報通信学会技術研究報告，116(277), SS2016-26, 49-54
木文法に基づく圧縮XML文書に対するデータ値を考慮した直接更新手法
高山隆之介，橋本健二，関浩之
電子情報通信学会技術研究報告，116(277), SS2016-27, 55-60
トップ木に基づく木圧縮法の実装と問合せ処理法の提案
西村卓，橋本健二，関浩之
電子情報通信学会技術研究報告，116(127), SS2016-10, 93-98
難読性の高いMalbolgeコードを生成するコンパイラのための中間言語
河邉翔平，酒井正彦，西田直樹，関浩之
電子情報通信学会技術研究報告，116(127), SS2016-12, 105-11
On the query preservation for nondeterministic tree transducers
Kazuki Miyahara, Kenji Hashimoto and Hiroyuki Seki
IEICE Technical Report
非決定性木変換器における問合せ保存
宮原一喜，橋本健二，関浩之
第18回プログラミングおよびプログラミング言語ワークショップPPL2016
圧縮構造化文書のための更新手法の拡張とその実験的評価
後藤健志，高山隆之介，橋本健二，関浩之
電子通信学会技術研究報告，115(486), LOIS2015-75, 69-74
OSS開発におけるソースコード静的解析手法を用いたパッチ検証手法の提案
安藤聡志，平尾俊貴，伊原彰紀，松本健一，関浩之
ウィンターワークショップ2016・イン・逗子
A method for making proof graph finite on disjunctive parameterised Boolean equation systems
Yutaro Nagae, Masahiko Sakai, Hiroyuki Seki
IEICE Technical Report, 115(420), SS2015-58, 81-85
モデル計数を用いたXMLデータベースのk-安全性検査システムの高速化
浅井孝俊，橋本健二，関浩之
電子情報通信学会技術研究報告，115(420), SS2015-52, 47-52
拡張線形ボトムアップ木変換器の関数性の多項式時間判定
石原 鷹, 橋本 健二, 関 浩之, 酒井 正彦
第104回情報処理学会・プログラミング研究会, 2015-1-(1)
量的情報流と差分プライバシー
関浩之
電子情報通信学会技術研究報告, 115(20), SS2015-4, 17-22
Query-based l-diversity
6. Chittaphone Phonharath, Ryonosuke Takayama, Kenji Hashimoto, Hiroyuki Seki
IEICE Technical Report, 115(20), SS2015-14, 65-70
モデル計数を用いたXMLデータベースのk-安全性検査
浅井孝俊，上杉正紀，橋本健二，関浩之
電子情報通信学会技術研究報告，115(420), SS2015-52, 47-52
木文法に基づく圧縮XML文書に対する直接更新手法の評価
後藤健志，尾上栄浩，橋本健二，関浩之
電子情報通信学会技術研究報告, 114(416), SS2014-45, 73-78
RSA暗号の高速化手法に対するタイミング攻撃の情報理論的安全性評価
小林靖幸，楫勇一，関浩之，伊藤実
2015年暗号と情報セキュリティシンポジウム(SCIS2015), 4F1-2
セキュリティやプライバシーの定量的尺度について
関浩之
電子情報通信学会技術研究報告, IT2014-52, 114(353), 13-18
木文法による圧縮XML文書に対する問合せと更新手法
尾上栄浩，橋本健二，関浩之
電子情報通信学会技術研究報告, 114(271), SS2014-28, 17-22
Quantitative evaluation of the key information that is learned through timing attack The contribution of bucketing technique for RSA cryptosystem
Yasuyuki Kobayashi, Yuichi Kaji, Hiroyuki Seki, Minoru Ito
Towards HMM parameter estimation with differential privacy
Nut Sornchumni, Kenji Hashimoto and Hiroyuki Seki
IPSJ SIG on Mathematical Modeling and Problem Solving, 2014-MPS-98(25)
デバイスペアリングを利用した位置証明プロトコルの提案
小田 将之, 橋本 健二, 楫 勇一, 関 浩之
情報処理学会研究報告, 2014-DPS-158(37)
Runtime Control of a Program based on Quantitative Information Flow
Bao Trung Chu, Kenji Hashimoto, Hiroyuki Seki
IEICE Technical Report, 113(422), SS2013-60, 71-76
データハイブリッドなリアクティブプログラムの解析技術と自動合成・説明抽出への応用
Grant number：22H03568 2022.4 - 2025.3
科学研究費助成事業 基盤研究(B)
関 浩之, 小川 瑞史, 結縁 祥治, 橋本 健二
Authorship：Principal investigator
Grant amount：\13910000 （ Direct Cost: \10700000 、 Indirect Cost：\3210000 ）
組込み制御ソフトウェアに代表されるリアクティブプログラムの信頼性を担保するための数理的手法を実用システムに適用可能にするためには，データ値，時間，確率等の量的概念を考慮した計算モデルの設定が鍵となる．本研究ではこのような問題意識のもとに，以下の課題に取り組む．
データ値を扱うモデルであるレジスタ計算モデルについて，表現能力の同定，基本問題の計算量解析，特にリアクティブ合成問題とそれに関連するゲーム構造の数理的解析を行う．
重みとは，コスト等，計算に従って発生する付随量を表す．重み付き計算モデルの表現能力を明らかにし，重み付き計算モデルの対話的学習アルゴリズムを開発して，説明可能AIへ応用する．
データハイブリッドなリアクティブプログラムの解析技術と自動合成・説明抽出への応用
Grant number：23K24824 2022.4 - 2025.3
科学研究費助成事業 基盤研究(B)
関 浩之, 小川 瑞史, 結縁 祥治, 橋本 健二
Authorship：Principal investigator
Grant amount：\13910000 （ Direct Cost: \10700000 、 Indirect Cost：\3210000 ）
組込み制御ソフトウェアに代表されるリアクティブプログラムの信頼性を担保するための数理的手法を実用システムに適用可能にするためには，データ値，時間，確率等の量的概念を考慮した計算モデルの設定が鍵となる．本研究ではこのような問題意識のもとに，以下の課題に取り組む．
データ値を扱うモデルであるレジスタ計算モデルについて，表現能力の同定，基本問題の計算量解析，特にリアクティブ合成問題とそれに関連するゲーム構造の数理的解析を行う．
重みとは，コスト等，計算に従って発生する付随量を表す．重み付き計算モデルの表現能力を明らかにし，重み付き計算モデルの対話的学習アルゴリズムを開発して，説明可能AIへ応用する．
レジスタ計算モデルに関する研究：データ値を扱う計算モデルであるレジスタオートマトン(RA), レジスタ文脈自由文法(RCFG), レジスタ木オートマトン(RTA)の能力を考察するため，それらの表現する言語クラスに対するポンプ補題を証明した．本補題を用い，RA, RCFG, RTAでは表現できない言語の具体例を示した．
RAに対応する論理として，凍結演算子付きμ-計算（μ↓-計算）が知られている．しかしμ↓-計算は表現能力が大きすぎて自動検証への応用は難しい．本研究では，論理積に関する制約（高々一方のオペランドにしか凍結演算子，X以外の時相演算子を含まない）を満たす部分クラスμd↑-計算を定義し，RAとμd↑-計算の表現能力が同一であることを証明した．
ノミナル集合はデータ値の無限集合を群論的に拡張した概念である．本研究では，決定性上昇型ノミナル木オートマトン(DBNTA)を定義し，DBNTAに対する対話型学習アルゴリズムを提案した．ノミナル集合上の適切な半順序を定義し，２つの軌道有限集合間にこの半順序に関する無限鎖が存在しないことを示すことで，提案アルゴリズムの停止性を証明した．
重み付きモデルに関する研究：多重文脈自由文法（mcfg）は文脈自由文法(cfg)の自然な拡張である．本研究では，mcfgに重みを導入したwmcfgを定義した．wmcfgは語の組を重みに対応づける関数を表現する．続いて，wmcfgに対する２つの基本問題が多項式時間判定可能であること，wmcfgによって表現される関数のクラスが，基本的な4つの演算に対して閉じていること等を証明した．
重み付きcfg(wcfg)は，cfgに重みを導入した計算モデルである．本研究では，トロピカル半環上の無あいまいwcfg, 有限あいまいwcfg, 多項式あいまいwcfg, および，一般のwcfgの間に，表現能力に関する真の階層関係が存在すること等を証明した．
学術誌に３編，および，当該専門分野の査読付き国際会議に２編フルペーパーが採択されている等，十分な成果が上がっていることから，進捗状況はおおむね順調であるといえる．
今後は，計算モデルとしてオートマトンや形式文法を用いると同時に，ゲーム構造を用いてソフトウェア検証，プログラム自動合成およびプライバシー保護に関する基礎的研究を行う．具体的に，リアクティブプログラムの自動合成問題（合成問題と略）に関する二つの課題に取り組む．一つは確率的ゲーム構造に対する非協調的合成問題（合成しようとするシステムに対して，環境が必ずしも協調するとは限らないという現実的設定のもとで，システムが勝利するようなNash均衡が存在するならば，それを構成する問題）である．
もう一つは，レジスタ付き合成問題（頂点にデータ値が関連づけられた有向グラフ上のゲームにおいて，RAで与えられる仕様すなわち勝利目的を満たすレジスタ変換器を構成する問題）である．
また，ゲームにおけるプレイヤーの勝利目的をそのプレイヤー（ユーザ）のプライバシー情報とみなし，ゲームを観測する敵対者がプレイヤーの勝利目的を推測するのをできる限り困難とするような戦略（識別不能戦略）および，どのプレイヤーも単独では推測困難性を大きくすることはできないような戦略の組（勝利目的識別不能均衡）を定義し，それらに関する判定問題の判定可能性や計算量を解析する．
形式言語の周期性に関しては，ある種の周期性をもつ正規言語を，巡回群などを用いて代数的に分解する手法を考察する．
Network of automata with data based on compositional active learning
Grant number：21H03415 2021.4 - 2026.3
Grants-in-Aid for Scientific Research Grant-in-Aid for Scientific Research (B)
Authorship：Coinvestigator(s)
A design of automaton network with data and time based on a compositional active learning
Grant number：23K21654 2021.4 - 2026.3
Grants-in-Aid for Scientific Research Grant-in-Aid for Scientific Research (B)
Authorship：Coinvestigator(s)
Understanding malware semantics by AI-supported formal methods
Grant number：20K20625 2020.7 - 2026.3
Grants-in-Aid for Scientific Research Grant-in-Aid for Challenging Research (Pioneering)
Authorship：Coinvestigator(s)
Quantitative extension of formal models and its application to software analysis
Grant number：19H04083 2019.4 - 2023.3
Grants-in-Aid for Scientific Research Grant-in-Aid for Scientific Research (B)
Seki Hiroyuki
Authorship：Principal investigator
Grant amount：\17160000 （ Direct Cost: \13200000 、 Indirect Cost：\3960000 ）
We studied on the following three research topics. First, we proposed two notions on dynamic quantitative information flow (QIF), analyzed the complexity for computing these QIFs and implemented a tool for computing these QIFs based on model counting tools. Second, we investigated the complexity of basic problems on register context-free grammar (RCFG). We then proposed generalized RCFG and provided a sufficient condition for an RCFG to have decidability property on basic problems. As an application of register models to software verification, we studied LTL (linear-time temporal logic) model checking for register pushdown systems. We also proposed a subclass of mu-calculus with the freeze quantifiers which are equivalent to register automata. Furthermore, we investigated the reactive synthesis from visibly register pushdown automata. Third, we introduced the optimal run problem for weighted register automata and analyzed its complexity.
A reversible debugging model for real-time concurrent programs
Grant number：17H01722 2017.4 - 2021.3
Grants-in-Aid for Scientific Research Grant-in-Aid for Scientific Research (B)
YUEN SHOJI
Authorship：Coinvestigator(s)
The objectives of this research seek a technology based on reversible computing to provide a novel technique for analysing concurrent programs. Recent software technology of development and maintenance requires behavioural analysis with the past configurations. Concurrency often makes such analysis difficult since the behaviour is inherently nondeterministic, and a replay of execution involves the information of forward executions, which are usually discarded.
In this respect, we investigate a technique base on the formal model analysing reversible execution of concurrent software. We apply the technique to the behaviour analysis, mainly aiming at efficient debugging of concurrent programs. We also investigate analysis techniques for concurrent programs and debuggers, including information compression, timed automaton model, and session types.
鍵の生成方法
関浩之，中村嘉隆，野田潤
鍵の生成方法、装置及びプログラム
野田 潤, 関 浩之, 中村 嘉隆
鍵管理装置、サービス提供装置、アクセス管理システム、アクセス管理方法、制御プログラム、およびコンピュータ読み取り可能な記録媒体
楫 勇一，関 浩之
暗号鍵生成システム、暗号鍵生成方法および暗号鍵生成用プログラム
仁野 裕一, 野田 潤, 関 浩之, 中村 嘉隆, 南 貴博
位置情報推定方法、位置情報推定装置、及び位置情報推定プログラム
野田 潤, 高田 喜朗, 関 浩之、野田 三恵
情報処理システム、情報処理装置、情報処理方法、および情報処理プログラム
野田 潤, 高田 喜朗, 関 浩之, 細見 格, 高橋 三恵
信用確立方法と信用に基づいたサービス制御システム
野田 潤, 田口 大悟, 関 浩之, 高田 喜朗, 仁野 裕一
情報通信方法およびシステム
田口 大悟, 仁野 裕一, 関 浩之, 高田 喜朗
データ管理装置及びデータ管理プログラム
田口 大悟, 関 浩之, 細見 格, 中江 政行, 楫 勇一, 高田 喜朗
