横山 哲郎
ヨコヤマ テツオ (Tetsuo Yokoyama)
更新日: 04/13
基本情報
- 所属
- 南山大学 理工学部 ソフトウェア工学科
- 学位
-
博士（情報理工学）(2006年3月 東京大学)修士（情報理工学）(2003年 東京大学)
- 研究者番号
- 80456631
- J-GLOBAL ID
- 201801006298607090
- researchmap会員ID
- B000342217
- 外部リンク
詳細については弊学の「南山大学 研究者詳細」をご覧下さい。
経歴
6-
2020年 - 現在
-
2014年 - 2019年
-
2011年 - 2014年
-
2009年 - 2011年
-
2007年 - 2009年
-
2005年 - 2007年
学歴
4-
2003年4月 - 2006年3月
-
2001年 - 2003年
-
1999年 - 2001年
-
1997年 - 1999年
委員歴
9-
2018年4月 - 現在
-
2012年4月 - 2016年3月
-
2011年4月 - 2015年3月
-
2013年4月 - 2014年3月
-
2012年4月 - 2013年3月
-
2009年4月 - 2013年3月
-
2011年9月 - 2012年9月
受賞
4論文
43-
173Under review (cite this paper when you would like to refer to COT representation) 1-68 2020年11月 -
Discrete Mathematics, Algorithms and Applications 2150023-2150023 2020年10月28日 査読有り筆頭著者
-
Information Processing Letters 147 32-37 2019年7月 査読有り
-
電子情報通信学会論文誌 D J102-D(3) 130-140 2019年3月 査読有り最終著者責任著者
-
電子情報通信学会論文誌 D J102-D(3) 235-238 2019年3月 査読有り筆頭著者責任著者
-
Proceedings of the Third Workshop on Software Foundations for Data Interoperability (SFDI2019+), October 28, 2019, Fukuoka, Japan 1-5 2019年 査読有り
-
Formal Methods. FM 2019 International Workshops (FM 2019), Lecture Notes in Computer Science, Springer-Verlag 12233 413-427 2019年 査読有り
-
電子情報通信学会論文誌 D J101-D(9) 1372-1375 2018年9月1日 査読有り
-
電子情報通信学会論文誌 D J101-D(8) 1220-1222 2018年8月 査読有り筆頭著者責任著者
-
電子情報通信学会論文誌 D J101-D(5) 791-793 2018年5月 査読有り筆頭著者最終著者責任著者
-
Reversibility and Universality, Springer-Verlag 30 243-267 2018年3月 査読有り責任著者
-
New Gener. Comput. 36(3) 143-144 2018年
-
電子情報通信学会論文誌 D J100-D(10) 892-894 2017年10月 査読有り筆頭著者責任著者
-
電子情報通信学会論文誌 D J100-D(10) 895-896 2017年10月 査読有り筆頭著者最終著者責任著者
-
IEICE on Information and Systems 100-D(5) 1026-1034 2017年5月 査読有り最終著者
-
Computer Software 3 108-128 2016年8月10日 査読有り
-
Theoretical Computer Science 611 87-115 2016年1月 査読有り
-
Programming Languages and Systems, Lecture Notes in Computer Science, Springer-Verlag 9458 407-426 2015年12月 査読有り
-
情報処理学会論文誌プログラミング（PRO） 7(4) 21-36 2014年8月 査読有り最終著者責任著者
-
ACM Journal on Emerging Technologies in Computing Systems 11(2) 11-15 2014年 査読有り
主要な担当経験のある科目(授業)
24所属学協会
4-
2016年6月 - 現在
-
2011年4月 - 現在
-
2008年10月 - 現在
-
2003年9月 - 現在
共同研究・競争的資金等の研究課題
11-
日本学術振興会 科学研究費助成事業 基盤研究(C) 2018年4月 - 2022年3月
-
日本学術振興会 科学研究費助成事業 若手研究(B) 2013年4月 - 2017年3月
-
日本学術振興会 科学研究費助成事業 若手研究(B) 2010年 - 2012年
-
財団法人理工学振興会 2005年4月 - 2006年3月
-
日本学術振興会 科学研究費助成事業 特別研究員奨励費 2005年 - 2006年
-
公益財団法人栢森情報科学振興財団
-
財団法人 中島記念国際交流財団
-
財団法人堀情報科学振興財団
-
公益財団法人倉田記念日立科学技術財団
-
Scandinavia-Japan Sasakawa Foundation
社会貢献活動
3