Draft:Ikuo Takeuchi (Computer Scientist)
Where to get help
How to improve a draft
You can also browse Wikipedia:Featured articles and Wikipedia:Good articles to find examples of Wikipedia's best writing on topics similar to your proposed article. Improving your odds of a speedy review To improve your odds of a faster review, tag your draft with relevant WikiProject tags using the button below. This will let reviewers know a new draft has been submitted in their area of interest. For instance, if you wrote about a female astronomer, you would want to add the Biography, Astronomy, and Women scientists tags. Editor resources
|  |
Ikuo Takeuchi (Template:Lang-ja; born 1946) is a Japanese computer scientist, known for his work on Lisp and for the Takeuchi function, a recursive function named after him that is widely used to benchmark programming language implementations. He is a professor emeritus of the University of Tokyo.
Career
[edit]Takeuchi graduated in mathematics from the University of Tokyo in 1969 and completed a master's degree there in 1971, joining the Electrical Communication Laboratories of the Nippon Telegraph and Telephone Public Corporation the same year. He received a Doctor of Engineering degree from the University of Tokyo in 1996.
At NTT he led the design of TAO, a multi-paradigm dialect of Lisp that unified logic programming, object-oriented programming and functional programming in a single S-expression syntax, developed for the ELIS Lisp machine. TAO first ran on a prototype machine in September 1983, and ELIS was marketed by NTT-IT Corporation from 1987 until the early 1990s.[1] The work received the Information Processing Society of Japan (IPSJ) Best Paper Award for 1989.[2] Takeuchi's research group at NTT was known as NUE, and he later designed a successor system, TAO/SILENT.[3]
He became a professor at the University of Electro-Communications in 1997 and at the University of Tokyo in 2005, retiring in 2010, and joined Waseda University in 2011.
From 2000 Takeuchi was a project manager of the MITOU Program run by the Information-technology Promotion Agency, and from 2002 shaped its "MITOU Youth" strand for developers under 30. More than 150 young developers were supported under his supervision, including Daiyuu Nobori, the developer of SoftEther. He received the IPSJ Contribution Award in 2012, largely for this mentoring work.[2]
Takeuchi function
[edit]Takeuchi devised a triply recursive function, originally called tarai after the Japanese tarai mawashi ("passing the basin around"), to test function-call performance in Lisp implementations. John McCarthy renamed it tak after Takeuchi in 1979.[4] Because its running time is dominated by call overhead rather than arithmetic, it became a standard benchmark for languages supporting recursion.
References
[edit]- ↑ "ELIS". IPSJ Computer Museum. Information Processing Society of Japan. Retrieved 2 August 2026.
- 1 2 竹内 郁雄 君 — 2012年度功績賞受賞者の紹介 (in Japanese). Information Processing Society of Japan. Retrieved 2 August 2026.
- ↑ "NUE — Software Laboratories, NTT". Retrieved 2 August 2026.
- ↑ McCarthy, John (December 1979). "An Interesting LISP Function". ACM Lisp Bulletin (3): 6–8. doi:10.1145/1411829.1411833.
External links
[edit]- NUE group and the TAO language (archived)
Category:1946 births Category:Living people Category:Japanese computer scientists Category:Programming language designers Category:University of Tokyo alumni Category:Academic staff of the University of Tokyo Category:Academic staff of Waseda University
You must place an inline citation directly after:
Please edit your draft to support your statements with inline citations. Learn how to create inline citations in the: