Rchr
J-GLOBAL ID：200901047028993166
Update date: Nov. 29, 2020
Seki Hiroyuki
Seki Hiroyuki
Homepage URL (1)：
http://www.sqlab.jp/sekilab/seki/Japanese/
Research keywords (2)：
formal language theory
, foundations of software
MISC (77)：
関浩之. データ値を扱うオートマトンと文法. 第22回プログラミングおよびプログラミング言語ワークショップ. 2020. 000-000
Hiroyuki Seki. Quantitative Information Flow- An Introduction. 3rd Workshop on Software Foundations for Data Interoperability. 2019. 000-000
Ryoma Senda, Yoshiaki Takata, Hiroyuki Seki. Complexity Results on Register Context-Free Grammars and Register Tree Automata. 15th International Colloquim on Theoretical Aspects of Computing, Lecture Notes in Computer Science. 2018. 11187. 415-434
Bao Trung Chu, Kenji Hashimoto, Hiroyuki Seki. Counting Algorithms for Recognizable and Algebraic Series. IEICE Transactions on Information and Systems. 2018. E101-D. 6. 1479-1490
Kenji Hashimoto, Ryunosuke Takayama, Hiroyuki Seki. Direct Update of XML Documents with Data Values Compressed by Tree Grammars. IEICE Transactions on Information and Systems. 2018. E101-D. 6. 1467-1478
ｍore...
Books (2)：
電気工学ハンドブック(第7版),1編 数学 第9章 情報数学 9.2 形式論理と計算論
オーム社 2013 ISBN:9784274213823
The Mathematics of Language, 12th Biennial Conference, MOL 12, Lecture Notes in Artificial Intelligence
Springer 2011
Lectures and oral presentations (34)：
モデル計数に基づく動的QIF解析法の提案と評価
(電子情報通信学会技術研究報告, 119(362), 49-54 2020)
Computing optimal weight in weighted register automata and related decision problems
(2019)
有向グラフに対する圧縮法および圧縮グラフに対する頂点選択問合せ評価法の提案
(第10回データ工学と情報マネジメントに関するフォーラム(DEIM 2018) 2018)
レジスタ付き文脈自由文法に関する所属問題と空問題の計算複雑さ
(電子情報通信学会技術研究報告, 117(381), 41-46 2018)
非決定性選択木オートマトンの決定化
(情報処理学会第117回プログラミング研究会(講演番号:2017-4-(2)) 2018)
ｍore...
Education (3)：
1984 - 1987 Osaka University Graduate School of Engineering Science Doctoral Program, Department of Information and Computer Sciences
1982 - 1984 Osaka University Graduate School of Engineering Science Master's Program, Department of Information and Computer Sciences
1978 - 1982 Osaka University Faculty of Engineering Science Department of Information and Computer Sciences
Professional career (1)：
工学博士
Work history (7)：
2017/04 - 現在 Nagoya University Graduate School of Informatics Professor
2013/04 - 2017/03 Nagoya University Graduate School of Information Science Professor
1996/10 - 2013/03 Nara Institute of Science and Technology Graduate School of Information Science Professor
1994/04 - 1996/09 Nara Institute of Science and Technology Graduate School of Information Science Associate Professor
1992/12 - 1994/03 Osaka University Faculty of Engineering Science Associate Professor
1990/10 - 1992/11 Osaka University Faculty of Engineering Science Lecturer
1987/04 - 1990/09 Osaka University Faculty of Engineering Science Assistant Professor
Show all
Committee career (20)：
2012/01 - 現在 International Workshop on Trends in Tree Automata and Tree Transducers, PC
2009/04 - 2014/03 日本ソフトウェア科学会 編集委員
2010/05 - 2012/05 電子情報通信学会 ソフトウェアサイエンス研究専門委員長
1995/04 - 2012/05 情報処理学会 論文誌査読委員
2011/01 - 2011/09 12th Meeting on Mathematics of Language, Organzing co-chair, PC
2010/01 - 2010/12 8th International Symposium on Automated Technology for Verification and Analysis (ATVA2010), PC
2009/05 - 2010/05 電子情報通信学会 論文誌フォーマルアプローチ特集編集委員長
2009/03 - 2009/09 日本ソフトウェア科学会 プログラミングおよびプログラミング言語サマースクール幹事
2008/05 - 2009/05 電子情報通信学会 論文誌フォーマルアプローチ特集編集副委員長
2006/04 - 2009/03 日本ソフトウェア科学会 プログラミング論研究会運営委員
2008/01 - 2008/12 28th IFIP WG6.1 International Conference on Formal Techniques for Networked and Distributed Systems (FORTE2008), PC
2008/01 - 2008/12 6th International Symposium on Automated Technology for Verification and Analysis (ATVA2008), PC
2008/05 - 2008/05 電子情報通信学会 ソフトウェアサイエンス研究専門副委員長
2005/07 - 2008/04 電子情報通信学会 論文誌フォーマルアプローチ特集編集幹事
2007/01 - 2007/12 5th International Symposium on Automated Technology for Verification and Analysis (ATVA2007), PC
2007/04 - 2007/10 日本ソフトウェア科学会 第24回大会運営委員長
2006/05 - 2007/05 電子情報通信学会 論文誌(D分冊)編集副委員長
2003/05 - 2007/05 電子情報通信学会 論文誌(D分冊)編集委員
2005/05 - 2006/04 電子情報通信学会 論文誌(D分冊)編集幹事
2004/03 - 2005/03 日本ソフトウェア科学会 プログラミングおよびプログラミング言語ワークショップ第7回プログラム共同委員長
Show all
Awards (7)：
2013/09 - 日本ソフトウェア科学会 第4回解説論文賞 「言語理論の話をしよう」
2011/09 - 電子情報通信学会 フェロー
2011/07 - Sixth International Multi-Conference on Computing in the Global Information Technology Best Paper Award (Low-density Parity Check Codes for High-Density 2D Barcode Symbology)
2008/12 - 情報処理学会 論文賞 (RNA Pseudoknotted Structure Prediction Using Stochastic Multiple Context-Free Grammar)
2007/06 - 日本ソフトウェア科学会 第11回論文賞
1998 - 情報処理学会 論文賞 「抽象的順序機械型代数的仕様からのドキュメント生成システム」
1982/03 - 大阪大学 楠本賞
Show all
Association Membership(s) (2)：
JAPAN SOCIETY FOR SOFTWARE SCIENCE AND TECHNOLOGY
, THE INSTITUTE OF ELECTRONICS, INFORMATION AND COMMUNICATION ENGINEERS
※ Researcher’s information displayed in J-GLOBAL is based on the information registered in
researchmap
.
For details, see here
.
Return to Previous Page
TOP
BOTTOM
