研究者
J-GLOBAL ID：201801006298607090   更新日: 2022年07月30日

横山 哲郎

ヨコヤマ テツオ | Yokoyama Tetsuo
所属機関・部署：
南山大学 理工学部 電子情報工学科

南山大学 理工学部 電子情報工学科 について


ホームページURL (2件)： http://tetsuo.jp/ ,  http://tetsuo.jp/index-e.html
研究分野 (1件)： ソフトウェア
研究キーワード (3件)： 可逆アルゴリズム ,  プログラミング言語 ,  可逆計算
競争的資金等の研究課題 (13件)：
  • 2022 - 2027 最小の余剰データをもつ効率的プログラム可逆化に関する研究
  • 2018 - 2022 効率性と拡張性をもつ可逆アルゴリズム族の系統的な設計と解析
  • 2013 - 2017 関数型の視点からの効率的可逆シミュレーションおよび可逆プログラミング方法論の拡張
  • 2011 - 2012 可逆計算と双方向変換の学術的研究フロンティアの探究
  • 2010 - 2012 可逆計算系と可逆プログラミング言語の設計と実現に関する研究
全件表示
論文 (47件)：
  • Robert Glück, Tetsuo Yokoyama. Making Programs Reversible with Minimal Extra Data. New Generation Computing. 2022
  • Robert Glück, Robin Kaarsgaard, Tetsuo Yokoyama. From reversible programming languages to reversible metalanguages. Theoretical Computer Science. 2022. 920. 46-63
  • 谷崎 海良, 平工 真基, 横山 哲郎. 素朴な方法とRabin-Karp法による可逆文字列照合アルゴリズム. アカデミア. 理工学編 : 南山大学紀要. 2022. 22. 124-132
  • 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
もっと見る
MISC (8件)：
  • 横山 哲郎, 藤井 勝之, 神山 剛. 消費エネルギーを意識した可逆圧縮データ受信 (ディペンダブルコンピューティング). 電子情報通信学会技術研究報告. 2011. 110. 474. 1-6
  • 横山 哲郎, 藤井 勝之, 神山 剛. 消費エネルギーを意識した可逆圧縮データ受信 (コンピュータシステム). 電子情報通信学会技術研究報告. 2011. 110. 473. 1-6
  • 横山 哲郎, 藤井 勝之, 神山 剛, 冨山 宏之, 高田 広章. 消費エネルギーを意識した可逆圧縮データ受信. 研究報告システムLSI設計技術(SLDM). 2011. 2011. 1. 1-6
  • 間嶋 崇, 横山 哲郎, 曾 剛. AndroidプラットフォームにおけるDalvikバイトコードのCPU負荷量の解析 (ディペンダブルコンピューティング). 電子情報通信学会技術研究報告. 2010. 109. 475. 125-132
  • 間嶋 崇, 横山 哲郎, 曾 剛. AndroidプラットフォームにおけるDalvikバイトコードのCPU負荷量の解析 (コンピュータシステム). 電子情報通信学会技術研究報告. 2010. 109. 474. 125-132
もっと見る
学歴 (4件)：
  • 2003 - 2006 東京大学
  • 2001 - 2003 東京大学
  • 1999 - 2001 東京大学 計数工学科
  • 1997 - 1999 東京大学 理科I類
学位 (2件)：
  • 博士(情報理工学) (東京大学)
  • 修士(情報理工学) (東京大学)
経歴 (7件)：
  • 2021 - 現在 南山大学 理工学部 電子情報工学科 教授
  • 2020 - 2021 南山大学 理工学部 ソフトウェア工学科 教授
  • 2014 - 2019 南山大学 理工学部 ソフトウェア工学科 准教授
  • 2011 - 2014 南山大学 情報理工学部ソフトウェア工学科 准教授
  • 2009 - 2011 南山大学 情報理工学部ソフトウェア工学科 講師
全件表示
委員歴 (10件)：
  • 2022/02 - 現在 日本ソフトウェア科学会 第38回大会運営委員長
  • 2018/04 - 現在 情報処理学会 東海支部委員
  • 2020/09 - 2021/07 13th International Conference on Reversible Computation (RC 2021) Program co-chair
  • 2012/04 - 2016/03 情報処理学会 ソフトウェア工学研究会(IPSJ SIGSE) 運営委員
  • 2011/04 - 2015/03 情報処理学会 組込みシステム研究会(IPSJ SIGEMB) 運営委員
全件表示
受賞 (5件)：
  • 2021/06 - 南山大学理工学部 理工学部教育業績賞 授業「プログラミング基礎」の取り組みが対象
  • 2019 - 南山大学理工学部 理工学部教育業績賞 授業「プログラミング基礎」の取り組みが対象
  • 2013 - 南山大学情報理工学部 情報理工学部教育業績賞 授業「プログラミング基礎実習」の取り組みが対象
  • 2008 - International SoC Design Conference 2008 LG Electronics Co., Ltd. Best Paper Award
  • 2003 - 日本ソフトウェア科学会 高橋奨励賞
所属学会 (4件)：
電子情報通信学会 ,  情報処理学会 ,  ACM ,  日本ソフトウェア科学会
※　J-GLOBALの研究者情報は、researchmapの登録情報に基づき表示しています。 登録・更新については、こちらをご覧ください。

前のページに戻る

TOP

BOTTOM