# 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.