研究者
J-GLOBAL ID:201801006298607090
更新日: 2024年12月11日
横山 哲郎
ヨコヤマ テツオ | Yokoyama Tetsuo
所属機関・部署:
職名:
教授
ホームページURL (2件):
http://tetsuo.jp/
,
http://tetsuo.jp/index-e.html
研究キーワード (3件):
可逆アルゴリズム
, プログラミング言語
, 可逆計算
競争的資金等の研究課題 (13件):
- 2022 - 2027 最小の余剰データをもつ効率的プログラム可逆化に関する研究
- 2018 - 2022 効率性と拡張性をもつ可逆アルゴリズム族の系統的な設計と解析
- 2013 - 2017 関数型の視点からの効率的可逆シミュレーションおよび可逆プログラミング方法論の拡張
- 2011 - 2012 可逆計算と双方向変換の学術的研究フロンティアの探究
- 2010 - 2012 可逆計算系と可逆プログラミング言語の設計と実現に関する研究
- 2005 - 2006 理工学振興会の研究助成
- 2005 - 2006 プログラム運算の記述言語の設計及びその実現に関する研究
- 関数型の視点からの効率的可逆シミュレーションおよび可逆プログラミング方法論の拡張
- 高効率可逆シミュレーションのための言語と非可逆計算環境での評価
- 電池駆動システムにおける解釈系プログラミング言語が与える消費エネルギーへの影響とその最適化
- 型安全な高信頼プログラマブル構造化文書変換技術
- サービスに応じた消費電力管理のためのソフトウェアモデリング
- Reversible Computation and Reversible Programming Languages
全件表示
論文 (52件):
-
Therese Lyngby, Rasmus Ross Nylandsted, Robert Glück, Tetsuo Yokoyama. Towards Clean Reversible Lossless Compression. Lecture Notes in Computer Science. 2024. 94-102
-
Reversible computing from a programming language perspective. Theoretical Computer Science. 2023. 953. 113429-113429
-
Robert Glück, Tetsuo Yokoyama. Making Programs Reversible with Minimal Extra Data. New Generation Computing. 2022
-
Tetsuo Yokoyama. From reversible programming languages to reversible metalanguages. Theoretical Computer Science. 2022. 920. 46-63
-
谷崎 海良, 平工 真基, 横山 哲郎. 素朴な方法とRabin-Karp法による可逆文字列照合アルゴリズム. アカデミア. 理工学編 : 南山大学紀要. 2022. 22. 124-132
もっと見る
MISC (1件):
-
林 晋平, 横山 哲郎, 名倉 正剛, 井垣 宏. 日本ソフトウェア科学会第39回大会報告. コンピュータ ソフトウェア. 2023. 40. 2. 61-72
学位 (2件):
- 博士(情報理工学) (東京大学)
- 修士(情報理工学) (東京大学)
委員歴 (13件):
- 2024/11 - 現在 17th International Conference on Reversible Computation A Program Committee member
- 2023/10 - 2024/07 16h Conference on Reversible Computation, program committee member
- 2022/10 - 2023/07 15th Conference on Reversible Computation, program committee member
- 2018/04 - 2023/04 情報処理学会 東海支部委員
- 2022/02 - 2022/09 日本ソフトウェア科学会 第38回大会運営委員長
- 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) 運営委員
- 2013/04 - 2014/03 大学コンソーシアムせと協議会 運営委員
- 2012/04 - 2013/03 大学コンソーシアムせと協議会 副会長
- 2009/04 - 2013/03 情報処理学会 プログラミング研究会(IPSJ SIGPRO) 運営委員
- 2011/09 - 2012/09 4th Workshop on Reversible Computation (RC 2012) Program co-chair
- 2011 - 情報処理学会 ESSロボットチャレンジ2011 運営委員長
全件表示
受賞 (6件):
- 2023/06 - 南山大学理工学部 理工学部教育業績賞 授業「ネットワークプログラミング」の取り組みが対象
- 2021/06 - 南山大学理工学部 理工学部教育業績賞 授業「プログラミング基礎」の取り組みが対象
- 2019/06 - 南山大学理工学部 理工学部教育業績賞 授業「プログラミング基礎」の取り組みが対象
- 2013 - 南山大学情報理工学部 情報理工学部教育業績賞 授業「プログラミング基礎実習」の取り組みが対象
- 2008 - International SoC Design Conference 2008 LG Electronics Co., Ltd. Best Paper Award
- 2003 - 日本ソフトウェア科学会 高橋奨励賞
全件表示
所属学会 (1件):
Association for Computing Machinery (ACM)
前のページに戻る