関浩之

Seki Hiroyuki

ホームページURL (1件)： http://www.sqlab.jp/sekilab/seki/Japanese/

研究キーワード (2件)：形式言語理論 , ソフトウェア基礎理論

MISC (77件)：

書籍 (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

講演・口頭発表等 (34件)：

モデル計数に基づく動的QIF解析法の提案と評価
(電子情報通信学会技術研究報告, 119(362), 49-54 2020)
Computing optimal weight in weighted register automata and related decision problems
(電子情報通信学会技術研究報告, 119(246), 19-24 2019)
有向グラフに対する圧縮法および圧縮グラフに対する頂点選択問合せ評価法の提案
(第10回データ工学と情報マネジメントに関するフォーラム(DEIM 2018) 2018)
レジスタ付き文脈自由文法に関する所属問題と空問題の計算複雑さ
(電子情報通信学会技術研究報告, 117(381), 41-46 2018)
非決定性選択木オートマトンの決定化
(情報処理学会第117回プログラミング研究会(講演番号:2017-4-(2)) 2018)

学歴 (3件)：

学位 (1件)：

経歴 (7件)：

全件表示

委員歴 (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

全件表示

受賞 (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回論文賞

全件表示

所属学会 (2件)：

日本ソフトウェア科学会 , 電子情報通信学会

※　J-GLOBALの研究者情報は、researchmapの登録情報に基づき表示しています。登録・更新については、こちらをご覧ください。

関 浩之