学術論文誌,国際会議
Best Paper Award, 16th International Colloquium on Theoretical Aspects of Computing, Nov 2019 (Hiroyuki Seki, Reo Yoshimura and Yoshiaki Takata)
第4回日本ソフトウェア科学会解説論文賞, Sept. 12, 2013.(関,鰺坂恒夫)
Best Paper Award, 6th International Multi-Conference on Computing in the Global Information Technology, July 2011. (Ramon Mejia, Yuichi Kaji and Hiroyuki Seki)
第11回日本ソフトウェア科学会論文賞, June 13, 2007.(新田,高田,関)
平成9(1997)年度 情報処理学会論文賞, 1998.(工藤,石原,関,奥井)
研究会など
令和6年度電子情報通信学会ソフトウェアサイエンス研究会研究奨励賞, March 2025.(水野紘希,中西凜道,関)
令和5年度電子情報通信学会ソフトウェアサイエンス研究会研究奨励賞, March 2024.(中西凜道,高田喜朗,関)
令和4年度電子情報通信学会ソフトウェアサイエンス研究会研究奨励賞, March 2023.(小出走,関)
電子情報通信学会ディペンダブルコンピューティング研究会第9回研究会若手優秀講演賞, Oct 2022. (大西晃)
令和3年度電子情報通信学会ソフトウェアサイエンス研究会研究奨励賞, March 2022.(大西晃,仙田涼摩,高田喜朗,関)
令和2年度電子情報通信学会ソフトウェアサイエンス研究会研究奨励賞, March 2021.(井上裕介,関)
情報処理学会データベースシステム研究会(第171回研究会)学生奨励賞,Sept 5, 2020. (小島和之,関)
平成29年度電子情報通信学会ソフトウェアサイエンス研究会研究奨励賞, May 2018.(西村卓,橋本健二,関)
平成26年度電子情報通信学会ソフトウェアサイエンス研究会研究奨励賞, May 2015.(後藤健志,尾上栄浩,橋本健二,関)
平成24年度電子情報通信学会ソフトウェアサイエンス研究会研究奨励賞, May 2013.(宮原一喜,橋本健二,関)
2006年度情報処理学会バイオ情報学研究会論文賞, Dec. 2008.(加藤,関,嵩)
第21回電気通信普及財団賞(テレコムシステム技術賞)奨励賞, 2006.(石原,石井,関,伊藤)
その他
令和6年度名古屋大学学術奨励賞,May 21, 2024. (井上裕介)
日本学術振興会特別研究員 (DC1) 採用, April 2023.(井上裕介)
名古屋大学融合フロンティアフェロー(情報・AI分野)認定, April 2023.(中西凜道)
日本学術振興会特別研究員 (DC2) 採用, April, 2021.(仙田涼摩)
関(共著),電気工学ハンドブック(第7版),担当:第9章 情報数学 9.2 形式論理と計算論,オーム社,2013.
関(共著),電子情報通信学会 知識ベース 知識の森,担当:6群 コンピュータ 基礎理論とハードウェア,2編 計算論とオートマトン,3章 文脈自由文法とプッシュダウンオートマトン,3-1文脈自由文法,3-2 プッシュダウンオートマトン. 7群 コンピュータ・ソフトウェア,1編 ソフトウェア基礎,編幹事,ならびに,2章 定理自動証明と検証法,アブストラクト.
関 浩之,量的情報流――概要と研究動向――,電子情報通信学会誌,100(9), 974-981, Sept 2017.
関 浩之,鰺坂 恒夫: 言語理論の話をしよう,「ソフトウェアサイエンスの基本」シリーズ第1回,コンピュータソフトウェア,28(3), 61-69, Aug. 2011. (第4回日本ソフトウェア科学会解説論文賞受賞)
東野輝夫, 関浩之,谷口健一: 代数的仕様から関数型プログラムの導出とその実行, 情報処理,29(8), 881-896, Aug. 1988.
So Koide, Yoshiaki Takata and Hiroyuki Seki, Non-Cooperative Rational Synthesis Problem for Probabilistic Strategies, IEICE Transactions on Information and Systems, Vol.E108-D(7), July 2025, to appear. DOI: 10.1587/transinf.2024EDL8081. long version
Rindo Nakanishi, Yoshiaki Takata and Hiroyuki Seki, Strategies and Equilibria on Indistinguishability of Winning Objectives and Related Decision Problems, IEICE Transactions on Information and Systems, Vol.E108-D(3), March 2025, to appear. DOI: 10.1587/transinf.2024FCP0010
Yoshiaki Takata, Akira Onishi, Ryoma Senda and Hiroyuki Seki, A Subclass of Mu-Calculus with the Freeze Quantifier Equivalent to Buchi Register Automata, IEICE Transactions on Information and Systems, Vol.E107-D(12), 1529-1532. Dec 2024, DOI: 10.1587/transinf.2024EDL8058 long version
So Koide, Yoshiaki Takata and Hiroyuki Seki, Non-Cooperative Rational Synthesis Problem on Stochastic Games for Positional Strategies, IEICE Transactions on Information and Systems, Vol.E107-D(3), 301-311, Mar. 2024. DOI: 10.1587/transinf.2023FCP0003
Yusuke Inoue, Kenji Hashimoto and Hiroyuki Seki, An Ambiguity Hierarchy of Weighted Context-free Grammars, Theoretical Computer Science, Vol.974, Sept 2023. DOI: https://doi.org/10.1016/j.tcs.2023.114112
Rindo Nakanishi, Yoshiaki Takata and Hiroyuki Seki, Pumping Lemmas for Languages Expressed by Computational Models with Registers, IEICE Transactions on Information and Systems, Vol.E106-D(3), 284-293, Mar. 2023. DOI: 10.1587/transinf.2022FCP0004
Yoshiaki Takata, Akira Onishi, Ryoma Senda and Hiroyuki Seki, A Subclass of Mu-Calculus with the Freeze Quantifier Equivalent to Register Automata, IEICE Transactions on Information and Systems, Vol.E106-D(3), 294-302, Mar. 2023. DOI: 10.1587/transinf.2022FCP0003
Yusuke Inoue, Kenji Hashimoto and Hiroyuki Seki, Weighted Multiple Context-free Grammars, IEICE Transactions on Information and Systems, Vol.E106-D(3), 309-318, Mar. 2023. DOI: 10.1587/transinf.2022FCP0006
Yoshiaki Takata, Ryoma Senda and Hiroyuki Seki, Reduction of Register Pushdown Systems with Freshness Property to Pushdown Systems in LTL Model Checking, IEICE Transactions on Information and Systems, Vol.E105-D(9), 1620-1623, Sep. 2022. DOI: 10.1587/transinf.2022EDL8030 full version
Ryoma Senda, Yoshiaki Takata and Hiroyuki Seki, Complexity Results on Register Context-Free Grammars and Related Formalisms, Theoretical Computer Science 923, 99-125, May 2022. doi: https://doi.org/10.1016/j.tcs.2022.04.055
小島和之,関浩之,木分解の圧縮および解集合プログラミングに基づく問合せ処理法の提案と評価,日本データベース学会和文論文誌 Vol.20-J, Article No.16, March 2022.
Ryoma Senda, Yoshiaki Takata and Hiroyuki Seki, LTL Model Checking for Register Pushdown Systems, IEICE Transactions on Information and Systems, Vol.E104-D(12), 2131-2144, Dec 2021. DOI: 10.1587/transinf.2020EDP7265
Ryoma Senda, Yoshiaki Takata and Hiroyuki Seki, Forward Regularity Preservation Property of Register Pushdown Systems, IEICE Transactions on Information and Systems, Vol.E104-D(3), 370-380, March 2021. DOI: 10.1587/transinf.2020FCP0008
Ryoma Senda, Yoshiaki Takata and Hiroyuki Seki, Generalized Register Context-Free Grammars, IEICE Transactions on Information and Systems, Vol.E103-D, No.3, 540-548, March 2020. DOI: 10.1587/transinf.2019FCP0010
Trung CHU Bao, Kenji Hashimoto and Hiroyuki Seki, Quantifying Dynamic Leakage -- Complexity Analysis and Model Counting-based Calculation --, IEICE Transactions on Information and Systems, Vol.E102-D, No.10, 1952-1965, Oct 2019. DOI: 10.1587/transinf.2019EDP7132 authors' version
Kenji Hashimoto, Ryunosuke Takayama and Hiroyuki Seki, Direct Update of XML Documents with Data Values Compressed by Tree Grammars, IEICE Transactions on Information and Systems, Vol.E101-D, No.6, pp.1467-1478, June 2018. DOI: 10.1587/transinf.2017FOP0002
Trung CHU Bao, Kenji Hashimoto and Hiroyuki Seki, Counting Algorithms for Recognizable and Algebraic Series, IEICE Transactions on Information and Systems, Vol.E101-D, No.6, pp.1479-1490, June 2018. DOI: 10.1587/transinf.2017FOP0003
Yuki Kato, Tatsuya Akutsu and Hiroyuki Seki: ``Dynamic Programming Algorithms and Grammatical Modeling for Protein Beta-Sheet Prediction,'' Journal of Computational Biology, Vol.16, No.7, pp.945-957, July 2009.
高田喜朗, 王静, 関浩之: ``実行履歴に基づくアクセス制御の形式モデルと検証,'' 電子情報通信学会論文誌D, Vol.J91-D, No.4, pp.847-858, 2008.
Yuki Kato, Hiroyuki Seki and Tadao Kasami: ``RNA Pseudoknotted Structure Prediction Using Stochastic Multiple Context-Free Grammar,'' IPSJ Transactions on Bioinformatics, 47, SIG 17(TBIO 1), 12-21, Nov. 2006. IPSJ Digital Courier 船井若手奨励賞受賞(March 2007), 平成19年度 情報処理学会論文賞 受賞(March 2008).
高田喜朗, 中村岳志, 関浩之: ``XML文書に対するアクセシビリティ・ガイドライン適合性検証,'' 電子情報通信学会論文誌(D), J89-D(4), 705-715, April 2006.
Jing Wang, Naoya Nitta and Hiroyuki Seki: ``An Efficient Method for Optimal Probe Deployment of Distributed IDS,'' IEICE Transactions on Information and Systems, E88-D(8), pp.1948-1957, Aug. 2005.
Shigeta Kuninobu, Yoshiaki Takata, Naoya Nitta and Hiroyuki Seki: ``Policy Controlled System and Its Model Checking,'' IEICE Transactions on Information and Systems, E88-D(7), pp.1685-1696, July 2005.
Naoya Nitta and Hiroyuki Seki: ``LTL Model Checking for Extended Pushdown Systems with Regular Tree Valuations,'' コンピュータソフトウェア, Vol.22, No.3, pp.58-75, July 2005.
Yuki Kato, Hiroyuki Seki and Tadao Kasami: ``On the Generative Power of Grammars for RNA Secondary Structure,'' IEICE Transactions on Information and Systems, E88-D(1), pp.53-64, Jan. 2005.
T. Takai, H. Seki, Y. Fujinaka and Y. Kaji: ``Layered Transducing Term Rewriting System and Its Recognizability Preserving Property,'' IEICE Transactions on Information and Systems, E86-D(2), 285-295, Feb. 2003.
Reishi Yokomori, Fumiaki Ohata, Yoshiaki Takata, Hiroyuki Seki and Katsuro Inoue: ``An Information Leak Analysis System Based on Program Slicing,'' Information and Software Technology, 44(15), 903-910, Dec. 2002.
國信茂太, 高田喜朗, 関浩之, 井上克郎: ``束構造をもつセキュリティクラスに基づく再帰的プログラムに対する情報フロー解析法,'' 電子情報通信学会論文誌(D-I), J85-D-I(10), 961-973, Oct. 2002.
仲川こころ, 木下敦史, 高田喜朗, 関浩之: ``対話的に調整可能な文書ランキング --- WWW検索支援の一手法,'' 情報処理学会論文誌, 43(9), 2850-2863, Sept. 2002.
N. Nitta, Y. Takata and H. Seki: ``An Efficient Security Verification Method for Programs with Stack Inspection,'' コンピュータソフトウェア, 19(3), 20-38, May 2002.
新田直也, 高田喜朗, 関浩之: ``スタック検査機能を持つプログラムに対するセキュリティ検証問題の決定可能性,'' 電子情報通信学会論文誌(D-I), J85-D-I(4), 360-370, April 2002.
池田瑞穂, 高田喜朗, 関浩之: ``インタラクティブシステム設計法におけるタスク図の形式的定義と形式的検証への応用,'' コンピュータソフトウェア, 19(2), 19-34, March 2002.
T. Takai, Y. Kaji and H. Seki: ``Termination Property of Inverse Finite Path Overlapping Term Rewriting System Is Decidable,'' IEICE Transactions on Information and Systems, E85-D(3), 487-496, March 2002.
喜家村奨, 高田喜朗, 関浩之: ``ラベル付き遷移システムで記述された要求仕様の並列プロセス群への一分解法,'' 情報処理学会論文誌, 42(12), 2992-3003 (2001-12).
仲川こころ, 高田喜朗, 関浩之: ``可変なカテゴリ構造を用いた文書検索支援手法,'' 情報処理学会論文誌, 42(10), 2441-2453 (2001-10).
Y.Ishihara, K.Ninomiya, H.Seki, D.Takahara, Y.Yamada and S.Omoto: ``Verification of a Microcomputer Program Specification Embedded in a Reactive System,'' IEICE Transactions on Information and Systems, E83-D(5), 1082-1091 (2000-05).
T.Morita, Y.Ishihara, H.Seki and M.Ito: ``A Formal Approach to Detecting Security Flaws in Object-Oriented Databases,'' IEICE Transactions on Information and Systems, E82-D(1), 89-98 (1999-01).
R.Nakanishi, K.Takada, H.Nii and H.Seki: ``Efficient Recognition Algorithms for Parallel Multiple Context-Free Grammar and for Multiple Context-Free Grammar,'' IEICE Transactions on Information and Systems, E81-D(11), 1148-1161 (1998-11).
T.Morita, Y.Ishihara, H.Seki and M.Ito: ``An Authorization Model for Object-Oriented Databases and its Efficient Access Control,'' IEICE Transactions on Information and Systems, E81-D(6), 521-531 (1998-06).
H.Seki, Y.Ishihara and H.Dodo: ``Testing Type Consistency of Method Schemas,'' IEICE Transactions on Information and Systems, E81-D(3), 278-287 (1998-03).
清水将吾, 石原靖哲, 関浩之, 伊藤実: ``オブジェクト指向データベースにおける型検査問題の計算量,'' 電子情報通信学会論文誌(D-I), J81-D-I(3), 261-270 (1998-03).
R.Nakanishi, I.Hayakawa and H.Seki: ``Tree Automaton with Tree Memory,'' IEICE Transactions on Information and Systems, E81-D(2), 161-170 (1998-02).
工藤 朋之, 石原 靖哲, 関 浩之, 奥井 順: ``抽象的順序機械型代数的仕様からのドキュメント生成システム,'' 情報処理学会論文誌, 38(7), 1412-1424 (1997-07), 平成9年度 情報処理学会論文賞 受賞.
関 浩之, 石原 靖哲, 伊藤 実: ``オブジェクト指向データベースにおける質問のアクセス権分析,'' 電子情報通信学会論文誌(D-I), J79-D-I(10), 769-780 (1996-10).
Y.Ishihara, A.Ohsaki, H.Seki and T.Kasami: ``Assignment of Data Types to Words in a Natural Language Specification,'' IEICE Transactions on Information and Systems, E79-D(6), 820-828 (1996-06).
佐野哲央, 樋口昌宏, 関浩之, 嵩忠雄: ``通信プロトコルのフェーズ連結法とそれに基づく検証法,'' 電子情報通信学会論文誌(D-I), J78-D-I(6), 519-531 (1995-06).
Y.Ishihara, H.Seki and T.Kasami: ``Implementation of Natural Language Specifications of Communication Protocols by Executable Specifications,'' Transactions on Information Processing Society of Japan, 36(5), 1114-1125 (1995-05).
S.Ando, R.Nakanishi, H.Seki and T.Kasami: ``A Polynomial-Time Recognizable Subclass of Lexical-Functional Grammars,'' IEICE Transactions on Information and Systems, E77-D(10), 1067-1076 (1994-10).
H.Ohnishi, H.Seki and T.Kasami: ``A Polynomial Time Learning Algorithm for Recognizable Series,'' IEICE Transactions on Information and Systems, E77-D(10), 1077-1085 (1994-10).
R.Nakanishi, H.Seki and T.Kasami: ``A Note on Inadequacy of the Model for Learning from Queries,'' IEICE Transactions on Information and Systems, E77-D(8), 861-868 (1994-08).
直井秀暢, 関浩之, 藤井護: ``マジックセット法を用いた問合せ処理の停止性について,'' 電子情報通信学会論文誌(D-I), J77-D-I(7), 503-513 (1994-07).
Y.Kaji, H.Seki and T.Kasami: ``Finite State Translation Systems and Parallel Multiple Context-Free Grammars,'' IEICE Transactions on Information and Systems, E77-D(6), 619-630 (1994-06).
Y.Ishihara, H.Seki, T.Kasami, J.Shimabukuro and K.Okawa: ``A Translation Method from Natural Language Specifications of Communication Protocols into Algebraic Specifications Using Contextual Dependencies,'' IEICE Transactions on Information and Systems, E76-D(12), 1479-1489 (1993-12).
M.Higuchi, O.Shirakawa, H.Seki, M.Fujii and T. Kasami: ``A Verification Method via Invariant for Communication Protocols Modeled as Extended Communicating Finite-State Machines,'' IEICE Transactions on Communications, E76-B(11), 1363-1372 (1993-11).
中西隆一, 関浩之, 嵩忠雄: ``多重文脈自由文法の認識問題について,'' 電子情報通信学会論文誌(D-I), J75-D-I(11), 973-981 (1992-11).
M.Higuchi, H.Seki and T.Kasami: ``A Method of Composing Communication Protocols with Priority Service,'' IEICE Transactions on Communication, E75-B(10), 1032-1042 (1992-10).
Y.Kaji, R.Nakanishi, H.Seki and T.Kasami: ``The Universal Recognition Problems for Parallel Multiple Context-Free Grammars and for Its Subclasses,'' IEICE Transactions on Information and Systems, E75-D(7), 499-508 (1992-07).
R.Nakanishi, H.Seki and T.Kasami: ``On the Generative Capacity of Lexical-Functional Grammars,'' IEICE Transactions on Information and Systems, E75-D(7), 509-516 (1992-07).
Y.Kaji, R.Nakanisi, H.Seki and T.Kasami: ``The Universal Recognition Problems for Multiple Context-Free Grammars and for Linear Context-Free Rewriting Systems,'' IEICE Transactions on Information and Systems, E75-D(1), 78-88 (1992-01).
邵峰晶, 白川理, 関浩之, 藤井護, 嵩忠雄: ``順序機械によってモデル化された通信プロトコルの一検証法 --OSIセションプロトコルを例にして--,'' 電子情報通信学会論文誌(D-I), J74-D-I(12), 846-857 (1991-12).
関浩之, 嵩忠雄, 並河英二, 松村享: ``自然語仕様から代数的仕様への変換法について,'' 電子情報通信学会論文誌(D-I), J74-D-I(4), 283-295 (1991-04).
松村享, 関浩之, 藤井護, 嵩忠雄: ``多重文脈自由文法とHead Grammarの生成能力について,'' 電子情報通信学会論文誌(D-I), J73-D-I(5), 473-483 (1990-05).
ル一光, 粟屋英司, 関浩之, 藤井護, 二宮清: ``抽象的順序機械の形で記述された代数的仕様からプログラムへの変換について,'' 電子情報通信学会論文誌(D-I), J73-D-I(2), 201-213 (1990-02).
有吉泰介, 関浩之, 森将豪, 藤井護, 嵩忠雄: ``貸出審査の代数的仕様記述とその実行システム,'' 電子情報通信学会論文誌(D-I), J73-D-I(1), 28-36 (1990-01).
森将豪, 関浩之, 藤井護: ``会計上の虚偽を発見するシステム --貸出審査における粉飾分析--,'' 企業会計, 41(9), 94-100 (1989-09).
粟屋英司, ル一光, 関浩之, 藤井護, 嵩忠雄: ``OSIセション層プロトコルの代数的仕様とその検証,'' 電子情報通信学会論文誌(D-I), J72-D-I(4), 272-283 (1989-04).
K.Inoue, H.Seki and H.Yagi: ``Analysis of Functional Programs to Detect Run-Time Garbage Cells,'' ACM Transactions on Programming Languages and Systems, 10(4), 555-578 (1988-10).
嵩忠雄, 関浩之, 藤井護: ``Head Languageおよび多重文脈自由言語の所属問題,'' 電子情報通信学会論文誌(D-I), J71-D-I(6), 935-941 (1988-06).
嵩忠雄, 関浩之, 藤井護: ``一般化文脈自由文法と多重文脈自由文法,'' 電子情報通信学会論文誌(D-I), J71-D-I(5), 758-765 (1988-05).
関浩之, 谷口健一, 嵩忠雄: ``代数的言語ASL/*によって定義される合同関係の操作的意味について,'' 電子通信学会論文誌(D), J71-D(1), 23--31 (1988-01).
関浩之, 谷口健一, 嵩忠雄: ``代数的言語ASL/*と論理型言語間の等価変換について,'' 電子通信学会論文誌(D), J70-D(3), 543-552 (1987-03).
嵩忠雄, 谷口健一, 杉山裕二, 関浩之: ``代数的言語ASL/* --意味定義を中心に--,'' 電子通信学会論文誌(D),J69-D(7), 1066-1074 (1986-07).
関浩之, 井上克郎, 谷口健一, 嵩忠雄: ``関数型言語ASL/Fのコンパイル時における最適化,'' 電子通信学会論文誌(D), J67-D(10), 1115-1122 (1984-10).
井上克郎, 関浩之, 谷口健一, 嵩忠雄: ``関数型言語ASL/Fとその最適化コンパイラ,'' 電子通信学会論文誌(D), J67-D(4), 458-465 (1984-04).
Rindo Nakanishi, Yoshiaki Takata and Hiroyuki Seki, Verification with Common Knowledge of Rationality for Graph Games, 21st International Colloquium on Theoretical Aspects of Computing (ICTAC 2024), LNCS 15373, 232-248, Bangkok, Thailand, Nov. 27-29, 2024. authors' version
Hiroyuki Seki, Automata and Grammars for Data Words, 28th International Conference on Implementation and Application of Automata (CIAA 2024), LNCS 15015, 3-16, Akita, Japan, Sept 3-6, 2024 (Invited).
Yusuke Inoue, Kenji Hashimoto and Hiroyuki Seki, Semidirect Product Decompositions for Periodic Regular Languages, 28th International Conference on Developments in Language Theory (DLT 2024), LNCS 14791, 173-188, Göttingen, August 13-16, 2024. full paper
Rindo Nakanishi, Yoshiaki Takata and Hiroyuki Seki, A Game-theoretic Approach to Indistinguishability of Winning Objectives as User Privacy, 20th International Colloquium on Theoretical Aspects of Computing (ICTAC 2023), LNCS 14446, 36-54, Lima, Peru, Dec 4-8, 2023. authors ' version
Yusuke Inoue, Kenji Hashimoto and Hiroyuki Seki, When Is Context-Freeness Distinguishable from Regularity? An Extension of Parikh's Theorem, 27th International Conference on Implementation and Application of Automata (CIAA 2023), LNCS 14151, 166-178, Famagusta, Sept 19-22, 2023.
Rindo Nakanishi, Yoshiaki Takata and Hiroyuki Seki, Active Learning for Deterministic Bottom-up Nominal Tree Automata, 19th International Colloquium on Theoretical Aspects of Computing (ICTAC 2022), LNCS 13572, 342-359, Tbilisi, Georgia and online, Sept 2022. full paper
Yusuke Inoue, Kenji Hashimoto and Hiroyuki Seki, An Ambiguity Hierarchy of Weighted Context-free Grammars, 26th International Conference on Implementation and Application of Automata (CIAA 2022), Rouen, LNCS 13266, 238-250, June-July 2022.
Ryoma Senda, Yoshiaki Takata and Hiroyuki Seki, Reactive Synthesis from Visibly Register Pushdown Automata, 18th International Colloquium on Theoretical Aspects of Computing (ICTAC 2021), online, LNCS 12819, 334-353, Sept 2021.
Hiroyuki Seki, Reo Yoshimura and Yoshiaki Takata, Optimal Run Problem for Weighted Register Automata, 16th International Colloquium on Theoretical Aspects of Computing (ICTAC 2019), Hammamet, LNCS 11884, 91-110, Oct-Nov 2019.
Bao Trung Chu, Kenji Hashimoto and Hiroyuki Seki, On the Compositionality of Dynamic Leakage and Its Application to the Quantification Problem, 13th International Conference on Emerging Security Information, Systems and Technologies (SECURWARE 2019), 1-8, Nice, France, Oct 2019. authors' version
Ryoma Senda, Yoshiaki Takata and Hiroyuki Seki, Generalized Register Context-Free Grammars, 13th International Conference on Language and Automata Theory and Applications (LATA 2019), Sankt Petersburg, LNCS 11417, 259-271, March 2019.
Takeshi Takeda, Kenji Hashimoto and Hiroyuki Seki, Graph Compression by Tree Grammars and Direct Evaluation of Regular Path Query, 2019 IEEE 4th International Conference on Computer and Communication Systems (ICCCS 2019), CD104, Singapore, Feb 2019.
Ryoma Senda, Yoshiaki Takata and Hiroyuki Seki, Complexity Results on Register Context-Free Grammars and Register Tree Automata, 15th International Colloquium on Theoretical Aspects of Computing (ICTAC 2018), Stellenbosch, LNCS 11187, 415-434.
Shuichi Sato, Yosuke Watanabe, Hiroyuki Seki and Shoji Yuen, Availability Checking of Dynamic Spatial Information for Automobiles, 2nd International Conference on System Reliability and Safety, Dec 20, 2017.
Yutaro Nagae, Masahiko Sakai and Hiroyuki Seki, An Extension of Proof Graphs for Disjunctive Parameterized Boolean Equation Systems, Rewriting Techniques for Program Transformations and Evaluation (WPTE 2016), June 2016. Post-Proceedings: EPTCS 235, 62-77, Jan 2017. (DOI: 10.4204/EPTCS.235.5)
S. Hattori, S. Yuen, H. Seki and S. Sato, Automated Hazard Analysis with pMAX-SMT for Automobile Systems, 15th International Workshop on Automated Verification on Critical Systems (AVOCS ’15), Edinburgh, U.K., Sept 2015.
J. Fajardo, K. Yasumoto and H. Seki, A Post-Haiyan Community Level Mobility Model, 8th International Conference on Mobile Computing and Ubiquitous Networking, 70-71, Jan. 2015.
Yasuyuki Kobayashi, Yuichi Kaji, Hiroyuki Seki, Information Theoretical Evaluation of the Bucketing Technique to Mitigate Timing Attacks, International Symposium on Information Theory and Its Applications (ISITA 2014), Melbourne, Australia, Oct 26-29, 2014.
Chittaphone Phonharath, Kenji Hashimoto and Hiroyuki Seki, Verification of the Security against Inference Attacks on XML Databases, 1st International Workshop on Trends in Tree Automata and Tree Transducers (TTATT 2012), pp.11-22, Nagoya, June 2, 2012.
Ramon Mejia, Yuichi Kaji and Hiroyuki Seki, Trans-Organizational Role-Based Access Control, ACM Computer and Communications Security (ACM CCS) 2011, Poster, Chicago, IL, Oct 17-21, 2011.
Ramon Mejia, Yuichi Kaji and Hiroyuki Seki, Low-density Parity Check Codes for High-Density 2D Barcode Symbology. In The Sixth International Multi-Conference on Computing in the Global Information Technology (ICCGI 2011), Luxemburg, June 2011. (Best Paper Award)
Nobuyoshi Mizoguchi, Yuki Kato and Hiroyuki Seki: ``A Grammar-Based Approach to RNA Pseudoknotted Structure Prediction for Aligned Sequences,’’ 1st IEEE International Conference on Computational Advances in Bio and medical Sciences (ICCABS 2011), 135-140, Orlando, Florida, Feb. 2011,
Yoshiaki Takata and Hiroyuki Seki: ``Comparison of the Expressive Power of Language-based Access Control Models,'' the 2008 International Conference on Next Era Information Networking (NEINE08), pp.347-350, Dec. 2008.
Yuki Kato, Tatsuya Akutsu and Hiroyuki Seki: ``A Grammatical Approach to RNA-RNA Interaction Prediction,'' Poster Abstracts of the 6th Asia Pacific Bioinformatics Conference (APBC2008), page P79, Kyoto, Japan, Jan. 2008.
Yuki Kato, Tatsuya Akutsu and Hiroyuki Seki: ``A Grammatical Approach to RNA-RNA Interaction Prediction,'' 2007 International Symposium on Computational Models for Life Sciences (CMLS'07), AIP Conference Proceedings 952, pp.197-206, Gold Coast, Australia, Dec. 2007.
Yoshiaki Takata and Hiroyuki Seki: ``Computational Complexity of the Disclosure Tree Strategy in Trust Negotiation,'' the 2007 International Conference on Next Era Information Networking (NEINE07), pp.323-328, Sept. 2007.
Hisashi Mohri, Ikuya Yasuda, Yoshiaki Takata and Hiroyuki Seki: ``Certification Chain Discovery in Web of Trust for Ad Hoc Networks,'' The 2007 IEEE International Symposium on Ubisafe Computing (Ubisafe-07), 21st International Conference on Advanced Information Networking and Applications Workshops/Symposia, 2, 479-485, Ontario, Canada, May 2007.
Hisashi Mouri, Yoshiaki Takata and Hiroyuki Seki: ``A Formal Model for Stateful Trust Management Systems,'' Proceedings of IASTED International Conference on Software Engineering and Applications (SEA 2005), 467-030, pp.87-92, Phoenix, USA, Nov. 2005.
Susumu Kiyamura, Yoshiaki Takata and Hiroyuki Seki: ``Process Decomposition via Synchronization Events and Its Application to Counter-Process Decomposition,'' Proceedings of the 5th International Conference on Parallel Processing and Applied Mathematics (PPAM 2003), Czestochowa, Poland, Sept. 2003, Lecture Notes in Computer Science 3019, pp.298-305.
Naoya Nitta and Hiroyuki Seki: ``An Extension of Pushdown System and Its Model Checking Method,'' Proceedings of the 14th International Conference on Concurrency Theory (CONCUR 2003), Marseille, France, Sept. 2003, Lecture Notes in Computer Science 2761, pp.281-295.
Yoshiaki Takata, Takeshi Nakamura and Hiroyuki Seki: ``Automatic Accessibility Guideline Validation of XML Documents Based on a Specification Language,'' Universal Access in HCI: Inclusive Design in the Information Society, Volume 4 of the Proceedings of 10th International Conference on Human-Computer Interaction (HCII 2003), Constantine Stephanidis (ed.), pp.1040-1044, Lawrence Erlbaum Associates, Crete, Greece, June 2003. ISBN 0-8058-4933-5
Hitoshi Ohsaki, Hiroyuki Seki and Toshinori Takai: ``Recognizing Boolean Closed A-Tree Languages with Membership Conditional Rewriting Mechanism,'' Proceedings of 14th International Conference on Rewriting Techniques and Applications (RTA'03), Valencia, Spain, June 2003, Lecture Notes in Computer Science 2706, pp.483-498.
S. Kuninobu, Y. Takata, D. Taguchi, M. Nakae and H. Seki: ``A Specification Language for Distributed Policy Control,'' Proceedings of Fourth International Conference on Information and Communications Security (ICICS 2002), Singapore, Dec. 2002, Lecture Notes in Computer Science 2513, pp.386-398.
Reishi Yokomori, Fumiaki Ohata, Yoshiaki Takata, Hiroyuki Seki and Katsuro Inoue: "Analysis and Implementation Method of Program to Detect Inappropriate Information Leak", Proceedings of The Second Asia-Pacific Conference on Quality Software (APAQS 2001), pp.5-12, Hong Kong, China, Dec. 2001.
N. Nitta, Y. Takata and H. Seki: ``An Efficient Security Verification Method for Programs with Stack Inspection,'' Proceedings of the 8th ACM Conference on Computer and Communications Security (ACM CCS-8), pp.68-77, Philadelphia, Pennsylvania, Nov. 2001.
M. Ikeda, Y. Takata and H. Seki: ``Formal Specification and Implementation Using Task Flow Diagram in Interactive System Design,'' Proceedings 5th World Multiconference on Systemics, Cybernetics and Informatics (SCI 2001), Orlando, Vol.I Information Systems Development, 422-428, July 2001.
N. Nitta, Y. Takata and H. Seki: ``Security Verification of Programs with Stack Inspection,'' Proceedings of 6th ACM Symposium on Access Control Models and Technologies, (ACM SACMAT2001), Chantilly, Virginia, 31-40, May 2001.
Y. Takata, K. Nakagawa and H. Seki: ``Flexible Category Structure for Supporting WWW Retrieval,'' The 2nd International Workshop on The World Wide Web and Conceptual Modeling (WCM2000), Salt Lake City, Utah, Oct. 2000, Lecture Notes in Computer Science, 1921, 165-177.
T.Takai, Y.Kaji and H.Seki: ``Right-Linear Finite Path Overlapping Term Rewriting Systems Effectively Preserve Recognizability,'' 11th International Conference on Rewriting Techniques and Applications (RTA'2000), Norwich, U.K. (2000-07), Lecture Notes in Computer Science 1833, 246-260.
R.Nakanishi, K.Takada and H.Seki: ``An Efficient Recognition Algorithm for Multiple Context-Free Languages,'' Proceedings of Fifth Meeting on the Mathematics of Language, Saarbruecken, Germany, 119-123 (1997-08).
Y.Ishihara, H.Seki and M.Ito: ``Type-Consistency Problems for Queries in Object-Oriented Databases,'' Proceedings of the 6th International Conference on Database Theory, Lecture Notes in Computer Science, 1186, 364-378 (1997-01).
M.Higuchi, H.Seki and T.Kasami: ``An Experiment on Verifying OSI Session Protocol -- Decomposition into Subprotocols --,'' Proceedings of 9th International Conference on Information Networking, 231-236 (1994-12).
Y.Kaji, R.Nakanishi, H.Seki and T.Kasami: ``The Computational Complexity of the Universal Recognition Problem for Parallel Multiple Context-Free Grammars,'' Abstracts of TAG+ Workshop, 25.1-25.2 (1992-06).
K.Taniguchi, H.Seki and T.Kasami: ``Translation from Specifications in a Natural Language into Algebraic Specifications and their Stepwise Refinement,'' Proceedings of Linguistic Engineering '91, D.3.1-D.3.6 (1991-01).
F.Shao, H.Seki, O.Shirakawa, M.Fujii and T. Kasami: ``A Verification System for Communication Protocols and Its Application to the OSI Session Protocol,'' Proceedings of 1990 Joint Conference on Communications, Networks, Switching Systems and Satellite Communications, 110-114 (1990-12).
H.Seki, E.Nabika, T.Matsumura, Y.Sugiyama, M.Fujii, K.Torii and T.Kasami: ``A Processing System for Program Specifications in a Natural Language,'' Proceedings of 21st Annual Hawaii International Conference on System Sciences, 754-763 (1988-01).
鍵の生成方法,関浩之,中村嘉隆,野田潤,出願番号 PCT/JP2011/080583 (国際出願日 2011.12.27), JP登録番号: 5879653, US登録番号: 9209970.
鍵の生成方法、装置及びプログラム, 野田 潤, 関 浩之, 中村 嘉隆, 特願2010-293094 (出願日2010.12.28).
鍵管理装置、サービス提供装置、アクセス管理システム、アクセス管理方法、制御プログラム、およびコンピュータ読み取り可能な記録媒体,楫 勇一,関 浩之, 特願2010-149517 (出願日2010.06.30).
暗号鍵生成システム、暗号鍵生成方法および暗号鍵生成用プログラム,仁野 裕一, 野田 潤, 関 浩之, 中村 嘉隆, 南 貴博, 特願2009-31154 (出願日2009.02.13, 特許査定日2013.11.27), 特許第5463516号 (登録日 2014.1.31).
位置情報推定方法、位置情報推定装置、及び位置情報推定プログラム, 野田 潤, 高田 喜朗, 関 浩之、野田三恵, 特願2006-240234 (出願日2006.09.05, 特許査定日2011.09.20), 特許第4848900号 (登録日 2011.10.28).
情報処理システム、情報処理装置、情報処理方法、および情報処理プログラム, 野田 潤, 高田 喜朗, 関 浩之, 細見 格, 高橋 三恵, 特願2005-256644 (出願日2005.09.05, 特許査定日2011.03.29), 特許第4735141号 (登録日 2011.05.13).
信用確立方法と信用に基づいたサービス制御システム,野田 潤, 田口 大悟, 関 浩之, 高田 喜朗, 仁野 裕一, 特願2004-182039 (出願日2004.06.21).
情報通信方法およびシステム,田口 大悟, 仁野 裕一, 関 浩之, 高田 喜朗, 特願2003-409917 (出願日2003.12.09).
データ管理装置及びデータ管理プログラム, 田口 大悟, 関 浩之, 細見 格, 中江 政行, 楫 勇一, 高田 喜朗, 特願2002-158577 (出願日2002.05.31), 特許第4000916号 (登録日 2007.08.24).
Hiroyuki Seki, Quantitative Information Flow – An Introduction, 3rd Workshop on Software Foundations for Data Interoperability (SFDI2019+), Oct 28, 2019.
関浩之,量的情報流と差分プライバシー,電子情報通信学会ソフトウェアサイエンス研究会(講演番号:SS2015-4),電子情報通信学会技術研究報告 Vol.115, No.20, pp.17-22,May 2015.
関浩之,セキュリティやプライバシーの定量的尺度について,電子情報通信学会情報理論研究会(講演番号:IT2014-52),電子情報通信学会技術研究報告 Vol.114, No.353, pp.13-18, Dec 2014.
関浩之: システム設計・検証の数理, 企画セッション「システム数理と応用 –CSTからMSSへ-」,2011年電子情報通信学会総合大会, 2011-03.
関浩之: ソフトウェアの静的解析と動的検査 - 言語ベースセキュリティを例にして -, 情報処理学会組込みシステムシンポジウム2009 (ESS2009), 2009-10.
関浩之: アクセス制御 - 言語ベースセキュリティをめざして -, 日本ソフトウェア科学会第7回ディペンダブルシステムワークショップ(DSW2009)論文集, pp.93-98, 2009-07.
加藤有己, 関浩之, 阿久津達也: 形式文法に基づくRNA 2次構造予測, 電子情報通信学会技術研究報告(情報理論研究会), IT2007-21, 2007-11.
関浩之: 無限状態モデル検査 - 概要と事例報告 -, システム設計検証技術研究会, 産業技術総合研究所システム検証研究センター(CVS), 2005-09.
関浩之: 形式意味論の基礎 -通信プロトコルの形式的記述を例にして-' 第9回情報伝送と信号処理ワークショップ, pp.13-14, 1996-11.
水野紘希,中西凜道,関浩之,多プレイヤーグラフゲームにおける均衡概念の拡張,組合せゲーム・パズルプロジェクト第19回研究集会,講演番号13, March 2025.
水野紘希,中西凜道,関浩之,多プレイヤーゲームにおける制約付きセキュア均衡の存在性,電子情報通信学会ソフトウェアサイエンス研究会(講演番号:SS2024-23),電子情報通信学会技術研究報告 Vol.124, No.326, pp.13-18, 2025.1.12.
中西凜道,高田喜朗,関浩之,合理性に関する共有知識の下でのグラフゲームの検証,電子情報通信学会ソフトウェアサイエンス研究会(講演番号:SS2024-17),電子情報通信学会技術研究報告 Vol.124, No.217, pp.16-21, 2024.10.17.
脇田侑輝,関浩之,プライバシとサービス品質とのトレードオフを考慮した時空間データ保護手法,電子情報通信学会ソフトウェアサイエンス研究会(講演番号:SS2024-8),電子情報通信学会技術研究報告 Vol.124, No.133, pp.43-48, 2024.7.26.
中西凜道,高田喜朗,関浩之,グラフ上のゲームにおける勝利目的の識別不能性のプライバシー保護への応用,組合せゲーム・パズルプロジェクト第18回研究集会,講演番号2, March 2024.
井上裕介,橋本健二,関浩之,周期的な正則言語の巡回群による半直積分解,日本ソフトウェア科学会 第26回プログラミングおよびプログラミング言語ワークショップ (PPL 2024), カテゴリ1, March 2024.
Y. Inoue, K. Hashimoto and H. Seki, When Is Context-Freeness Distinguishable from Regularity? An Extension of Parikh's Theorem, 日本ソフトウェア科学会 第26回プログラミングおよびプログラミング言語ワークショップ (PPL 2024), カテゴリ2, March 2024.
坂尾優斗,関浩之,レジスタ付き多プレイヤーゲームに基づくシステム自動合成問題,電子情報通信学会ソフトウェアサイエンス研究会(講演番号:SS2023-40),電子情報通信学会技術研究報告 Vol.123, No.335, pp.52-57, 2024.1.18.
水野紘希,中西凜道,関浩之,確率的Büchiゲームにおけるドゥームズデイ均衡の存在判定問題,電子情報通信学会ソフトウェアサイエンス研究会(講演番号:SS2023-47),電子情報通信学会技術研究報告 Vol.123, No.335, pp.93-98, 2024.1.18.
R. Nakanishi, Y. Takata and H. Seki, A Game-theoretic Approach to Indistinguishability of Winning Objectives as User Privacy, 電子情報通信学会ソフトウェアサイエンス研究会(講演番号:SS2023-27),電子情報通信学会技術研究報告 Vol.123, No.206, pp.32-37, 2023.10.
Y. Inoue, K. Hashimoto and H. Seki, An ambiguity hierarchy of weighted context-free grammars, 日本ソフトウェア科学会 第25回プログラミングおよびプログラミング言語ワークショップ (PPL 2023), カテゴリ2, March 2023.
坂尾優斗,関浩之,データ木書換え系の正則保存性 -線形単項標準形に分解可能なクラス-,電子情報通信学会ソフトウェアサイエンス研究会(講演番号:SS2022-62),電子情報通信学会技術研究報告 Vol.122, No.432, pp.91-96, 2023.3.15.
小出走,関浩之,確率的ゲームにおける非協調的合成問題,電子情報通信学会ソフトウェアサイエンス研究会(講演番号:SS2022-23),電子情報通信学会技術研究報告 Vol.122, No.225, pp.10-15, 2022.10.
R. Nakanishi, Y. Takata and H. Seki,Active Learning for Deterministic Bottom-up Nominal Tree Automata, 電子情報通信学会ソフトウェアサイエンス研究会(講演番号:SS2022-24),電子情報通信学会技術研究報告 Vol.122, No.225, pp.16-21, 2022.10.
井上裕介,橋本健二,関浩之,重み付き文脈自由文法の曖昧さ階層について , 2022年度 夏のLAシンポジウム,講演番号6, 2022.7.
小出走,関浩之,確率的Mullerゲームにおける非協調的合成問題,組合せゲーム・パズルプロジェクト第16回研究集会,講演番号16, 2022.3.7-3.8.
坂尾優斗,関浩之,データ語書換え系の正則保存性とそのプロトコル検証への応用,電子情報通信学会ソフトウェアサイエンス研究会(講演番号:SS2021-46),電子情報通信学会技術研究報告 Vol.121, No.416, pp.25-30, 2022.3.7.
井上裕介,橋本健二,関浩之,重み付き文脈自由文法の曖昧さ階層について,電子情報通信学会コンピュテーション研究会(講演番号:COMP2021-31),電子情報通信学会技術研究報告 Vol.121, No.407, pp.1-7, 2022.3.6.
中西凜道,高田喜朗,関浩之,Pumping Lemmas for Languages Expressed by Computational Models with Registers, 2021年度 冬のLAシンポジウム,講演番号16, 2022.2.
小島和之,関浩之, 木分解の圧縮および解集合プログラミングによる問合せ,電子情報通信学会データ工学研究会(講演番号:DE2021-16),電子情報通信学会技術研究報告 Vol.121, No.314, pp.7-12, 2021.12.
大西晃,仙田涼摩,高田喜朗,関浩之,レジスタオートマトンと能力等価な凍結演算子付きmu-計算の部分クラス,電子情報通信学会ソフトウェアサイエンス研究会(講演番号:SS2021-17),電子情報通信学会技術研究報告 Vol.121, No.204, pp.23-28, 2021.10.
大西晃,仙田涼摩,高田喜朗,関浩之,レジスタオートマトンに変換可能な凍結演算子付き線形時相論理の部分クラス,電子情報通信学会ソフトウェアサイエンス研究会(講演番号:SS2020-29),電子情報通信学会技術研究報告 Vol.120, No.407, pp.7-12, 2021.03.
井上裕介,関浩之,重み付き多重文脈自由文法とその性質について,電子情報通信学会ソフトウェアサイエンス研究会(講演番号:SS2020-28),電子情報通信学会技術研究報告 Vol.120, No.407, pp.1-6, 2021.03.
中西凜道,仙田涼摩,高田喜朗,関浩之,レジスタをもつ計算モデルの表現する言語に対するポンプの補題,電子情報通信学会ソフトウェアサイエンス研究会(講演番号:SS2020-26),電子情報通信学会技術研究報告 Vol.120, No.343, pp.72-77, 2021.01.
Ryoma Senda, Yoshiaki Takata and Hiroyuki Seki, LTL model checking for register pushdown systems, 電子情報通信学会ソフトウェアサイエンス研究会(講演番号:SS2020-6),電子情報通信学会技術研究報告 Vol.120, No.193, pp.7-12, 2020.10.
小島和之,関浩之, 木分解と木文法圧縮を利用したグラフ圧縮法および圧縮データへの直接問合せ処理法の提案と評価,電子情報通信学会データ工学研究会(講演番号:DE2020-13),電子情報通信学会技術研究報告 Vol.120, No.158, pp.1-6, 2020.09.
Ryoma Senda, Yoshiaki Takata and Hiroyuki Seki, On the regularity preservation property of register pushdown systems, 2019年度 冬のLAシンポジウム, 講演番号 S11, 2020.2.7.
福田大地,関浩之,モデル計数に基づく動的QIF解析法の提案と評価,電子情報通信学会ソフトウェアサイエンス研究会(講演番号:SS2019-33),電子情報通信学会技術研究報告 Vol.119, No.362, pp.,49-54, 2020.1.
Reo Yoshimura, Yoshiaki Takata and Hiroyuki Seki, Computing optimal weight in weighted register automata and related decision problems, 電子情報通信学会ソフトウェアサイエンス研究会(講演番号:SS2019-16),電子情報通信学会技術研究報告 Vol.119, No.246, pp.19-24,2019.10.
三輪竜矢,関浩之,動的情報漏洩量の解析および適応的制御入力最適化,電子情報通信学会ソフトウェアサイエンス研究会(講演番号:SS2018-68),電子情報通信学会技術研究報告 Vol.118, No.471, pp.97-102,2019.03
Ryoma Senda, Complexity Results on Register Context-Free Grammars and Register Tree Automata, 50th TRS meeting, 2019.02-03.
吉村玲勇,関浩之,重み付きレジスタオートマトンの最小重み実行問題,電子情報通信学会ソフトウェアサイエンス研究会(講演番号:SS2018-37),電子情報通信学会技術研究報告 Vol.118, No.385, pp.61-66,2019.01
渡邉陽介,佐藤守一,関浩之,結縁祥治,車載ソフトウェアのためのダイナミックマップにおける動的情報の信頼性検証法,電子情報通信学会ソフトウェアサイエンス研究会(講演番号:SS2018-3),電子情報通信学会技術研究報告 Vol.118, No.137, pp.13-18,2018.07
武田健志,橋本健二,関浩之,有向グラフに対する圧縮法および圧縮グラフに対する頂点選択問合せ評価法の提案,第10回データ工学と情報マネジメントに関するフォーラム(DEIM 2018),2018.03
仙田涼摩,関浩之,レジスタ付き文脈自由文法に関する所属問題と空問題の計算複雑さ,電子情報通信学会ソフトウェアサイエンス研究会(講演番号:SS2017-41),電子情報通信学会技術研究報告 Vol.117, No.381, pp.41-46,2018.01
川本将也,橋本健二,関浩之,非決定性選択木オートマトンの決定化,情報処理学会第117回プログラミング研究会(講演番号:2017-4-(2)),2018.01
西村卓, 橋本健二,関浩之,トップ木に基づく圧縮データに対する直接更新法,電子情報通信学会ソフトウェアサイエンス研究会(講演番号:SS2017-22),電子情報通信学会技術研究報告 Vol.117, No.248, pp.7-12,2017.10
武田健志,橋本健二,関浩之,木文法に基づくグラフ圧縮法および圧縮グラフに対する頂点選択問合せ評価法,電子情報通信学会ソフトウェアサイエンス研究会(講演番号:SS2017-1),電子情報通信学会技術研究報告 Vol.117, No.136, pp.1-6,2017.07
渡邉陽介,佐藤守一,関浩之,結縁祥治,車載ソフトウェアのためのダイナミックマップにおける動的情報の信頼性検証法,電子情報通信学会ソフトウェアサイエンス研究会(講演番号:SS2017-3),電子情報通信学会技術研究報告 Vol.117, No.136, pp.13-18,2017.07
H. Seki, K. Hashimoto and T. Chu B.,Counting for Recognizable and Algebraic Series,情報処理学会第113回プログラミング研究会(講演番号:2016-5-(4)),2017.03
高山隆之介,橋本健二,関浩之,木文法に基づき圧縮されたXML文書に対するデータ値を考慮した直接更新法,第9回データ工学と情報マネジメントに関するフォーラム(DEIM 2017),2017.03
中島聖斗,橋本健二,酒井正彦,関浩之,モデル計数を用いた量的情報流解析のための論理式簡約と静的解析,電子情報通信学会ソフトウェアサイエンス研究会(講演番号:SS2016-61),電子情報通信学会技術研究報告 Vol.116, No.512, pp.7-12 2017.03
黒田貴之,西田直樹,関浩之,十分完全性を持たない階層的条件付き項書換え系の合流性証明 電子情報通信学会ソフトウェアサイエンス研究会(講演番号:SS2016-77),電子情報通信学会技術研究報告 Vol.116, No.512, pp.103-108,2017.03
石原鷹,橋本健二,関浩之,非線形トップダウン木変換器において問合せ保存が決定可能であるための十分条件,電子情報通信学会ソフトウェアサイエンス研究会(講演番号:SS2016-78),電子情報通信学会技術研究報告 Vol.116, No.512, pp.109-114,2017.03
川本将也,橋本健二,関浩之,あるクラスのXPath式から先読み付き決定性選択木オートマトンへのスキーマを用いた変換,電子情報通信学会ソフトウェアサイエンス研究会(講演番号:SS2016-54),電子情報通信学会技術研究報告 Vol.116, No.426, pp.107-112,2017.01
安藤聡志,伊原彰紀,関浩之,平尾俊貴,則兼卓人,松本健一,OSS開発におけるパッチの特徴量を用いた再投稿要求の予測,情報処理学会第194回ソフトウェア工学研究会,情報処理学会研究報告ソフトウェア工学(SE), Vol.2016-SE-194, No.4, pp.1-5 2016.11
中島聖斗,Trung Chu Bao, 橋本健二,酒井正彦,関浩之,#SMTツールを用いた量的情報流解析手法の高速化,電子情報通信学会ソフトウェアサイエンス研究会(講演番号:SS2016-26),電子情報通信学会技術研究報告 Vol.116, No.277, pp.49-54,2016.10
高山隆之介,橋本健二,関浩之,木文法に基づく圧縮XML文書に対するデータ値を考慮した直接更新手法,電子情報通信学会ソフトウェアサイエンス研究会(講演番号:SS2016-27),電子情報通信学会技術研究報告 Vol.116, No.277, pp.55-60,2016.10
西村卓,橋本健二,関浩之,トップ木に基づく木圧縮法の実装と問合せ処理法の提案,電子情報通信学会ソフトウェアサイエンス研究会(講演番号:SS2016-10),電子情報通信学会技術研究報告 Vol.116, No.127, pp.93-98,2016.07
河邉翔平,酒井正彦,西田直樹,関浩之,難読性の高いMalbolgeコードを生成するコンパイラのための中間言語,電子情報通信学会ソフトウェアサイエンス研究会(講演番号:SS2016-12),電子情報通信学会技術研究報告 Vol.116, No.127, pp.105-110,2016.07
Kazuki Miyahara, Kenji Hashimoto, Hiroyuki Seki, On the query preservation for nondeterministic tree transducers, 電子情報通信学会ソフトウェアサイエンス研究会(講演番号:SS2015-79),電子情報通信学会技術研究報告 Vol.115, No.508, pp.19-24,2016.03
Kazuki Miyahara, Kenji Hashimoto and Hiroyuki Seki,On the query preservation for nondeterministic tree transducers, 日本ソフトウェア科学会第18回プログラミングおよびプログラミング言語ワークショップ,2016.03
後藤健志,高山隆之介,橋本健二,関浩之,圧縮構造化文書のための更新手法の拡張とその実験的評価,電子情報通信学会ライフインテリジェンスとオフィス情報システム研究会(講演番号:LOIS2015-75),電子情報通信学会技術研究報告 Vol.115, No.486, pp.69-74,2016.03
安藤聡志,平尾俊貴,伊原彰紀,松本健一,関浩之,OSS開発におけるソースコード静的解析手法を用いたパッチ検証手法の提案,情報処理学会ソフトウェア工学研究会ウィンターワークショップ2016・イン・逗子,2016.02
浅井孝俊,橋本健二,関浩之,モデル計数を用いたXMLデータベースのk-安全性検査システムの高速化,電子情報通信学会ソフトウェアサイエンス研究会(講演番号:SS2015-52),電子情報通信学会技術研究報告 Vol.115, No.420, pp.47-52,2016.01
Y. Nagae, M. Sakai, H. Seki,A method for making proof graph finite on disjunctive parameterised Boolean equation systems, 電子情報通信学会ソフトウェアサイエンス研究会(講演番号:SS2015-58),電子情報通信学会技術研究報告 Vol.115, No.420, pp.81-85,2016.01
石原鷹, 橋本 健二, 関浩之, 酒井正彦,拡張線形ボトムアップ木変換器の関数性の多項式時間判定,情報処理学会プログラミング研究会,情報処理学会研究報告 2015-PRO-1(1),2015.06
C. Phonharath, R. Takayama, K. Hashimoto, H. Seki, Query-based l-diversity, 電子情報通信学会ソフトウェアサイエンス研究会(講演番号:SS2015-14),電子情報通信学会技術研究報告 Vol.115, No.20, pp.65-70,2015.05
浅井孝俊,上杉正紀,橋本健二,関浩之,モデル計数を用いたXMLデータベースのk-安全性検査,電子情報通信学会ソフトウェアサイエンス研究会(講演番号:SS2014-15),電子情報通信学会技術研究報告 Vol.115, No.20, pp.71-76,2015.05
後藤健志,尾上栄浩,橋本健二,関浩之,木文法に基づく圧縮XML文書に対する直接更新手法の評価,電子情報通信学会ソフトウェアサイエンス研究会(講演番号:SS2014-45),電子情報通信学会技術研究報告 Vol.114, No.416, pp.73-78 2015.01
小林靖幸,楫勇一,関浩之,伊藤実,RSA暗号の高速化手法に対するタイミング攻撃の情報理論的安全性評価,2015年暗号と情報セキュリティシンポジウム(SCIS2015),4F1-2,2015.01
尾上栄浩,橋本健二,関浩之,木文法による圧縮XML文書に対する問合せと更新手法,電子情報通信学会ソフトウェアサイエンス研究会(講演番号:SS2014-28),電子情報通信学会技術研究報告 Vol.114, No.271, pp.17-22,2014.10
Y. Kobayashi, Y. Kaji, H. Seki, M. Ito, Quantitative evaluation of the key information that is learned through timing attack -- The contribution of bucketing technique for RSA cryptosystem --, 電子情報通信学会情報セキュリティ研究会(講演番号:ISEC2014-35),電子情報通信学会技術研究報告 Vol.114, No.115, pp.253-258,2014.07
N. Sornchmni, K. Hashimoto, H. Seki, Towards HMM parameter estimation with differential privacy, 情報処理学会数理モデル化と問題解決研究会,情報処理学会研究報告 2014-MPS-98(25),2014.06
小田 将之, 橋本 健二, 楫 勇一, 関 浩之, デバイスペアリングを利用した位置証明プロトコルの提案, 情報処理学会研究報告, 2014-DPS-158(37), March 2014.
Bao Trung Chu, Kenji Hashimoto, and Hiroyuki Seki, Runtime Control of a Program based on Quantitative Information Flow, IEICE Technical Report, SS2013-60, Jan. 2014.