Doctoral Theses
- Zhenjiang HU.
A Calculational Approach to Optimizing Functional Programs. Dept. of Information Engineering, Univ. of Tokyo. September 1996.
- Kumiko TANAKA.
... Natural Language Processing ... . Dept. of Information Engineering, Univ. of Tokyo. March 1997.
- Isao SASANO.
Generation of Efficient Algorithms for Maximum Marking Problems. Dept. of Mathematical Informatics, The University of Tokyo, March 2002.
- Yoshiyuki ONOUE.
Optimizing Functional Programs by Fusion Transformation (In Japanese). Dept. of Information Engineering, The University of Tokyo, June 2002.
- Haiyan ZHAO.
A Compositional Approach to Mining Optimal Ranges. Dept. of Information Engineering, The University of Tokyo, December 2002.
- Tetsuo YOKOYAMA.
Deterministic Higher-order Matching for Program Transformation. Dept. of Mathematical Informatics, The University of Tokyo, March 2006.
- Kiminori MATSUZAKI.
Parallel Programming with Tree Skeletons. Graduate School of Information Science and Technology, The University of Tokyo, September 2007.
- Akimasa MORIHATA.
Calculational Approach to Automatic Algorithm Construction. Dept. of Mathematical Informatics, The University of Tokyo, March 2009.
- Kazutaka MATSUDA.
Program Bidirectionalization via Complement Functions (In Japanese). Dept. of Mathematical Informatics, The University of Tokyo, March 2009.
- Yingfei XIONG.
Heterogeneous Data Synchronization in Software Engineering. Dept. of Mathematical Informatics, The University of Tokyo, September 2009.
- Kento EMOTO.
Homomorphism-based Structured Parallel Programming. Graduate School of Information Science and Technology, The University of Tokyo, October 2009.
