関 浩之
Hiroyuki Seki
更新日: 04/28
基本情報
研究キーワード
2研究分野
1経歴
8-
2025年4月 - 現在
-
2017年4月 - 現在
-
2013年4月 - 2017年3月
-
1996年10月 - 2013年3月
-
1994年4月 - 1996年9月
-
1992年12月 - 1994年3月
-
1990年10月 - 1992年11月
-
1987年4月 - 1990年9月
学歴
3-
1984年4月 - 1987年3月
-
1982年4月 - 1984年3月
-
1978年4月 - 1982年3月
委員歴
20-
2009年4月 - 2014年3月
-
2010年5月 - 2012年5月
-
1995年4月 - 2012年5月
-
2011年1月 - 2011年9月
-
2009年5月 - 2010年5月
-
2009年3月 - 2009年9月
-
2008年5月 - 2009年5月
-
2006年4月 - 2009年3月
-
2008年5月 - 2008年5月
-
2005年7月 - 2008年4月
-
2007年4月 - 2007年10月
-
2006年5月 - 2007年5月
-
2003年5月 - 2007年5月
-
2005年5月 - 2006年4月
-
2004年3月 - 2005年3月
受賞
7-
2011年9月
-
2007年6月
-
1982年3月
論文
11-
IEICE Trans. Inf. Syst. 103-D(3) 540-548 2020年
-
Language and Automata Theory and Applications - 13th International Conference(LATA) 259-271 2019年
-
IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS E92D(2) 200-210 2009年2月 査読有り
-
コンピュータ ソフトウェア 23(3) 51-65 2006年
-
CONCUR 2003 - Concurrency Theory, 14th International Conference, Marseille, France, September 3-5, 2003, Proceedings 278-292 2003年 査読有り
-
コンピュータ ソフトウェア 19(3) 176-194 2002年
-
6th ACM Symposium on Access Control Models and Technologies, SACMAT 2001, Litton-TASC, Chantilly, Virginia, USA, May 3-4, 2001 31-40 2001年 査読有り
-
CCS 2001, Proceedings of the 8th ACM Conference on Computer and Communications Security, Philadelphia, Pennsylvania, USA, November 6-8, 2001. 68-77 2001年 査読有り
-
Proceedings of the Fourth International Conference onDeductive and Object-Oriented Databases, LNCS 1013 79(10) 769-780 1995年12月 査読有り
-
Transactions of Information Processing Society of Japan 36(5) 1114-1125 1995年5月 査読有り
-
Proceedings of the IEEE International Symposium on Requirements Engineering 1993年1月 査読有り
MISC
74-
第22回プログラミングおよびプログラミング言語ワークショップ 000-000 2020年3月 招待有り
-
3rd Workshop on Software Foundations for Data Interoperability 000-000 2019年10月28日 招待有り
-
15th International Colloquim on Theoretical Aspects of Computing, Lecture Notes in Computer Science 11187 415-434-434 2018年10月18日 査読有り
-
IEICE Transactions on Information and Systems E101D(6) 1479-1490 2018年6月1日 査読有り
-
IEICE Transactions on Information and Systems E101D(6) 1467-1478 2018年6月1日 査読有り
-
2nd International Conference on System Reliability and Safety 000 2017年12月20日 査読有り
-
電子情報通信学会技術報告 116(512) 103-108 2017年3月10日
-
FORMAL TECHNIQUES FOR SAFETY-CRITICAL SYSTEMS (FTSCS 2016) 694 39-54 2017年 査読有り
-
電子情報通信学会技術報告 116(127) 105-110 2016年7月14日
-
4th International Workshop on Trends in Tree Automata and Tree Transducers 0-0 2016年7月 査読有り
-
Rewriting Techniques for Program Transformations and Evaluation 0-0 2016年6月 査読有り
-
IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS E99D(6) 1410-1419 2016年6月 査読有り
-
IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS E99D(3) 575-587 2016年3月 査読有り
-
15th International Workshop on Automated Verification of Critical Systems 281-282 2015年9月1日 査読有り
-
7th International Conference on Advances in Databases, Knowledge, and Data Applications 15-20 2015年5月25日 査読有り
-
IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS E98D(3) 512-523 2015年3月 査読有り
-
2015 EIGHTH INTERNATIONAL CONFERENCE ON MOBILE COMPUTING AND UBIQUITOUS NETWORKING (ICMU) 70-71 2015年 査読有り
-
研究報告コンピュータセキュリティ（CSEC） 2014(38) 1-6 2014年6月26日
-
研究報告バイオ情報学（BIO） 2014(25) 1-5 2014年6月18日
-
2014 INTERNATIONAL SYMPOSIUM ON INFORMATION THEORY AND ITS APPLICATIONS (ISITA) 561-565 2014年 査読有り
書籍等出版物
2-
オーム社 2013年9月26日 (ISBN: 9784274213823)
講演・口頭発表等
34-
電子情報通信学会技術研究報告, 119(362), 49-54 2020年1月14日 電子情報通信学会ソフトウェアサイエンス研究会（講演番号：SS2019-33）
-
電子情報通信学会技術研究報告, 119(246), 19-24 2019年10月24日 電子情報通信学会ソフトウェアサイエンス研究会（講演番号：SS2019-16）
-
第10回データ工学と情報マネジメントに関するフォーラム（DEIM 2018） 2018年3月4日
-
電子情報通信学会技術研究報告, 117(381), 41-46 2018年1月18日 電子情報通信学会ソフトウェアサイエンス研究会（講演番号：SS2017-41）
-
情報処理学会第117回プログラミング研究会（講演番号：2017-4-(2)） 2018年1月18日
-
電子情報通信学会技術研究報告, 117(248), 7-12 2017年10月19日 電子情報通信学会ソフトウェアサイエンス研究会（講演番号：SS2017-22）
-
電子情報通信学会技術研究報告 117(136), 1-6 2017年7月19日 電子情報通信学会ソフトウェアサイエンス研究会（講演番号：SS2017-1）
-
電子情報通信学会技術研究報告, 116(512), SS2016-61, 7-12 2017年3月9日
-
第9回データ工学と情報マネジメントに関するフォーラム（DEIM 2017） 2017年3月6日
-
情報処理学会第113回プログラミング研究会 2017年3月3日
-
電子情報通信学会技術研究報告, 116(426), SS2016-54, 107-112 2017年1月26日 電子情報通信学会ソフトウェアサイエンス研究会
-
情報処理学会研究報告ソフトウェア工学(SE), 2016-SE-194(4), 1-5 2016年11月17日 情報処理学会第194回ソフトウェア工学研究会
-
電子情報通信学会技術研究報告，116(277), SS2016-27, 55-60 2016年10月27日 電子情報通信学会ソフトウェアサイエンス研究会
-
電子情報通信学会技術研究報告，116(277), SS2016-26, 49-54 2016年10月27日 電子情報通信学会ソフトウェアサイエンス研究会
-
電子情報通信学会技術研究報告，116(127), SS2016-12, 105-11 2016年7月13日 電子情報通信学会ソフトウェアサイエンス研究会
-
電子情報通信学会技術研究報告，116(127), SS2016-10, 93-98 2016年7月13日 電子情報通信学会ソフトウェアサイエンス研究会
-
IEICE Technical Report 2016年3月10日 電子情報通信学会ソフトウェアサイエンス研究会
-
第18回プログラミングおよびプログラミング言語ワークショップPPL2016 2016年3月7日 日本ソフトウェア科学会プログラミング論研究会
-
電子通信学会技術研究報告，115(486), LOIS2015-75, 69-74 2016年3月3日 電子情報通信学会ライフインテリジェンスとオフィス情報システム研究会
-
ウィンターワークショップ2016・イン・逗子 2016年2月4日 情報処理学会ソフトウェア工学研究会