緒方 和博
Kazuhiro Ogata
更新日: 07/03
基本情報
- 学位
-
慶應義塾大学工学士 (1990)，慶應義塾大学工学修士 (1992)，慶應義塾大学博士(工学) (1995)
- J-GLOBAL ID
- 201901021262256572
- researchmap会員ID
- B000362139
研究分野
1委員歴
1-
2014年 - 現在
受賞
1主要な論文
159-
JOURNAL OF INFORMATION SECURITY AND APPLICATIONS 53 102529-102529 2020年8月 査読有り責任著者
-
FRONTIERS OF COMPUTER SCIENCE 13(1) 51-72 2019年2月 査読有り
-
JOURNAL OF INFORMATION SECURITY AND APPLICATIONS 42 71-86 2018年10月 査読有り
-
ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY 27(2) 6-32 2018年7月 査読有り
-
THEORETICAL COMPUTER SCIENCE 722 52-75 2018年4月 査読有り
-
FORMAL ASPECTS OF COMPUTING 29(2) 309-334 2017年3月 査読有り
-
2017 IEEE 37TH INTERNATIONAL CONFERENCE ON DISTRIBUTED COMPUTING SYSTEMS (ICDCS 2017) 1586-1596 2017年 査読有り
-
THEORETICAL COMPUTER SCIENCE 464 90-112 2012年12月 査読有り
-
INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING 20(2) 253-287 2010年3月 査読有り
-
INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING 17(6) 783-804 2007年12月 査読有り
-
SCIENCE OF COMPUTER PROGRAMMING 66(2) 162-180 2007年4月 査読有り
-
ALGEBRA, MEANING, AND COMPUTATION 4060 596-615 2006年 査読有り
-
25th IEEE International Conference on Distributed Computing Systems, Proceedings 795-804 2005年 査読有り
-
INFORMATION PROCESSING LETTERS 86(2) 57-62 2003年4月 査読有り
-
Lecture Notes in Computer Science 170-184 2003年 査読有り
-
Proceedings 16th Annual International Conference on Automated Software Engineering (ASE 2001) 2001年 査読有り
-
ACM SIGPLAN Notices 27(7) 44-54 1992年1月7日 査読有り
MISC
26-
電子情報通信学会技術研究報告 = IEICE technical report : 信学技報 119(470) 25-30 2020年3月9日
-
電子情報通信学会技術研究報告 = IEICE technical report : 信学技報 118(499) 13-18 2019年3月14日
-
情報・システムソサイエティ誌 21(3) 8-9 2016年
-
電子情報通信学会技術研究報告 = IEICE technical report : 信学技報 114(510) 1-6 2015年3月9日
-
Research report 2014 1-4 2014年12月15日
-
電子情報通信学会ソサイエティ大会講演論文集 2012 "SS-23"-"SS-26" 2012年8月28日
-
電子情報通信学会総合大会講演論文集 2010 "S-27"-"S-28" 2010年3月2日
-
計測と制御 = Journal of the Society of Instrument and Control Engineers 48(11) 816-821 2009年11月10日 査読有り招待有り
-
コンピュータ ソフトウェア 25(2) 78-84 2008年 査読有り招待有り
-
電子情報通信学会技術研究報告. SS, ソフトウェアサイエンス 104(570) 1-6 2005年1月13日
-
情報科学技術フォーラム一般講演論文集 3(1) 175-176 2004年8月20日
-
情報科学技術フォーラム一般講演論文集 3(1) 177-178 2004年8月20日
-
情報科学技術フォーラム一般講演論文集 2002(1) 91-92 2002年9月13日
-
電子情報通信学会技術研究報告. SS, ソフトウェアサイエンス 100(569) 9-16 2001年1月15日
-
電子情報通信学会論文誌. D-1, 情報・システム 1-情報処理 83(2) 255-263 2000年2月25日
-
電子情報通信学会技術研究報告 99(426) 47-54 1999年11月12日
-
電子情報通信学会技術研究報告. SS, ソフトウェアサイエンス 98(294) 7-14 1998年9月21日
-
電子情報通信学会技術研究報告. SS, ソフトウェアサイエンス 98(86) 1-8 1998年5月29日
-
電子情報通信学会技術研究報告. SS, ソフトウェアサイエンス 97(629) 9-16 1998年3月23日
-
全国大会講演論文集 55 279-280 1997年9月24日
書籍等出版物
3-
Lecture Notes in Computer Science 8373, Springer 2014, ISBN 978-3-642-54623-5 2014年
-
2010年
講演・口頭発表等
14-
The Second International Lecture Series of School of Software and Microelectornics (SSM), Northwestern Polytechnic University 2017年9月19日 招待有り
-
25th International Conference on Inductive Logic Programming 2015年8月20日
-
2012年電子情報通信学会ソサイエティ大会 2012年9月11日 招待有り
-
ソフトウェア・シンポジウム 2012 2012年6月12日
-
情報処理学会ソフトウェア工学研究会第165回研究会 2009年7月2日 招待有り
-
ソフトウェアシンポジウム２００９、ソフトウェア技術者協会 2009年6月17日 招待有り
-
2000 ACM Symposium on AComputingpplied 2000年3月
-
200 International Technical Conference on Circuts/Systems, Computers and Communications (ITC-CSCC 2000) 2000年
-
The 3rd International Workshop on Rewriting Logic and its Applications (WRLA 2000) 2000年
-
電子情報通信学会ソフトウェアサイエンス研究会（１月研究集会） 2000年
-
ASIAN '99 1999年12月
-
電子情報通信学会技術研究報告 1999年11月
-
FOSE '99 1999年11月
-
OBJ/CafeOBJ/Maude at Formal Methods '99 1999年9月
担当経験のある科目(授業)
8共同研究・競争的資金等の研究課題
13-
日本学術振興会 科学研究費助成事業 基盤研究(B) 2019年4月 - 2023年3月
-
日本学術振興会 科学研究費助成事業 基盤研究(A) 2014年6月 - 2019年3月
-
日本学術振興会 科学研究費助成事業 挑戦的萌芽研究 2014年4月 - 2017年3月
-
日本学術振興会 科学研究費助成事業 基盤研究(S) 2011年4月 - 2016年3月
-
日本学術振興会 科学研究費助成事業 基盤研究(C) 2011年 - 2013年
-
日本学術振興会 科学研究費助成事業 基盤研究(A) 2011年 - 2011年
-
日本学術振興会 科学研究費助成事業 基盤研究(C) 2006年 - 2008年
-
日本学術振興会 科学研究費助成事業 特定領域研究 2000年 - 2003年
-
日本学術振興会 科学研究費助成事業 奨励研究(A) 2000年 - 2001年
-
日本学術振興会 科学研究費助成事業 萌芽的研究 1999年 - 2001年
-
日本学術振興会 科学研究費助成事業 基盤研究(B) 1998年 - 2001年
-
日本学術振興会 科学研究費助成事業 奨励研究(A) 1998年 - 1999年
-
日本学術振興会 科学研究費助成事業 基盤研究(B) 1995年 - 1997年
学術貢献活動
13-
査読Frontiers in Computer Science 2020年7月 - 現在
-
企画立案・運営等32nd International Conference on Software Engineering & Knowledge Engineering 2020年7月9日 - 2020年7月19日
-
企画立案・運営等Fifith IEEE International Conference on Dependable Systems and Their Applications (Dalian, China) 2018年9月22日 - 2018年9月23日
-
企画立案・運営等18th International Conference on Formal Engineering Methods (TKP Conference Centre, Tokyo, Japan) 2016年11月14日 - 2016年11月18日
-
企画立案・運営等Specification, Algebra, and Software - Essays Dedicated to Kokichi Futatsugi (Kanazawa) 2014年4月14日 - 2014年4月16日
-
企画立案・運営等IEICE Transaction on Information and Systems 2013年6月 - 2013年6月
-
企画立案・運営等14th International Conference on Formatl Engineering Methods 2012年11月12日 - 2012年11月16日
-
その他JAIST Advanced School of Formal Specification and Systems Verification (JAIST-FSSV2010) 2010年3月1日 - 2010年3月5日