研究者
J-GLOBAL ID:201801006298607090   更新日: 2021年01月19日

横山 哲郎

ヨコヤマ テツオ | Yokoyama Tetsuo
所属機関・部署:
ホームページURL (2件): http://tetsuo.jp/http://tetsuo.jp/index-e.html
研究分野 (1件): ソフトウェア
研究キーワード (3件): 可逆アルゴリズム ,  プログラミング言語 ,  可逆計算
競争的資金等の研究課題 (11件):
  • 2018 - 2022 効率性と拡張性をもつ可逆アルゴリズム族の系統的な設計と解析
  • 2013 - 2017 関数型の視点からの効率的可逆シミュレーションおよび可逆プログラミング方法論の拡張
  • 2010 - 2012 可逆計算系と可逆プログラミング言語の設計と実現に関する研究
  • 2005 - 2006 プログラム運算の記述言語の設計及びその実現に関する研究
  • 2005 - 2006 プログラム運算の記述言語の設計及びその実現に関する研究
全件表示
論文 (43件):
  • Tetsuo Yokoyama, Tomoo Yokoyama. 【PREPRINT】COT representations of 2D Hamiltonian flows and their computable applications. Under review (cite this paper when you would like to refer to COT representation). 2020. 1-68
  • Tetsuo Yokoyama, Tomoo Yokoyama. Complete transition diagrams of generic Hamiltonian flows with a few heteroclinic orbits. Discrete Mathematics, Algorithms and Applications. 2020. 2150023-2150023
  • Robert Glück, Tetsuo Yokoyama. Constructing a binary tree from its traversals by reversible recursion and iteration. Information Processing Letters. 2019. 147. 32-37
  • 柴田心太郎, 横山哲郎. 二分木の辞書順のランク計算の効率的なクリーン可逆シミュレーション. 電子情報通信学会論文誌 D. 2019. J102-D. 3. 130-140
  • 横山哲郎, 横山知郎. 多重連結領域上の安定非圧縮流のプリミティブな局所構造変換. 電子情報通信学会論文誌 D. 2019. J102-D. 3. 235-238
もっと見る
学歴 (4件):
  • 2003 - 2006 東京大学
  • 2001 - 2003 東京大学
  • 1999 - 2001 東京大学 計数工学科
  • 1997 - 1999 東京大学 理科I類
学位 (2件):
  • 博士(情報理工学) (東京大学)
  • 修士(情報理工学) (東京大学)
経歴 (6件):
  • 2020 - 現在 南山大学 理工学部 ソフトウェア工学科 教授
  • 2014 - 2019 南山大学 理工学部 ソフトウェア工学科 准教授
  • 2011 - 2014 南山大学 情報理工学部ソフトウェア工学科 准教授
  • 2009 - 2011 南山大学 情報理工学部ソフトウェア工学科 講師
  • 2007 - 2009 名古屋大学大学院情報学研究科 附属組込みシステム研究センター 研究員
全件表示
委員歴 (9件):
  • 2020/09 - 現在 13th International Conference on Reversible Computation (RC 2021) Program co-chair
  • 2018/04 - 現在 情報処理学会 東海支部委員
  • 2012/04 - 2016/03 情報処理学会 ソフトウェア工学研究会(IPSJ SIGSE) 運営委員
  • 2011/04 - 2015/03 情報処理学会 組込みシステム研究会(IPSJ SIGEMB) 運営委員
  • 2013/04 - 2014/03 大学コンソーシアムせと協議会 運営委員
全件表示
受賞 (4件):
  • 2019 - 南山大学理工学部 理工学部教育業績賞 授業「プログラミング基礎」の取り組みが対象
  • 2013 - 南山大学情報理工学部 情報理工学部教育業績賞 授業「プログラミング基礎実習」の取り組みが対象
  • 2008 - International SoC Design Conference 2008 LG Electronics Co., Ltd. Best Paper Award
  • 2003 - 日本ソフトウェア科学会 高橋奨励賞
所属学会 (4件):
電子情報通信学会 ,  情報処理学会 ,  ACM ,  日本ソフトウェア科学会
※ J-GLOBALの研究者情報は、researchmapの登録情報に基づき表示しています。 登録・更新については、こちらをご覧ください。

前のページに戻る