加藤 弘之
Hiroyuki Kato
更新日: 02/01
基本情報
研究分野
1論文
97-
Communications in Computer and Information Science 1457 CCIS 13-51 2022年 査読有り招待有り
-
情報処理学会論文誌プログラミング(PRO) 14(5) 15-33 2021年11月 査読有り
-
Proceedings of Ninth International Workshop on Bidirectional Transformations (Bx 2021) 2021年6月 査読有り
-
Proceedings of the VLDB Endowment 13(12) 2897-2900 2020年8月 査読有り
-
PVLDB 13(12) 2897-2900 2020年8月 査読有り
-
Programming Languages and Systems (LNCS, volume 12470) 323-342 2020年 査読有り
-
PVLDB 13(5) 726-739 2020年 査読有り
-
IEEE International Conference on Big Data and Smart Computing(BigComp) 1-5 2019年2月 査読有り
-
CoRR abs/1809.10357 2018年 査読有り
-
CoRR abs/1803.06674 2018年 査読有り
-
ACM International Conference Proceeding Series 130653 2017年9月1日 査読有り
-
Proceedings of the ACM/IEEE Joint Conference on Digital Libraries 2017年7月25日 査読有り
-
第9回データ工学と情報マネジメントに関するフォーラム 2017年3月 査読有り
-
IEICE Technical Report 115(508) 43-48 2016年3月
-
MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE 25(4) 916-941 2015年5月 査読有り
-
日本ソフトウェア科学会論文誌コンピュータソフトウェア 31(2) 44-56 2014年5月 査読有り
-
ACM SIGPLAN NOTICES 48(9) 305-318 2013年9月 査読有り
-
日本ソフトウェア科学会第30回大会, 東京大学本郷キャンパス, 2013年9月10日~13日. 2013年9月
-
Progress in Informatics (10) 131-148 2013年3月 査読有り
MISC
27-
WebDBフォーラム 2019年9月 査読有り
-
IEEE International Conference on Big Data and Smart Computing, BigComp 2019, Kyoto, Japan, February 27 - March 2, 2019 1-4 2019年 査読有り
-
情報処理 59(11) 1038-1039 2018年11月 招待有り
-
情報処理学会誌 58(4) 310-317 2017年4月 査読有り招待有り
-
電子情報通信学会技術研究報告 = IEICE technical report : 信学技報 115(508) 37-42 2016年3月10日
-
GRACE Technical Report (GRACE-TR-2011-06) 2011年11月
-
日本ソフトウェア科学会大会論文集 28 1-12 2011年9月27日
-
Technical Reports at the Centre for Research in Computing, Faculty of Mathematics, Computing and Technology, The Open University 2011(9) 2011年9月
-
GRACE Technical Report (GRACE-TR-2011-05) 2011年8月
-
GRACE Technical Report (GRACE-TR-2011-02) 2011年6月
-
GRACE Technical Report (GRACE-TR-2011-01) 2011年5月
-
日本ソフトウエア科学会大会講演論文集(CD-ROM) 28th ROMBUNNO.5A-2 2011年
-
Eighth ASIAN Symposium on Programming Languages and Systems (APLAS 2010), Shanghai, China, November 22 - December 1, 2010 2010年12月
-
Eighth ASIAN Symposium on Programming Languages and Systems (APLAS 2010), Shanghai, China, November 22 - December 1, 2010 2010年12月
-
GRACE Technical Report GRACE-TR-2010-04 2010年5月
-
ICFP 2010: PROCEEDINGS OF THE 2010 ACM SIGPLAN INTERNATIONAL CONFERENCE ON FUNCTIONAL PROGRAMMING 205-216 2010年
-
PROGRAMMING LANGUAGES AND SYSTEMS 6461 255-+ 2010年
-
情報処理学会シンポジウムシリーズ(CD-ROM) 2009(3) ROMBUNNO.3B,3 2009年11月12日
-
Technical Report GRACE-TR-2009-04, GRACE Center, National Institute of Informatics, September 2009, 28 pages 2009年9月
-
Technical Report GRACE-TR-2008-02 2008年9月
書籍等出版物
4-
CCIS1281, Springer 2020年
-
東京電機大学出版局 2006年12月10日 (ISBN: 4501542101)
-
World Scientific Publishing 2000年4月 (ISBN: 9810243103)
講演・口頭発表等
29-
Second Workshop on Software Foundations for Data Interoperability 2019年2月27日
-
Second Workshop on Software Foundations for Data Interoperability 2019年2月27日
-
Second Workshop on Software Foundations for Data Interoperability 2019年2月27日
-
ACM/IEEE-CS Joint Conference on Digital Libraires (JCDL) 2017年6月21日
-
第9回データ工学と情報マネジメントに関するフォーラム 2017年3月6日
-
電子情報通信学会ソフトウェアサイエンス研究会 2016年3月10日
-
電子情報通信学会ソフトウェアサイエンス研究会 2016年3月10日
-
日本ソフトウェア科学会第30回大会、東京大学本郷キャンパス 2013年9月
-
日本ソフトウェア科学会第30回大会、東京大学本郷キャンパス 2013年9月
-
Asian Workshop on Advanced Software Engineering 2013年7月21日
-
2nd NII-PKU International Joint Workshop on Advanced Software Engineering 2011年10月
-
第13回プログラミングおよびプログラミング言語ワークショップ(PPL2011) 2011年3月
-
The Fourth DIKU-IST Joint Workshop on Foundations of Software 2011年1月
-
Eighth Asian Symposium on Programming Languages and Systems (APLAS 2010) 2010年11月
-
Eighth Asian Symposium on Programming Languages and Systems (APLAS 2010) 2010年11月
-
1st PKU-NII International Joint Workshop on Advanced Software Engineering 2010年10月
-
第12回プログラミングおよびプログラミング言語ワークショップ 2010年3月
-
第12回プログラミングおよびプログラミング言語ワークショップ 2010年3月
-
4th International Workshop on Bidirectional Transformation in Architecture-Based Component Composition 2010年3月
-
The Seventh Asian Symposium on Programming Languages(APLAS 2009) (poster) 2009年12月
担当経験のある科目(授業)
6-
2020年4月 - 現在
-
2010年10月 - 現在
所属学協会
1Works(作品等)
2-
2011年3月 コンピュータソフト
-
2010年6月 コンピュータソフト
共同研究・競争的資金等の研究課題
17-
日本学術振興会 科学研究費助成事業 基盤研究(B) 基盤研究(B) 2021年4月 - 2024年3月
-
日本学術振興会 科学研究費助成事業 基盤研究(S) 2017年5月 - 2022年3月
-
文部科学省 科学研究費補助金(基盤研究(C)) 2018年4月 - 2021年3月
-
文部科学省 科学研究費補助金(基盤研究(C)) 2014年4月 - 2018年3月
-
日本学術振興会 科学研究費助成事業 基盤研究(A) 2013年4月 - 2017年3月
-
日本学術振興会 科学研究費助成事業 基盤研究(B) 2010年4月 - 2014年3月
-
文部科学省 科学研究費補助金(基盤研究(C)) 2011年4月 - 2014年3月
-
日本学術振興会 科学研究費助成事業 挑戦的萌芽研究 2010年 - 2011年
-
文部科学省 科学研究費補助金(基盤研究(C)) 基盤研究(C) 2008年 - 2009年
-
日本学術振興会 科学研究費助成事業 特定領域研究 2004年 - 2005年
-
文部科学省 科学研究費補助金(若手研究(B)) 若手研究(B) 2002年 - 2004年
-
日本学術振興会 科学研究費助成事業 特定領域研究 2003年 - 2003年
-
日本学術振興会 科学研究費助成事業 基盤研究(C) 2000年 - 2002年
-
日本学術振興会 科学研究費助成事業 特定領域研究(C) 2001年 - 2001年
-
日本学術振興会 科学研究費助成事業 特定領域研究(C) 2001年 - 2001年
-
文部科学省 科学研究費補助金(奨励研究(A)) 奨励研究(A) 2000年 - 2001年
-
日本学術振興会 科学研究費助成事業 特定領域研究(C) 2000年 - 2000年
委員歴
5-
2018年4月 - 2019年3月
-
2017年4月 - 2018年3月
-
2015年4月 - 2017年3月
-
2016年3月 - 2016年9月