横山 哲郎
ヨコヤマ テツオ (Tetsuo Yokoyama)
更新日: 07/30
基本情報
- 所属
- 南山大学 理工学部 電子情報工学科
- 学位
-
博士（情報理工学）(2006年3月 東京大学)修士（情報理工学）(2003年 東京大学)
- 研究者番号
- 80456631
- J-GLOBAL ID
- 201801006298607090
- researchmap会員ID
- B000342217
- 外部リンク
詳細については弊学の「南山大学 研究者詳細」をご覧下さい。
経歴
7-
2021年 - 現在
-
2020年 - 2021年
-
2014年 - 2019年
-
2011年 - 2014年
-
2009年 - 2011年
-
2007年 - 2009年
-
2005年 - 2007年
学歴
4-
2003年4月 - 2006年3月
-
2001年 - 2003年
-
1999年 - 2001年
-
1997年 - 1999年
委員歴
10-
2022年2月 - 現在
-
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月
受賞
5論文
47-
New Generation Computing 2022年7月4日 査読有り
-
Theoretical Computer Science 920 46-63 2022年6月 査読有り
-
アカデミア. 理工学編 : 南山大学紀要 22 124-132 2022年3月
-
245Under 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月 査読有り筆頭著者最終著者責任著者
-
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月 査読有り
MISC
8-
電子情報通信学会技術研究報告 110(474) 1-6 2011年3月18日
-
電子情報通信学会技術研究報告 110(473) 1-6 2011年3月18日
-
研究報告システムLSI設計技術（SLDM） 2011(1) 1-6 2011年3月11日
-
電子情報通信学会技術研究報告 109(475) 125-132 2010年3月26日
-
電子情報通信学会技術研究報告 109(474) 125-132 2010年3月26日
-
情報処理学会研究報告 2010(18) 1-8 2010年3月19日
-
電子情報通信学会技術研究報告 109(34) 49-54 2009年5月20日
-
研究報告システムLSI設計技術（SLDM） 2009(9) 1-6 2009年5月13日
主要な担当経験のある科目(授業)
25所属学協会
4-
2016年6月 - 現在
-
2011年4月 - 現在
-
2008年10月 - 現在
-
2003年9月 - 現在
共同研究・競争的資金等の研究課題
13-
日本学術振興会 2022年4月 - 2027年3月
-
日本学術振興会 科学研究費助成事業 基盤研究(C) 2018年4月 - 2022年3月
-
日本学術振興会 科学研究費助成事業 若手研究(B) 2013年4月 - 2017年3月
-
国立情報学研究所 共同研究一般研究公募型 2011年4月 - 2012年3月
-
日本学術振興会 科学研究費助成事業 若手研究(B) 2010年 - 2012年
-
財団法人理工学振興会 2005年4月 - 2006年3月
-
日本学術振興会 科学研究費助成事業 特別研究員奨励費 2005年 - 2006年
-
公益財団法人栢森情報科学振興財団
-
財団法人 中島記念国際交流財団
-
財団法人堀情報科学振興財団
-
公益財団法人倉田記念日立科学技術財団
-
Scandinavia-Japan Sasakawa Foundation
社会貢献活動
3