Technical Reports
Masato TAKEICHI and Yoji AKAMA, Deriving Functional Knuth-Morris-Pratt Algorithm by Transformational Programming, METR 88-08, 12pp., June 1988.
M.Takeichi. Evaluation Partial Order and Synchronization Mechanisms in Parallel Functional Programs. METR89-07, 8pp., September 1989.
Liao HUSHENG and Masato TAKEICHI, Preliminary Arrangements of  Arguments in Lazy Evaluation, METR 89-08, 8pp., Septemer 1989.
Keiichi KANEKO AND Masato TAKEICHI, Relationship Between Lambda Hoisting and Fully Lazy Lambda Lifting, METR 92-02, 16pp., January 1992.
Keiichi KANEKO and Masato TAKEICHI, Derivation of a Knuth-Morris-Pratt Algorithm by Fully Lazy Partial  Computation, METR 92-07, 11pp., August 1992.
Tetsurou TANAKA, Hideya IWASAKI and Masato TAKEICHI, Committed Choice Evaluation of Parallel Functional Programs, METR 92-08, 15pp., August 1992.
Liangwei XU, Hideya IWASAKI and Masato TAKEICHI, Derivation of Algorithms by Introduction of Generation  Functions, METR 92-10, 14pp., September 1992.
K.Kaneko, Y.Onoue and M.Takeichi. Sharing Analysis of Functional Programs for Fully Lazy Evaluation. METR 93-10, 20pp., October 1993.
Hideya IWASAKI, Mikio TAKEUCHI and Masato TAKEICHI, TK800:Transputer Kernel for T800 Processor, METR 93-13, 23pp., August 1993.
Z.Hu, H.Iwasaki, and M.Takeichi. Catamorphism-based Transformation of Functional Programs. METR 94-06, 14pp., June 1994.
K.Kaneko and M.Takeichi. Derivation of the Aho-Corasick Algorithm by Fully Lazy Evaluation with Lazy Memoization. METR 94-13, 13pp., August 1994.
Z.Hu, H.Iwasaki, and M.Takeichi. Making Recursions Manipulable by Constructing Medio-types. METR 95-04, 19pp., June 1995.
Z.Hu, H.Iwasaki, and M.Takeichi. Promotional Transformation of Monadic Programs. METR 95-05, 18pp., June 1995.
Z.Hu, H.Iwasaki, and M.Takeichi. Deriving Structural Hylomorphisms From Recursive Definitions. METR 95-11, 18pp., November 1995.
Zhenjiaug HU, Hideya IWASAKI and Masato TAKEICHI, Calculating Accumulations. METR 96-03, 19pp., March 1996.
Z.Hu, H.Iwasaki, and M.Takeichi. Cheap Tupling Transformation. METR 96-08, 20pp., October 1996.
Hideya IWASAKI, Zhenjiang HU and Masato TAKEICHI, Towards Manipulation of Mutually Recursive Functions,  METR 97-06, 18pp., September 1997.
Zhenjiang HU and Masato TAKEICHI, A Calculational Framework for Parallelization of Sequential Programs,  METR 97-07, 22pp., June 1997.
W.N. Chin, Z. HU, M. TAKEICHI and A. TAKANO, Enhanced Parallelization  via Constraints, METR 97-12, 17pp., December 1997.
Wei-Ngan Chin, Zhenjinag HU and Masato TAKEICHI, A Modular Derivation  Strategy via Fusion and Tupling, METR 97-13, 14pp., December 1997.
Z.Hu, M.Takeichi. Calculating an Optimal Homomorphic Algorithm for Bracket Matching. METR 98-04, 11pp., April 1998.
Z.Hu, M.Takeichi, H.Iwasaki. Towards Polytypic Parallel Programming. METR 98-09, 21pp., University of Tokyo. October 1998.
Zhenjiang HU, Wei-Ngan CHIN and Masato TAKEICHI, A Case Study on a Modular Transformation Strategy, METR 99-06, 17pp., September 1999.
Z. Hu, M. Takeichi. Calculation Carrying Programs, METR 99-07, 23pp., September 1999.
Hideya IWASAKI, Kumiko TANAKA-ISHIIM, Kei TATENO and Masato TAKEICHI, Context-Sensitive Detection and Correction of Homonym Errors in Japanese Texts, METR00-07, 14pp., September 2000.
Zhenjiang Hu, Hideya Iwasaki, and Masato Takeichi, An Accumulative Skeleton for All, METR 01-05, 19pp, September 2001.
Haiyan ZHAO and Zhenjiang HU and Masato TAKEICHI, A Compostional  Framework for Mining Longest Ranges, METR 02-05, 22pp., May 2002.
Tetsuro YOKOYAMA and Zhenjiang HU and Masato TAKEICHI, Yicho: A  System for Programming Program Calculations, METR 02-07, 14pp., June 2002.
Mizuhito OGAWA and Zhenjiang HU and Isao SASANO and Masato TAKEICHI, Catamorphic Approach to Program Analysis, METR 03-07, 22pp., January 2003.
Kiminori MATSUZAKI, Zhenjiang HU, and Masato TAKEICHI, Parallelization with Tree Skeletons, METR 03-21 14pp., June 2003.
Dongxi Liu, Zhenjiang Hu, Masato Takeichi, Bidirectionalizing XQuery -- Updating XML through Materialized XQuery View , Technical Report METR 2006-05, Department of Mathematical Informatics, University of Tokyo, April 2006.