横山哲郎 - Tetsuo YOKOYAMA

所属

東京大学 大学院情報理工学系研究科 数理情報学専攻 数理情報第七研究室(武市研究室)
〒113-8656 東京都文京区本郷 7-3-1 電話: +81-3-5841-7412 FAX: +81-3-5841-8607

研究業績目録

学術雑誌等（紀要等は除く）に発表した論文

1. Zhenjiang Hu, Tetsuo Yokoyama, and Masato Takeichi. Program optimizations and transformations in calculation form. Summer School on Generative and Transformational Techniques in Software Engineering (GTTSE 2005), Braga, Portugal, 4-7 July, 2005.
2. 横山 哲郎, 胡 振江, 武市 正人. 「決定論的２階パタンとプログラム変 換への応用」コンピュータソフトウェア, 21(5):71-76, September 2004.
3. Tetsuo Yokoyama, Zhenjiang Hu, and Masato Takeichi. Deterministic Second-order Patterns. Information Processing Letters, Elsevier, 89(6):309-314, March 2004.
4. Tetsuo Yokoyama, Zhenjiang Hu, and Masato Takeichi. Deterministic Higher-order Patterns in Program Transformation. Proceedings of the International Symposium on Logic Based Program Synthesis and Transformation (LOPSTR), revised selected papers, Lecture Notes in Computer Science, Springer, 2003.
5. 横山 哲郎，篠埜 功，胡 振江，武市 正人．「変換戦略の記述に基づくプ ログラムの自動生成システムの実装」情報処理学会論文誌：トランザクショ ン「プログラミング」Vol.43 No.SIG3 (PRO14). 62-77．2002年3月.

国際会議において発表した論文

1. Tetsuo Yokoyama, Zhenjiang Hu, and Masato Takeichi. Calculation rules for warming-up in fusion transformation. In Sixth Symposium on Trends in Functional Programming, pages 399-412, September 2005.
2. Tetsuo Yokoyama, Zhenjiang Hu, and Masato Takeichi. Deterministic Second-order Patterns in Program Transformation.　Preproceedings of The International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR '03), pages 165-178, Uppsala, Sweden, August 25 - 27, 2003.
3. Tetsuo Yokoyama, Zhenjiang Hu，and Masato Takeichi. Yicho - A System for Programming Program Calculations. The Third Asian Workshop on Programming Languages and Systems (APLAS 2002), pages 366-382, Shanghai Jiao Tong University, China, November, 2002.

学会において口頭発表もしくはポスター発表した論文、紀要等に発表した論文

1. Tetsuo Yokoyama. Deterministic Higher-order Matching for Program Transformation. Ph.D. Thesis. The University of Tokyo, March 2006.
2. 横山哲郎，胡振江，武市正人．「文脈正規表現パターン」第8回プログラ ミングおよびプログラミング言語ワークショップ, 滋賀, 2006年3月.
3. Tetsuo Yokoyama, Constructive Representation of Doubly Linked Data Structures, The fourth Workshop on Programmable Structured Documents, pages 21-21, Tokyo, Japan, 2005.
4. Tetsuo Yokoyama and Zhenjiang Hu and Masato Takeichi. Design and Implementation of Deterministic Higher-order Matching. Workshop on New Approaches to Software Construction (WNASC2005), pages 49-71, Tokyo, Japan, 2005.
5. Tetsuo Yokoyama, Zhenjiang Hu, and Masato Takeichi. Warm fusion in Yicho. In The 7th JSSST Workshop on Programming and Programming Languages, pages 102-121, January 2005.
6. Tetsuo Yokoyama, Zhenjiang Hu, and Masato Takeichi. A combinator library for specifying program transformation, 日本ソフトウェア科 学会第21回大会論文集, pages 2B-1, 東京工業大学, November 2004.
7. Tetsuo Yokoyama, Zhenjiang Hu, and Masato Takeichi. Regular Properties in Maximum Marking Problems. The Second Workshop on Programmable Structured Documents, pages 67-76, Hakone, Japan, February 2004.
8. 横山 哲郎, 胡 振江, 武市 正人. 「正規表現を用いた構造化文書の高階 パターン照合」第1回PSD技術検討会, 箱根, 2003年11月.
9. 横山 哲郎, 胡 振江, 武市 正人. 「決定論的2階パタンとプログラム変換 への応用」日本ソフトウェア科学会第20回記念大会論文集, pages 2B-2, 愛知県立大学, 2003年9月.
10. 横山 哲郎, 番 伸宏, 胡振江, 武市 正人. 「プログラム変換支援ツール」 日本ソフトウェア科学会第20回記念大会, 愛知県立大学，2003年9月.
11. Tetsuo Yokoyama. Functional Meta-programming for Program Calculation. Master's thesis, Mathematical Engineering, Graduate School of Information Science and Technology, University of Tokyo, March 2003.
12. Tetsuo Yokoyama, Zhenjiang Hu, and Masato Takeichi. Yicho - A System for Programming Program Calculations, Mathematical Engineering Technical Reports, Graduate School of Information Science and Technology, University of Tokyo, June 2002.
13. Tetsuo Yokoyama, Zhenjiang Hu, and Masato Takeichi. Functional Meta-programming for Program Calculation. Workshop on Robust Software Construction (WRSC 2003), pages 17, International Productivity Center, Hayama, Kanagawa, February 28 - March 2, 2003.
14. 横山 哲郎，篠埜 功，胡振 江，武市 正人．「最大マーク付け問題の効率 的プログラムの自動生成」情報処理学会第36回プログラミング研究会，高 知工科大学，2001年10月．
15. 横山 哲郎．「最左最右関係を用いた最長部分列問題の解法の発展とその 有効性」東京大学工学部計数工学科数理情報コース卒業論文，2001年3月．

リンク

• Yicho: A Combinator Library for Program Calculation