[English]
なまえ:
もりはたあきまさ / 森畑明昌
ろんぶんいちらん:
- 英語
- Kazutaka Morita, Akimasa Morihata, Kiminori Matsuzaki, Zhenjiang Hu, Masato Takeichi:
Automatic Inversion Generates Divide-and-Conquer Parallel Programs.
In Proceedings of the ACM SIGPLAN 2007 Conference on Programming Language Design and Implementation, San Diego, California, USA, June 11-13, 2007. To appear.
- Akimasa Morihata, Kazuhiko Kakehi, Zhenjiang Hu, and Masato Takeichi:
Swapping Argument and Results of Recursive Functions.
In Mathematics of Program Construction, 8th International Conference, MPC 2006, Kuressaare, Estonia, July 3-5, 2006, Proceedings., Lecture Notes in Computer Science 4014, 379--396. Springer, 2006.
- Akimasa Morihata, Kazuhiko Kakehi, Zhenjiang Hu, and Masato Takeichi:
IO swapping leads you there and back again (Extended Abstract).
In Proceedings of GPCE Young Researchers Workshop, pp.7--13. Sep. 2005.
- 英語（査読なし）
- Akimasa Morihata:
Relationship between arguments and results of recursive functions.
Master's thesis, The University of Tokyo, January 2006.
- Akimasa Morihata, Kazuhiko Kakehi, Zhenjiang Hu, and Masato Takeichi:
Reversing iterations: IO swapping leads you there and back again.
Technical Report METR 2005-11, Department of Mathematical Informatics, University of Tokyo, May 2005.
- 日本語（査読あり）
- 森畑明昌, 胡振江, 武市正人:
プログラム運算によるグラフアルゴリズムの導出.
第9回プログラミングおよびプログラミング言語ワークショップ, 石川県加賀市山代温泉, 2007年3月8日--3月10日.
- 森畑明昌, 筧一彦, 胡振江, 武市正人:
効率的な累積なし関数表現.
第7回プログラミングおよびプログラミング言語ワークショップ, 群馬県利根郡水上町, 2005年3月9日--3月11日
- 日本語（査読なし）
- 森田和孝, 森畑明昌, 胡振江, 武市正人:
弱逆関数の自動導出によるプログラムの並列化.
日本ソフトウェア科学会第23回大会, 東京大学. 2006年9月13日--15日.
- 中野圭介, 森畑明昌, 胡振江, 武市正人:
双方向変換に基づくウェブページ更新機構.
日本ソフトウェア科学会第23回大会, 東京大学. 2006年9月13日--15日.
- Kazuhiko Kakehi, Kiminori Matsuzaki, Akimasa Morihata, Kento Emoto, Zhenjiang Hu:
Parallel Dynamic Programming using Data-Parallel Skeletons.
日本ソフトウェア科学会第22回大会, 東北大学, 2005年9月13日--15日.
- 森畑明昌, 筧一彦, 胡振江, 武市正人:
属性文法上のShortcut Deforestation.
日本ソフトウェア科学会第21回大会 , 東京工業大学, 2004年9月15日--17日.
きょうみのたいしょう:
mail : morihata`at`ipl.t.u-tokyo.ac.jp
|