横山哲郎

所属

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

発表論文

1. Tetsuo Yokoyama, Zhenjiang Hu, Masato Takeichi. Deterministic Second-order Patterns, Information Processing Letters, 89(6):309--314, March 2004. 草稿 pdf, ps, dvi.
2. 横山 哲郎，胡 振江，武市 正人． 「決定論的２階パタンとプログラム変換への応用」, 日本ソフトウェア科学会第20回記念大会論文集 愛知県立大学. 2003年9月. 日本ソフトウェア科学会.
3. Tetsuo Yokoyama, Zhenjiang Hu, Masato Takeichi. Deterministic Second-order Patterns in Program Transformation, LOPSTR'03 (PLI'03), Sweden, October 2003. (発表後にtypoなどを変更したもの) pdf, ps, dvi.
4. 横山 哲郎，篠埜 功，胡 振江，武市 正人． 「変換戦略の記述に基づくプログラムの自動生成システムの実装」， 情報処理学会論文誌：トランザクション「プログラミング」 Vol. 43，No. SIG 3(PRO 14) pp. 62-77，March 2002． 目次

リンク

• PSD プロジェクト
• 篠埜さん 2
• Skeleton Research Groups
• GETA の応用例
  • 文化遺産オンライン
• Proxima
• wxHaskell