所属
大学院情報学研究科 情報システム学専攻 ソフトウェア論 教授
大学院担当
大学院情報科学研究科
大学院情報学研究科
大学院情報学研究科
学部担当
工学部
情報学部 コンピュータ科学科
情報学部 コンピュータ科学科
職名
教授
連絡先
セキ ヒロユキ
関 浩之
SEKI Hiroyuki
学位 1
-
工学博士 （ 1987年3月 大阪大学 ）
受賞 15
-
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
-
第９回研究会若手優秀講演賞
2022年10月 電子情報通信学会ディペンダブルコンピューティング研究会 レジスタオートマトンと能力等価な凍結演算子付きmu-計算の部分クラス
大西晃
-
令和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月 情報処理学会 抽象的順序機械型代数的仕様からのドキュメント生成システム
工藤 朋之, 石原 靖哲, 関 浩之, 奥井 順
論文 82
-
An Ambiguity Hierarchy of Weighted Context-free Grammars 査読有り
Yusuke Inoue, Kenji Hashimoto and Hiroyuki Seki
Theoretical Computer Science 974 巻 頁： 1 - 12 2023年9月
-
Active Learning for Deterministic Bottom-up Nominal Tree Automata 査読有り
Rindo Nakanishi, Yoshiaki Takata and Hiroyuki Seki
19th International Colloquium on Theoretical Aspects of Computing (ICTAC 2022) 2022年9月
-
Complexity Results on Register Context-Free Grammars and Related Formalisms 査読有り
Ryoma Senda, Yoshiaki Takata and Hiroyuki Seki
Theoretical Computer Science 923 巻 頁： 99 - 125 2022年5月
-
Reactive Synthesis from Visibly Register Pushdown Automata 査読有り
Ryoma Senda, Yoshiaki Takata and Hiroyuki Seki
18th International Colloquium on Theoretical Aspects of Computing (ICTAC 2021) 12819 巻 頁： 334-353 2021年9月
-
Optimal Run Problem for Weighted Register Automata 査読有り
Hiroyuki Seki, Reo Yoshimura and Yoshiaki Takata
Theoretical Computer Science 850 巻 ( 4 ) 頁： 185 - 201 2021年1月
-
Generalized Register Context-Free Grammars 査読有り
Ryoma Senda, Yoshiaki Takata and Hiroyuki Seki
13th International Conference on Language and Automata Theory and Applications (LATA 2019) 11417 巻 頁： 259 - 271 2019年3月
-
Complexity Results on Register Context-Free Grammars and Register Tree Automata 査読有り
Ryoma Senda, Yoshiaki Takata and Hiroyuki Seki
15th International Colloquium on Theoretical Aspects of Computing (ICTAC 2018) 11187 巻 頁： 415-434 2018年10月
-
An Equational Logic Based Approach to the Security Problem against Inference Attacks on Object-Oriented Database 査読有り
Yasunori Ishihara, Toshiyuki Morita, Hiroyuki Seki and Minoru Ito
Journal of Computer and System Sciences 73 巻 頁： 788-817 2007年
-
HBAC: A Model for History-based Access Control and Its Model Checking 査読有り
Jing Wang, Yoshiaki Takata and Hiroyuki Seki
11th European Symposium On Research In Computer Security (ESORICS 2006) LNCS 4189 巻 頁： 263-278 2006年9月
-
Non-Cooperative Rational Synthesis Problem on Stochastic Games for Positional Strategies 査読有り
So Koide, Yoshiaki Takata and Hiroyuki Seki
IEICE Transactions on Information and Systems E107-D 巻 ( 3 ) 頁： 1 - 10 2024年3月
-
When Is Context-Freeness Distinguishable from Regularity? An Extension of Parikh's Theoremrs 査読有り
Yusuke Inoue, Kenji Hashimoto and Hiroyuki Seki
27th International Conference on Implementation and Application of Automata (CIAA 2022) LNCS 巻 2023年9月
-
A Subclass of Mu-Calculus with the Freeze Quantifier Equivalent to Register Automata 査読有り
Yoshiaki Takata, Akira Onishi, Ryoma Senda and Hiroyuki Seki
IEICE Transactions on Information and Systems E106-D 巻 ( 3 ) 頁： 294 - 302 2023年3月
-
Weighted Multiple Context-free Grammars 査読有り
Yusuke Inoue, Kenji Hashimoto and Hiroyuki Seki
IEICE Transactions on Information and Systems E106-D 巻 ( 3 ) 頁： 309 - 318 2023年3月
-
Pumping Lemmas for Languages Expressed by Computational Models with Registers 査読有り
Rindo Nakanishi, Yoshiaki Takata and Hiroyuki Seki
IEICE Transactions on Information and Systems E106-D 巻 ( 3 ) 頁： 284 - 293 2023年3月
-
Reduction of Register Pushdown Systems with Freshness Property to Pushdown Systems in LTL Model Checking 査読有り
Yoshiaki Takata, Ryoma Senda and Hiroyuki Seki
IEICE Transactions on Information and Systems E105-D 巻 ( 9 ) 頁： 1620 - 1623 2022年9月
-
An Ambiguity Hierarchy of Weighted Context-free Grammars 査読有り
Yusuke Inoue, Kenji Hashimoto and Hiroyuki Seki
26th International Conference on Implementation and Application of Automata (CIAA 2022) LNCS 13266 巻 頁： 238 - 250 2022年6月
-
木分解の圧縮および解集合プログラミングに基づく問合せ処理法の提案と評価 査読有り
小島和之，関浩之
日本データベース学会和文論文誌 20-J 巻 ( 16 ) 頁： 1 - 9 2022年3月
-
LTL Model Checking for Register Pushdown Systems 査読有り
Ryoma Senda, Yoshiaki Takata and Hiroyuki Seki
IEICE Transactions on Information and Systems E104-D 巻 ( 12 ) 頁： 2131 - 2144 2021年12月
-
Forward Regularity Preservation Property of Register Pushdown Systems 査読有り
Ryoma Senda, Yoshiaki Takata and Hiroyuki Seki
IEICE Transactions on Information and Systems E104-D 巻 ( 3 ) 頁： 370 - 380 2021年3月
-
Reachability of Patterned Conditional Pushdown Systems 査読有り 国際共著
Xin Li, Patric Gardy, Yu-Xin Deng and Hiroyuki Seki
Journal of Computer Science and Technology 35 巻 ( 6 ) 2020年11月
-
Generalized Register Context-Free Grammars 査読有り
Ryoma Senda, Yoshiaki Takata and Hiroyuki Seki
IEICE Transactions on Information and Systems E103-D 巻 ( 3 ) 頁： 1-12 2020年3月
-
Automating Time-series Safety Analysis for Automotive Control Systems Using Weighted Partial Max-SMT 査読有り
Shuichi Sato, Shogo Hattori, Hiroyuki Seki, Yutaka Inamori and Shoji Yuen
Journal of Information Processing 28 巻 頁： 124 - 135 2020年2月
-
Complexity Results on Register Pushdown Autmata 査読有り
Ryoma Senda, Yoshiaki Takata and Hiroyuki Seki
3rd Workshop on Software Foundations for Data Interoperability 頁： 000-000 2019年10月
-
On the Compositionality of Dynamic Leakage and Its Application to the Quantification Problem 査読有り
Trung Chu Bao, Kenji Hashimoto and Hiroyuki Seki
13th International Conference on Emerging Security Information, Systems and Technologies 頁： 000-000 2019年10月
-
Quantifying dynamic leakage - Complexity analysis and model counting-based calculation - 査読有り
Trung Chu Bao, Kenji Hashimoto and Hiroyuki Seki
IEICE Transactions on Information and Systems E102-D 巻 ( 10 ) 頁： 1952-1965 2019年10月
-
Optimal Run Problem for Weighted Register Automata 査読有り
Hiroyuki Seki, Reo Yoshimura and Yoshiaki Takata
16th International Colloquium on Theoretical Aspects of Computing (ICTAC 2019) 11884 巻 頁： 91-110 2019年10月
-
Graph Compression by Tree Grammars and Direct Evaluation of Regular Path Query 査読有り
Takeshi Takeda, Kenji Hashimoto and Hiroyuki Seki
2019 IEEE 4th International Conference on Computer and Communication Systems 頁： CD104 2019年2月
-
Direct Update of XML Documents with Data Values Compressed by Tree Grammars 査読有り
Kenji Hashimoto, Ryunosuke Takayama and Hiroyuki Seki
IEICE Transactions on Information and Systems E101-D 巻 ( 6 ) 頁： 1467-1478 2018年6月
-
Counting Algorithms for Recognizable and Algebraic Series 査読有り
Bao Trung Chu, Kenji Hashimoto, Hiroyuki Seki
IEICE Transactions on Information and Systems E101-D 巻 ( 6 ) 頁： 1479-1490 2018年6月
-
Availability Checking of Dynamic Spatial Information for Automobiles 査読有り
Shuichi Sato, Yosuke Watanabe, Hiroyuki Seki and Shoji Yuen
2nd International Conference on System Reliability and Safety 頁： 000 2017年12月
-
量的情報流 - 概要と研究動向 - 招待有り 査読有り
関浩之
電子情報通信学会誌 100 巻 ( 9 ) 頁： 974 - 981 2017年9月
-
Automating Time Series Safety Analysis for Automotive Control Systems in STPA using Weighted Partial Max-SMT 査読有り
Shuichi Sato, Shogo Hattori, Hiroyuki Seki, Yutaka Inamori, Shoji Yuen
15th International Workshop on Automated Verification of Critical Systems 頁： 0-0 2016年11月
-
Direct Evaluation of Selecting Tree Automata on XML Documents Compressed with Top Trees 査読有り
Kenji Hashimoto, Suguru Nishimura, Hiroyuki Seki
4th International Workshop on Trends in Tree Automata and Tree Transducers 頁： 0-0 2016年7月
-
Query Rewriting for Nondeterministic Tree Transducers 査読有り
Kazuki Miyahara, Kenji Hashimoto, Hiroyuki Seki
IEICE Transactions on Information and Systems E99-D 巻 ( 6 ) 頁： 1410-1419 2016年6月
-
An Extension of Proof Graphs for Disjunctive Parameterized Boolean Equation Systems 査読有り
Yutaro Nagae, Masahiko Sakai, Hiroyuki Seki
Rewriting Techniques for Program Transformations and Evaluation 頁： 0-0 2016年6月
-
Determinacy and Subsumption of Single-valued Bottom-up Tree Transducers 査読有り
Kenji Hashimoto, Ryuta Swada, Yasunori Ishihara, Hiroyuki Seki, Toru Fujiwara
IEICE Transactions on Information and Systems E99-D 巻 ( 3 ) 頁： 575-587 2016年3月
-
Automated Hazard Analysis with pMAX-SMT for Automobile Systems 査読有り
Shogo Hattori, Shoji Yuen, Hiroyuki Seki, Shuichi Sato
15th International Workshop on Automated Verification of Critical Systems 頁： 281-282 2015年9月
-
Query-based l-diversity 査読有り
Chittaphone Phonharath, Ryonosuke Takayama, Kenji Hashimoto, Hiroyuki Seki
7th International Conference on Advances in Databases, Knowledge, and Data Applications 頁： 15-20 2015年5月
-
Node Query Preservation for Deterministic Linear Top-Down Tree Transducers 査読有り
Kazuki Miyahara, Kenji Hashimoto, Hiroyuki Seki
IEICE Transactions on Information and System E98-D 巻 ( 3 ) 頁： 512 - 523 2015年3月
-
A Post-Haiyan Community Level Mobility Model 査読有り
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 査読有り
Yasuyuki Kobayashi, Yuichi Kaji, Hiroyuki Seki
International Symposium on Information Theory and Its Applications (ISITA 2014) 頁： 000-000 2014年10月
-
Node Query Preservation for Deterministic Linear Top-Down Tree Transducers 査読有り
Kazuki Miyahara, Kenji Hashimoto, Hiroyuki Seki
2nd International Workshop on Trends in Tree Automata and Tree Transducers EPTCS 巻 ( 134 ) 頁： 27-37 2013年10月
-
Error Control for High-Density Monochrome Two-Dimensional Barcodes 査読有り
Ramon Mejia, Yuichi Kaji, Hiroyuki Seki
IPSJ Transactions on Databases 5 巻 ( 2 ) 頁： 17-25 2013年6月
-
Deciding Schema k-Secrecy for XML Databases 査読有り
Chittaphone Phonharath, Kenji Hashimoto, Hiroyuki Seki
IEICE Transactions on Information and Systems E96-D 巻 ( 6 ) 頁： 1268-1277 2013年6月
-
Determinacy and Subsumption for Single-valued Bottom-up Tree Transducers 査読有り
Kenji Hashimoto, Ryuta Sawada, Yasunori Ishihara, Hiroyuki Seki, Toru Fujiwara
7th International Conference on Language and Automata Theory and Applications LNCS 7810 巻 頁： 335-346 2013年4月
-
Verification of the Security against Inference Attacks on XML Databases 査読有り
Chittaphone Phonharath, Kenji Hashimoto and Hiroyuki Seki
1st International Workshop on Trends in Tree Automata and Tree Transducers 頁： 11-22 2012年6月
-
Trans-Organizational Role-Based Access Control 査読有り
Ramon Mejia, Yuichi Kaji and Hiroyuki Seki
ACM Computer and Communications Security 頁： 817-820 2011年10月
-
言語理論の話をしよう，「ソフトウェアサイエンスの基本」シリーズ第１回 査読有り
関 浩之，鰺坂 恒夫
コンピュータソフトウェア 28 巻 ( 3 ) 頁： 61-69 2011年8月
-
Low-density Parity Check Codes for High-Density 2D Barcode Symbology 査読有り
Ramon Mejia, Yuichi Kaji and Hiroyuki Seki
Sixth International Multi-Conference on Computing in the Global Information Technology 頁： ICCGI 3 2011年6月
-
A Grammar-Based Approach to RNA Pseudoknotted Structure Prediction for Aligned Sequences 査読有り
Nobuyoshi Mizoguchi, Yuki Kato and Hiroyuki Seki
1st IEEE International Conference on Computational Advances in Bio and medical Sciences 頁： 135-140 2011年2月
-
Automatic Generation of History-based Access Control from Information Flow Specification 査読有り
Yoshiaki Takata and Hiroyuki Seki
8th International Symposium on Automated Technology for Verification and Analysis LNCS 6252 巻 頁： 259-275 2010年9月
-
Chomsky-Schutzenberger-Type Characterization of Multiple Context-Free Languages 査読有り
Ryo Yoshinaka, Yuichi Kaji and Hiroyuki Seki
4th International Conference on Language and Automata Theory and Applications LNCS 6031 巻 頁： 596-607 2010年5月
-
Right-linear Finite Path Overlapping Rewrite Systems Effectively Preserve Recognizability 査読有り
Toshinori Takai, Yuichi Kaji and Hiroyuki Seki
Scientiae Mathematicae Japonicae e2010 巻 ( 23 ) 頁： e2010-1 2010年
-
Pairwise RNA Pseudoknotted Structure Prediction Based on Stochastic Grammar 査読有り
Nobuyoshi Mizoguchi, Yuki Kato and Hiroyuki Seki
20th International Conference on Genome Informatics 頁： P018-1-P018-2 2009年12月
-
Dynamic Programming Algorithms and Grammatical Modeling for Protein Beta-Sheet Prediction 査読有り
Yuki Kato, Tatsuya Akutsu and Hiroyuki Seki
Journal of Computational Biology 16 巻 ( 7 ) 頁： 945-957 2009年7月
-
Comparison of the Expressive Power of Language-based Access Control Models 査読有り
Yoshiaki Takata and Hiroyuki Seki
IEICE Transactions on Information and Systems E92-D 巻 ( 5 ) 頁： 1033-1036 2009年5月
-
A Grammatical Approach to RNA-RNA Interaction Prediction 査読有り
Yuki Kato, Tatsuya Akutsu and Hiroyuki Seki
Pattern Recognition 42 巻 頁： 5631-538 2009年4月
-
Formal Language Theoretic Approach to the Disclosure Tree Strategy in Trust Management 査読有り
Yoshiaki Takata and Hiroyuki Seki
IEICE Transactions on Information and Systems E92-D 巻 ( 2 ) 頁： 200-210 2009年2月
-
Prediction of Protein Beta-Sheets: Dynamic Programming versus Grammatical Approach 査読有り
Yuki Kato, Tatsuya Akutsu and Hiroyuki Seki
Third IAPR International Conference on Pattern Recognition in Bioinformatics LNB 5265 巻 頁： 66-77 2008年10月
-
実行履歴に基づくアクセス制御の形式モデルと検証 査読有り
高田喜朗, 王静, 関浩之
電子情報通信学会論文誌 J91-D 巻 ( 4 ) 頁： 847-858 2008年4月
-
On the Generative Power of Multiple Context-Free Grammars and Macro Grammars 査読有り
Hiroyuki Seki and Yuki Kato
IEICE Transactions on Information and Systems E91-D 巻 ( 2 ) 頁： 209-221 2008年2月
-
New Certificate Chain Discovery Methods for Trust Establishment in Ad Hoc Networks and Their Evaluatio 査読有り
Hisashi Mohri, Ikuya Yasuda, Yoshiaki Takata and Hiroyuki Seki
Journal of Information Processing 49 巻 ( 1 ) 頁： 362-374 2008年1月
-
A Grammatical Approach to RNA-RNA Interaction Prediction 査読有り
Yuki Kato, Tatsuya Akutsu and Hiroyuki Seki
Poster Abstracts of the 6th Asia Pacific Bioinformatics Conference 頁： P79 2008年1月
-
A Grammatical Approach to RNA-RNA Interaction Prediction 査読有り
Yuki Kato, Tatsuya Akutsu and Hiroyuki Seki
2007 International Symposium on Computational Models for Life Sciences AIP 952 巻 頁： 197-206 2007年12月
-
Languages Modulo Normalization 査読有り
Hitoshi Ohsaki and Hiroyuki Seki
6th International Symposium on Frontiers of Combining Systems LNAI 4720 巻 頁： 221-236 2007年9月
-
A Labeled Transition Model A-LTS for History-based Aspect Weaving and Its Expressive Power 査読有り
Isao Yagi, Yoshiaki Takata and Hiroyuki Seki
IEICE Transactions on Information and Systems E90-D 巻 ( 5 ) 頁： 799-807 2007年5月
-
Certification Chain Discovery in Web of Trust for Ad Hoc Networks 査読有り
Hisashi Mohri, Ikuya Yasuda, Yoshiaki Takata and Hiroyuki Seki
2007 IEEE International Symposium on Ubisafe Computing ( 2 ) 頁： 479-485 2007年5月
-
RNA Pseudoknotted Structure Prediction Using Stochastic Multiple Context-Free Grammar 査読有り
Yuki Kato, Hiroyuki Seki and Tadao Kasami
IPSJ Transactions on Bioinformatics 47 巻 ( SIG 17 (TBIO 1) ) 頁： 12-21 2006年11月
-
A Static Analysis using Tree Automata for XML Access Control 査読有り
Isao Yagi, Yoshiaki Takata and Hiroyuki Seki
Computer Software 23 巻 ( 3 ) 頁： 51-65 2006年7月
-
Stochastic Multiple Context-Free Grammar for RNA Pseudoknot Modeling 査読有り
Yuki Kato, Hiroyuki Seki and Tadao Kasami
8th International Workshop on Tree Adjoining Grammar and Related Formalisms 頁： 57-64 2006年7月
-
RNA Structure Prediction Including Pseudoknots Based on Stochastic Multiple Context-Free Grammar 査読有り
Yuki Kato, Hiroyuki Seki and Tadao Kasami
Probabilistic Modeling and Machine Learning in Structural and Systems Biology 頁： 32-37 2006年6月
-
Integrating Presence Inference into Trust Management for Ubiquitous Systems 査読有り
Jun Noda, Mie Takahashi,Itaru Hosomi, Hisashi Mouri, Yoshiaki Takata and Hiroyuki Seki
11th ACM Symposium on Access Control Models and Technologies 頁： 59-68 2006年6月
-
XML文書に対するアクセシビリティ・ガイドライン適合性検証 査読有り
高田喜朗, 中村岳志, 関浩之
電子情報通信学会論文誌 J89-D 巻 ( 4 ) 頁： 705-715 2006年4月
-
A Formal Model for Stateful Trust Management Systems 査読有り
Hisashi Mouri, Yoshiaki Takata and Hiroyuki Seki
IASTED International Conference on Software Engineering and Applications 467 巻 ( 030 ) 頁： 87-92 2005年11月
-
A Static Analysis using Tree Automata for XML Access Control 査読有り
Isao Yagi, Yoshiaki Takata and Hiroyuki Seki
Third International Symposium on Automated Technology for Verification and Analysis LNCS 3707 巻 頁： 234-247 2005年10月
-
An Efficient Method for Optimal Probe Deployment of Distributed IDS 査読有り
Jing Wang, Naoya Nitta and Hiroyuki Seki
IEICE Transactions on Information and Systems E88-D 巻 ( 8 ) 頁： 1948-1957 2005年8月
-
Policy Controlled System and Its Model Checking 査読有り
Shigeta Kuninobu, Yoshiaki Takata, Naoya Nitta and Hiroyuki Seki
IEICE Transactions on Information and Systems E88-D 巻 ( 7 ) 頁： 1685-1696 2005年7月
-
LTL Model Checking for Extended Pushdown Systems with Regular Tree Valuations 査読有り
Naoya Nitta and Hiroyuki Seki
Computer Software 22 巻 ( 3 ) 頁： 58-75 2005年7月
-
On the Generative Power of Grammars for RNA Secondary Structure 査読有り
Yuki Kato, Hiroyuki Seki and Tadao Kasami
IEICE Transactions on Information and Systems E88-D 巻 ( 1 ) 頁： 53-64 2005年1月
-
Temporal Reasoning about Two Concurrent Sequence of Events, SIAM Journal on Computing 査読有り
Yasunori Ishihara, Shin Ishii, Hiroyuki Seki and Minoru Ito
SIAM Journal on Computing 34 巻 ( 2 ) 頁： 498-513 2005年
-
Subclasses of Tree Adjoining Grammar for RNA Secondary Structure 査読有り
Yuki Kato, Hiroyuki Seki and Tadao Kasami
7th International Workshop on Tree Adjoining Grammar and Related Formalisms 頁： 48-55 2004年5月
-
Accessibility Verification of WWW documents by an Automatic Guideline Verification Tool 査読有り
Yoshiaki Takata, Takeshi Nakamura and Hiroyuki Seki
37th Hawaii International Conference on System Sciences 頁： 98 2004年1月
書籍等出版物 2
-
電気工学ハンドブック（第７版），1編 数学 第9章 情報数学 9.2 形式論理と計算論
電気学会（編）（ 担当： 共著）
オーム社 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（ 担当： 共著）
Springer 2011年9月
講演・口頭発表等 60
-
ユーザプライバシとしての勝利目的の識別不可能性
中西凜道，高田喜朗，関浩之
第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 招待有り 国際会議
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
科研費 5
-
データハイブリッドなリアクティブプログラムの解析技術と自動合成・説明抽出への応用
研究課題/研究課題番号：22H03568 2022年4月 - 2025年3月
科学研究費助成事業 基盤研究(B)
関 浩之, 小川 瑞史, 結縁 祥治, 橋本 健二
担当区分：研究代表者
配分額：13910000円 （ 直接経費：10700000円 、 間接経費：3210000円 ）
組込み制御ソフトウェアに代表されるリアクティブプログラムの信頼性を担保するための数理的手法を実用システムに適用可能にするためには，データ値，時間，確率等の量的概念を考慮した計算モデルの設定が鍵となる．本研究ではこのような問題意識のもとに，以下の課題に取り組む．
データ値を扱うモデルであるレジスタ計算モデルについて，表現能力の同定，基本問題の計算量解析，特にリアクティブ合成問題とそれに関連するゲーム構造の数理的解析を行う．
重みとは，コスト等，計算に従って発生する付随量を表す．重み付き計算モデルの表現能力を明らかにし，重み付き計算モデルの対話的学習アルゴリズムを開発して，説明可能AIへ応用する． -
データと時間を扱うオートマトンネットワークの合成的アクティブ学習に基づく設計手法
研究課題/研究課題番号：21H03415 2021年4月 - 2026年3月
科学研究費助成事業 基盤研究(B)
結縁 祥治, 小川 瑞史, 関 浩之, 中澤 巧爾, 今井 敬吾
担当区分：研究分担者
実データを含むサブシステムの振舞いを拡張有限状態機械(EFSM)としてモデル化し振舞い合成と分解について、通信プロセスの形式化に基づいて振舞いの頑健性として振舞いの安定性を導く設計手法を確立する。この研究においては、システムの分解と合成の検証における抽象モデルと実現モデルとの関係に着目して研究を行う。それぞれのサブシステム自体が持つサンプリングやクロックドリフトに基づく誤差が全体システムの安定性を損なわないことを保証する。合成、分解においては、全体の設計情報に基づいて相互に可能な振舞いを自動的に学習して、効率的で現実的な検証およびテストのためのを設計モデルを導く。
本年度は，時間経過モデルに対して可逆計算の概念を導入したモデルについても検討を開始した．時間経過モデルは，複数のコンポーネントが同期をする際に通信を行わず，互いに持つクロックの差分によって同期を可能にする．しかし，設計の際に時間経過による同期が想定した組み合わせにならない場合は，デッドロックや予定外の振舞いをすることになる．可逆計算を並行計算モデルに適用した場合には，実行時の依存関係を記録して，不具合が発生したときにどの依存関係が設計時に想定した正しさに適合しないかをチェックすることができる．この概念に基づいて時間経過モデルを拡張し，並行計算の基本モデルを提案した．このモデルの導入は当初の研究計画にはないが，より精密に振舞い解析を可能にするモデルの候補として研究を行うこととした．可逆モデルの導入は，より詳細な意味論の展開を可能とするものであるが時間経過に可逆性を取り込む場合の検証方法については十分でなく，ソフトウェアの検証へ応用するためにはより研究が必要であることがわかった．
海外の時間経過モデルおよび可逆計算モデルの研究者と共同して国際会議発表を行い，基本的なモデルについて通信プロセスの枠組みで新たな形式モデルを提案することができた．これに関連して，可逆計算モデルに基づくデバッグ手法に関する研究を行い，試験的な実現について研究を実施し，国際会議に発表を行った．
この他，従来から継続している時間経過モデルについて，イベントクロックモデル，プッシュダウンオートマトンによるモデルについて研究を行うとともに，分担者によって木オートマトンのアクティブ学習についての研究を実施した．
本年度は，可逆計算の概念を導入したモデルについて研究を実施した．このモデルでは並行システムが実行環境に応じて非決定的に動作することによって動的に変化する依存関係を計算の意味として保存する．本研究の振舞い合成において時間による相互採用は動的に変化する依存関係そのものであることから，可逆計算モデルを導入することによってより精密な解析が可能となることの知見を得た．このアイデアに基づいて，当初計画をより拡張してすすめることが可能になることが予想できる．並行システムにおいて最も複雑となる依存関係を定式化することで，新たなデバッグ手法を提案することでソフトウェアの信頼性を向上させる技法について見通しが得られた．
ゾーン解析による時間経過による振舞いの離散的モデル化による到達可能性解析について，シミュレーション関係にも基づいた決定可能性について検討を行っている．ここでは，ソフトウェアモデルとして入れ子構造を持つ計算モデル(Nested Timed Automata)を対象とし，新たな観点で決定可能性について証明を与えるとともに，アクティブ学習への応用についての基本的な調査を行っている．
今後は，当初の計画のなかでアクティブ学習の枠組みについて重点をおいて研究をすすめる計画である．可逆計算に基づく実行意味は非常に有用であることから，誤差解析への応用を検討するとともに，アクティブ学習への応用手法について研究をすすめる．時間経過に関する振舞いにおけるタイマーについての対称性を導入するために，イベントクロックオートマトンでイベント予測クロックによる振舞いのアクティブ学習について研究する．イベント記録クロックにたいするアクティブ学習についてはすでに研究されているが，イベント予測クロックについては，右合同性がナイーブには成り立たないことからその学習は直感的でない．イベント予測クロックは無限の同値類を導入することが知られており，一定の仮定を新たに設定することでアクティブ学習を可能にする方法について研究を進める．イベント予測クロックは可逆通信プロセスにおいても重要な役割をすることが予測され，可逆通信プロセス計算の研究に対しても有用である．この他，時間プッシュオートマトンの拡張体系であるNeTAの到達可能性についても研究を進める． -
数理論理手法と人工知能手法の融合に基づくマルウェアの自動意味理解
研究課題/研究課題番号：20K20625 2020年7月 - 2026年3月
科学研究費助成事業 挑戦的研究(開拓)
小川 瑞史, NGUYEN MinhLe, 寺内 多智弘, 関 浩之
担当区分：研究分担者
人間には解釈困難なバイナリコードに対し(1)操作的意味はレジスタ・フラッグ・メモリ・スタック上の状態遷移系として定義可能、(2)各命令仕様はリジッドな自然言語記述、(3)エミュレータ等テスト環境が完備などの観察に立脚し、英文マニュアルから命令の操作的意味自動抽出によりBE-PUM(x86), Corana(ARM), SiMIPS(MIPS)等のツールをGitHubで公開してきた。
本研究は、多数のMPU/MCUの動的記号実行器の自動生成に加え、構造隠蔽前のペイロードの自動復元・抽出を行い、教師無し学習による特徴抽出、自然言語処理を用いた意味解釈を通じた新規感染手法検出・系統樹生成を目的とする。
R4年度は、主にARM/Androidを対象とした動的記号実行器Coranaの拡張Corana-Xの実装・開発を進めた。Androidマルウェアは主にApkファイル形式であり、Javaに準ずる記述に加え native code (ARM, x86等）やLinuxライブラリ関数呼出しを含むため、実行が複数の異環境にわたる。本研究では、JavaはSymbolic Path Finder (NASAが開発)、ARMはCorana、Linux関数呼出しについてはOS環境下で実行するAPI stub（ともに本グループで実装）を組み合わせApkファイルの記号実行を行う。異環境下の記号実行の連携には、コード実行と同様な環境の転送が必要となる。しかしデータは単に32bitや64bitの値であるほか、メモリアドレスのセルやバッファを指す場合など、それぞれを区別し必要に応じてポインターをたどる必要がある。それには引数の型情報が必要であり、コードやマニュアルの記述から自動抽出する。現在、実世界Androidマルウェアの記号実行が可能となり、Drebin dataset(5560個）において実験を行っている。
その他の研究項目は、命令セットマニュアルからの自然言語処理による意味抽出における解釈規則導出（分担者 Nguyen Minh Leと共同）、隠蔽手法を用いるPCマルウェア（x86/win) の記号実行結果に対する機械学習によるOEP（original entry point）検出の検討を進めている。
分担者による研究項目として、悪意あるコード生成手法（Dos攻撃）に正規表現を用いた新たな手法を提案した（分担者 寺内多智弘）。またマルウェア解析への機械学習の応用を視野に入れた言語学習理論として，決定性上昇型ノミナル木オートマトンのアクティブ学習アルゴリズムを提案した（分担者 関浩之）。
ソフトウェア工学的に中心的な課題である動的記号実行器の実装は順調に進んでいる。特に過去のx86（32bit）/WindowsのBE-PUMに加え、ARM（32bit）/Android(linux)をターゲットとするCorana-Xの実装のプロトタイプが完成している。これは実世界マルウェアによる実験環境が基本的に整ったことを意味し、今後、目的とするマルウェア手法（隠蔽手法、感染手法、攻撃手法）の理解を機械学習等の統計的手法と組み合わせて進めることが可能となった。
また、現在のOEP（original entry point）検出は、過去に行った隠蔽手法の利用頻度情報に基づくパッカー同定（2017年発表）の再検討、および、分担者（関浩之）の進めている決定性上昇型ノミナル木オートマトンのアクティブ学習アルゴリズムに基づく言語学習理論の応用を検討している。
また分担者（寺内多智弘）の進めたDoS攻撃の正規表現に基づく新手法は攻撃手法の新展開であり、今後、感染手法の理解を進める上で参考とする。
ソフトウェア工学的に中心的な課題である動的記号実行器の実装は順調に進んでいる。今後、x86 (32bit), ARM (32bit) で確立した手法を一般化し、他の命令セット（64bit含む）に対しても命令セットマニュアルの自然言語処理に基づき動的記号実行器を自動生成手法を確立する。
マルウェア手法（隠蔽手法、感染手法、攻撃手法）の理解については、隠蔽手法については一定の確立を既に得ているが、OEP検出を通じてパッカー手法を明らかにしていく。感染手法については、OEPから始まるマルウェアのペイロード解析、およびVulnarability report（cve.mitre.org等）の自然言語処理から vulnarability とその攻撃コードの関係の抽出をめざす。攻撃手法については、主に分担者が進める。 -
ソフトウェアモデルへの量的尺度の導入とプログラム解析への応用
研究課題/研究課題番号：19H04083 2019年4月 - 2023年3月
科学研究費助成事業 基盤研究(B)
関 浩之, 小川 瑞史, 結縁 祥治, 橋本 健二
担当区分：研究代表者
配分額：17160000円 （ 直接経費：13200000円 、 間接経費：3960000円 ）
ソフトウェアの信頼性を担保するための数理的解析・検証技術を実用システムに適用可能にするためには，対象とする系をデータ値，時間，確率，情報量等の量的概念を考慮した数理的モデルに拡張する必要がある．本研究ではこのような問題意識のもとに，量的情報流の動的解析，データ値をもつ計算モデルとその構造化文書処理への応用，および，重みをもつ計算モデルとそのソフトウェアコスト解析への応用の３つの課題に取り組む．それぞれの課題において，オートマトンや形式文法に基づく適切な計算モデルを設定し，基本問題の計算量の解析，効率のよいアルゴリズムの開発，および，ツールの試作と実験に基づく提案手法の有効性の評価を行う．
ソフトウェアの信頼性を保証する手法として，量的情報流の動的解析，データ値を扱う計算モデル，重み付き計算モデルの３つの課題について研究を行った．動的情報流の２つの定義を提案し，その計算量解析を行うとともに，モデル計数ツールを用いた実装を行った．レジスタ計算モデルについて，レジスタ付きCFGの基本問題の計算量を明らかにするとともに，比較演算子に着目したRCFGの一般化，RCFGに対応するレジスタ付きPDSのLTLモデル検査アルゴリズム，レジスタオートマトンと能力等価な凍結演算子付きmu-計算の部分クラスを提案した．重み付きレジスタオートマトンの最小重み実行問題の計算量を明らかにした．
ソフトウェアの信頼性を保証する方法論を確立することは現代社会の喫緊の課題である．本研究の成果は，長年にわたり蓄積されたソフトウェア検証の理論的成果をさらに現実の問題に応用可能とするため，情報漏洩量，データ値および重みといった量的概念を組み込んだ数理モデルに対して，ソフトウェアの信頼性を保証する手法を与えたことに学術的および社会的意義がある．例えば，有限状態モデルにデータ値を扱う能力を加えると容易に基本問題が判定不能となってしまうが，本手法におけるレジスタモデルではデータ値の操作に合理的制約を加えることにより，重要な基本問題の判定可能性を失うことなく拡張が可能となっている． -
実時間性を持つ並行プログラムに対するデバッグのための逆方向計算モデル
研究課題/研究課題番号：17H01722 2017年4月 - 2021年3月
科学研究費助成事業 基盤研究(B)
結縁 祥治, 西田 直樹, 関 浩之, 中澤 巧爾
担当区分：研究分担者
本研究の目的は、並行性をもつソフトウェアにおいて、逆計算のメカニズムを応用して新たな解析手法を与えることである。近年の並行性を持つソフトウェアの振舞いにおいては、同時に実行されるプログラムの振舞いは非決定的であり、どのように相互作用を行ったかということを逆にたどることはプログラムの動的解析にとって非常に重要な情報となる。
この観点において、本研究では、並行性を持つソフトウェアの振舞いモデルの研究を行い、応用技術として、デバッグを目的とした並行性をもつプログラムの逆方向の動的解析手法および関連したプログラム解析技法（情報圧縮、実時間計算、並行プログラムの型づけ）について研究を行った。
並行性を持つプログラムでは非決定性から実行再現性が保証されないため、不具合に対する解析とその修正が一般には難しい。並行ソフトウェアの振舞いを可逆計算の体系によってモデル化することによって、不具合の原因同定とその修正を効率的に行う手法について研究を行った。モデル化では順方向の実行に沿った逆方向に不可欠な情報を同定する。このモデル化を実行環境として実現し、さまざまな言語に対する可逆実行環境とその上でのデバッグ手法について研究を行った。過去の状態を同定し可逆的実行を可能にするためのモデル化と手法を複数のプログラミング言語処理系に対して示した。さらに可逆実行における実時間性について検討した。
産業財産権 9
-
鍵の生成方法
関浩之，中村嘉隆，野田潤
-
鍵の生成方法、装置及びプログラム
野田 潤, 関 浩之, 中村 嘉隆
-
鍵管理装置、サービス提供装置、アクセス管理システム、アクセス管理方法、制御プログラム、およびコンピュータ読み取り可能な記録媒体
楫 勇一，関 浩之
-
暗号鍵生成システム、暗号鍵生成方法および暗号鍵生成用プログラム
仁野 裕一, 野田 潤, 関 浩之, 中村 嘉隆, 南 貴博
-
位置情報推定方法、位置情報推定装置、及び位置情報推定プログラム
野田 潤, 高田 喜朗, 関 浩之、野田 三恵
-
情報処理システム、情報処理装置、情報処理方法、および情報処理プログラム
野田 潤, 高田 喜朗, 関 浩之, 細見 格, 高橋 三恵
-
信用確立方法と信用に基づいたサービス制御システム
野田 潤, 田口 大悟, 関 浩之, 高田 喜朗, 仁野 裕一
-
情報通信方法およびシステム
田口 大悟, 仁野 裕一, 関 浩之, 高田 喜朗
-
データ管理装置及びデータ管理プログラム
田口 大悟, 関 浩之, 細見 格, 中江 政行, 楫 勇一, 高田 喜朗