渡部 卓雄
ワタナベ タクオ (Takuo Watanabe)
更新日: 03/02
基本情報
- 所属
- 東京工業大学 情報理工学院 教授
- 学位
-
理学博士(東京工業大学)
- ORCID ID
- https://orcid.org/0000-0001-7470-3428
- J-GLOBAL ID
- 200901024152998303
- researchmap会員ID
- 5000013922
- 外部リンク
1986年東京工業大学理学部情報科学科卒業.1991年同大大学院理工学研究科情報科学専攻博士後期課程修了.理学博士.日本学術振興会特別研究員,イリノイ大学計算機科学科研究員,北陸先端科学技術大学院大学情報科学研究科助教授,東京工業大学大学院情報理工学研究科計算工学専攻准教授をへて,現在,東京工業大学情報理工学院情報工学系教授.メタプログラミングと自己反映計算,形式手法,計算機言語の研究に従事.
経歴
8-
2017年1月 - 現在
-
2016年4月 - 2016年12月
-
2001年1月 - 2016年3月
-
2002年4月 - 2004年3月
-
1992年4月 - 2000年12月
-
1991年4月 - 1992年3月
-
1991年9月 - 1992年2月
-
1990年4月 - 1991年3月
主要な受賞
9論文
80-
コンピュータソフトウェア 41(掲載予定) 2024年4月 最終著者
-
Proc. 13th International Conference on Software and Computer Applications (ICSCA 2024), 2024年2月 査読有り最終著者
-
Proceedings of the Workshop on Computation: Theory and Practice (WCTP 2023) 139-154 2024年2月 査読有り最終著者
-
Proc. 5th World Symposium on Software Engineering (WSSE '23) 61-66 2023年12月26日 査読有り最終著者
-
Proc. 6th Asia Pacific Conference on Robot IoT System Development and Platform (APRIS 2023) 1-8 2023年12月20日 査読有り最終著者
-
Proc. 10th International Workshop on Reactive and Event-based Languages & Systems 43-53 2023年10月 査読有り最終著者責任著者
-
Companion Proceedings of the 7th International Conference on the Art, Science, and Engineering of Programming 12-16 2023年3月 査読有り責任著者
-
Proceedings of the 9th ACM SIGPLAN International Workshop on Reactive and Event-Based Languages and Systems 1-12 2022年11月29日 査読有り最終著者責任著者
-
Journal of Information Processing 29 685-706 2021年10月 査読有り最終著者責任著者
-
コンピュータソフトウェア 38(2) 20-26 2021年4月 査読有り責任著者
-
10th International Conference on Software and Computer Applications (ICSCA 2021) 75-80 2021年2月 査読有り最終著者責任著者
-
Workshop on Computation: Theory and Practice (WCTP 2020) 1-5 2020年11月21日 査読有り筆頭著者
-
Workshop on Computation: Theory and Practice (WCTP 2020) 34-45 2020年11月21日 査読有り責任著者
-
Asia Pacific Conference on Robot IoT System Development and Platform (APRIS 2020) 1-5 2020年11月 査読有り筆頭著者責任著者
-
情報処理学会論文誌プログラミング(PRO) 13(2) 1-13 2020年4月 査読有り最終著者責任著者
-
第22回プログラミングおよびプログラミング言語ワークショップ(PPL 2020) 2020年3月 査読有り最終著者責任著者
-
Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing 171-190 2020年 査読有り最終著者責任著者
-
Proceedings of the 6th ACM SIGPLAN International Workshop on Reactive and Event-Based Languages and Systems - REBLS 2019 11-20 2019年11月9日 査読有り責任著者
-
Workshop on Computation: Theory and Practice (WCTP 2019) 2019年9月 査読有り筆頭著者
-
10th International Workshop on Context-Oriented Programming (COP 2018) 23-30 2018年7月 査読有り
MISC
93-
情報処理学会論文誌プログラミング(PRO) 16(3) 35-35 2023年8月28日 最終著者
-
日本ソフトウェア科学会第39回大会 2022年8月 最終著者責任著者
-
情報処理学会研究報告 2019-EMB-54(3) 1-8 2020年6月 最終著者責任著者
-
組込みシステムシンポジウム2018論文集(ESS2018) 17-20 2018年8月
-
組込み技術とネットワークに関するワークショップ(ETNET2018) 2018-EMB-47(26) 1-6 2018年3月
-
電子情報通信学会技術研究報告 117(480(DC2017 89-106)) 149‐154 2018年2月28日
-
日本ソフトウェア科学会研究会資料シリーズ(Web) (82) 40‐48 (WEB ONLY) 2018年
-
情報処理学会研究報告(Web) 2017(EMB-45) Vol.2017‐EMB‐45,No.2,1‐6 (WEB ONLY) 2017年6月23日
-
日本ソフトウェア科学会大会講演論文集(CD-ROM) 34th ROMBUNNO.PPL3‐2 2017年
-
日本ソフトウェア科学会大会講演論文集(CD-ROM) 34th ROMBUNNO.rePiT2‐2 2017年
-
日本ソフトウェア科学会大会講演論文集(CD-ROM) 34th ROMBUNNO.PPL9‐1 2017年
-
電子情報通信学会技術研究報告 115(480(MSS2015 67-87)) 61‐66 2016年2月25日
-
日本ソフトウエア科学会大会講演論文集(CD-ROM) 33rd ROMBUNNO.PPL10‐2 2016年
-
電子情報通信学会技術研究報告 115(20(SS2015 1-15)) 1-5 2015年5月4日
-
日本ソフトウェア科学会大会論文集 31 443-446 2014年9月7日
-
日本ソフトウェア科学会大会論文集 31 133-139 2014年9月7日
-
情報処理学会論文誌プログラミング(PRO) 6(3) 50-50 2013年12月20日
-
情報処理学会論文誌. プログラミング 6(3) 2013年12月20日
-
日本ソフトウェア科学会大会論文集 30 633-640 2013年9月10日
-
電子情報通信学会技術研究報告 = IEICE technical report : 信学技報 113(71) 61-66 2013年5月30日
主要な担当経験のある科目(授業)
16-
2020年4月 - 現在
-
2020年4月 - 現在
-
2017年4月 - 現在
-
2016年4月 - 現在
所属学協会
5-
2012年9月 - 現在
-
1992年1月 - 現在
-
1988年11月 - 現在
-
1986年9月 - 現在
-
1986年4月 - 現在
主要な共同研究・競争的資金等の研究課題
27-
日本学術振興会 科学研究費助成事業 基盤研究(C) 2022年4月 - 2025年3月
-
日本学術振興会 科学研究費助成事業 基盤研究(C) 基盤研究(C) 2021年4月 - 2024年3月
-
日本学術振興会 科学研究費助成事業 基盤研究(C) 基盤研究(C) 2018年4月 - 2021年3月
学歴
2-
1986年4月 - 1991年3月
-
1982年4月 - 1986年3月
委員歴
7-
2022年4月 - 現在
-
2023年12月 - 2023年12月
-
2019年4月 - 2023年3月
-
2005年4月 - 2009年3月
-
2002年4月 - 2006年3月
-
2002年4月 - 2006年3月
-
1996年4月 - 2000年3月