安部 達也
アベ タツヤ (ABE TATSUYA)
更新日: 03/06
基本情報
- 所属
- 千葉工業大学 人工知能・ソフトウェア技術研究センター人工知能・ソフトウェア技術研究センター その他 (上席研究員)
- 学位
-
学士(2002年3月 京都大学)修士(2004年3月 東京大学)博士(2007年12月 東京大学)
- J-GLOBAL ID
- 201801008349213019
- researchmap会員ID
- 7000022695
- 外部リンク
研究分野
1経歴
6-
2013年4月 - 2015年10月
-
2011年4月 - 2013年3月
-
2009年4月 - 2011年3月
-
2008年4月 - 2009年3月
-
2007年10月 - 2008年3月
学歴
3-
2004年4月 - 2007年9月
-
2002年4月 - 2004年3月
-
1998年4月 - 2002年3月
委員歴
19-
2024年4月 - 現在
-
2023年8月 - 現在
-
2023年4月 - 現在
-
2023年4月 - 現在
-
2025年12月 - 2025年12月
-
2025年9月 - 2025年9月
-
2025年3月 - 2025年3月
-
2024年3月 - 2024年3月
-
2023年3月 - 2023年3月
-
2018年4月 - 2022年3月
-
2018年4月 - 2022年3月
-
2018年4月 - 2022年3月
-
2020年3月 - 2020年3月
-
2019年3月 - 2019年3月
-
2018年3月 - 2018年3月
-
2017年8月 - 2017年8月
-
2016年3月 - 2016年3月
-
2016年3月 - 2016年3月
受賞
1-
2018年3月
論文
23-
Journal of Logic and Computation 33(7) 1527-1565 2023年10月 査読有り
-
Journal of Applied Logics 10(4) 511-530 2023年7月 査読有り
-
Journal of Information Processing 29 434-448 2021年6月 査読有り
-
Science of Computer Programming 187(102322) 2020年2月 査読有り
-
Proceedings of MPLR 50-62 2019年10月 査読有り
-
Proceedings of SPIN 196-215 2018年6月 査読有り
-
Journal of Information Processing 26 314-326 2018年3月 査読有り
-
Proceedings of HVC 51-66 2017年11月 査読有り
-
International Journal on Software Tools for Technology Transfer 19(5) 623-647 2017年10月 査読有り
-
Proceedings of OOPSLA 2017年10月 査読有り
-
Proceedings of IWC 79-79 2017年9月
-
Proceedings of VSTTE 2017年7月 査読有り
-
Journal of Information Processing 25 244-255 2017年1月 査読有り
-
Proceedings of APLAS 63-84 2016年11月 査読有り
-
Proceedings of SETTA 118-135 2016年11月 査読有り
-
Proceedings of HIPS 365-374 2013年5月 査読有り
-
Proceedings of PGAS 1-10 2012年10月 査読有り
-
Proceedings of ILC 107-114 2012年10月 査読有り
-
Proceedings of P2S2 29-37 2012年9月 査読有り
-
Proceedings of iWAPT 404-419 2012年7月 査読有り
MISC
4-
夏のプログラミング・シンポジウム「プログラミング言語、作る人、使う人」 1-6 2011年9月
-
並列/分散/協調処理に関するサマー・ワークショップ 1-8 2011年7月
-
第 27 回日本ソフトウェア科学会全国大会 2010年9月
-
夏のプログラミング・シンポジウム「境界の情報科学〜インタフェースを考える〜」 67-73 2009年9月
担当経験のある科目(授業)
3-
2024年4月 - 2024年7月
-
2023年4月 - 2023年7月
-
2013年4月 - 2013年9月
所属学協会
2-
2017年8月 - 現在
-
2011年6月 - 現在
共同研究・競争的資金等の研究課題
5-
日本学術振興会 基盤研究（C） 2023年4月 - 2026年3月
-
日本学術振興会 若手研究（B） 2016年4月 - 2019年3月
-
公益財団法人 小笠原科学技術振興財団 2017年7月 - 2017年7月
-
日本学術振興会 若手研究（B） 2013年4月 - 2017年3月
-
公益財団法人 電気通信普及財団 2016年11月 - 2017年1月