Theses
Graduation Thesis, School of Engineering, University of Tokyo (March 1970)
Title: Errors in Numerical Integration Methods (In Japanese)

Master’s Thesis, Graduate School of Engineering, University of Tokyo (March 1972)
Title: On the Complexity of Matrix Multiplication.

PhD. Thesis, Graduate School of Engineering, University of Tokyo (June 1987)
Title: Fully Lazy Evaluation of Functional Programs.

(Theses in Japanese)