Welcome to Yoshihiko Futamura's Website.

Yoshihiko Futamura = Futamura (Yoshihiko Futamura) because YF=F(YF)
This is not the Futamura Projection !!!

Yoshihiko Futamura, Ph.D. was born in 1942. He is the Director of InfiniteBio from April 2008 and the President and Chairman of Futamura Institute, Inc. from April 2005. He was a Professor of Department of Information and Computer Science and the director of the Institute for Software Production Technology (ISPT) of Waseda University from 1991 to 2005. He received his BS in mathematics from Hokkaido University in 1965, MS in applied mathematics from Harvard University in 1973 and Ph.D. degree from Hokkaido University in 1985. He joined Hitachi Central Research Laboratory in 1965 and moved to Waseda University in 1991. He was a visiting professor of Uppsala University from 1985 to 1986 and a visiting scholar of Harvard University from 1988 to 1989. Automatic generation of computer programs and programming methodology are his main research fields. He is the inventor of the Futamura Projections in partial evaluation and PAD (Problem Analysis Diagram PDF1MB). PAD has been adopted as an international standard (ISO8631) and a national standard of China (GB13502). He was an editor of the Journal of New Generation Computing (1982-1995). He has been an Advisory Board member of the Journal of New Generation Computing from 1996 and an Advisory Board member of the Journal of Higher Order and Symbolic Computation from 2002. He is a fellow of Japan Society for Software Science and Technology. During 40 years of his career, he has contributed more than 200 research papers and patents on Programming Methodology, Software Engineering and Theoretical Computer Science.

email: yoshi[xxx]@ftmr.info minus [xxx].
InfiniteBio
560 South Winchester Blvd., Suite 500
, San Jose, CA 95128
Phone: 408-572-5664
, Fax: 408-572-5679
www.infinitebio.com


Recent Publications in English

Important Patents

Futamura's Personal PE Museum

24 Aug. 1969:  Source Program and Results of Test Runs of Self Applicable PE (PDF10MB This is a very large PDF file.) and Supporting Documentation (PDF2MB).

Aug. 1971: Original Japanese Paper (PDF876KB): Partial Evaluation of Computation Process --- An approach to a Compiler-Compiler, Vol.54-C, No.8 of Transactions of the Institute of Electronics and Communication Engineers of Japan, pp.721728, in August 1971.

4 Nov. 1971: Draft of unpublished paper written with John K. Dixon (PDF2.7MB).

24 Jan. 1973: EL1 PARTIAL EVALUATOR Progress Report submitted to Dr. Ben Wegbreit at Harvard (PDF700KB).

19 Jan. 1978: A Letter from A.P. Ershov (PDF88KB).