Nobuo Yoneda (米田 信夫, Yoneda Nobuo, 28 March 1930 – 22 April 1996) was a Japanese mathematician and computer scientist.[1][2]
Nobuo Yoneda | |
---|---|
米田 信夫 | |
Born | |
Died | 22 April 1996 | (aged 66)
Citizenship | Japan |
Education | University of Tokyo (DSc, 1961) |
Known for | Yoneda lemma Yoneda product ALGOL |
Scientific career | |
Fields | Mathematics Computer science |
Institutions | University of Tokyo Gakushuin University Tokyo Denki University |
Thesis | On ext and exact sequences (1961) |
Doctoral advisor | Shokichi Iyanaga |
In 1952, he graduated the Department of Mathematics, the Faculty of Science, the University of Tokyo, and obtained his Bachelor of Science.[1] That same year, he was appointed Assistant Professor in the Department of Mathematics of the University of Tokyo.[1] He obtained his Doctor of Science (DSc) degree from the University of Tokyo in 1961,[3] under the direction of Shokichi Iyanaga. In 1962, he was appointed Associate Professor in the Faculty of Science at Gakushuin University, and was promoted in 1966 to the rank of Professor. He became a professor of Theoretical Foundation of Information Science in 1972. After retiring from the University of Tokyo in 1990, he moved to Tokyo Denki University.
The Yoneda lemma in category theory and the Yoneda product in homological algebra are named after him.[4]
In computer science, he is known for his work on dialects of the programming language ALGOL.[5] He became involved with developing international standards in programming and informatics, as a Japanese representative on the International Federation for Information Processing (IFIP) IFIP Working Group 2.1 on Algorithmic Languages and Calculi,[6] which specified, supports, and maintains the languages ALGOL 60 and ALGOL 68.[7]
References
edit- ^ a b c Wada, Eiiti; Yonezawa, Akinori (November 1996), "Professor Nobuo Yoneda (28 March 1930 – 22 April 1996)", Science of Computer Programming, 27 (3): 215–216, doi:10.1016/0167-6423(96)88115-9
- ^ Kinoshita, Yoshiki (1998), "Nobuo Yoneda", Mathematica Japonicae, 47: 155
- ^ "CiNii Dissertations - On ext and exact sequences". National Institute of Informatics. Retrieved 23 March 2021.
- ^ Mac Lane, Saunders (1998), "The Yoneda Lemma", Mathematica Japonicae, 47: 156
- ^ Koster, Cornelis H. A. (25–28 June 1996). "The Making of Algol 68". In Bjørner, Dines; Broy, Manfred; Pottosin, Igor V. (eds.). Perspectives of System Informatics: Second International Andrei Ershov Memorial Conference, Proceedings. Lecture Notes in Computer Science. Vol. 1181. Akademgorodok, Novosibirsk, Russia. pp. 55–67. doi:10.1007/3-540-62064-8_6. Especially see p. 61.
- ^ Jeuring, Johan; Meertens, Lambert; Guttmann, Walter (17 August 2016). "Profile of IFIP Working Group 2.1". Foswiki. Retrieved 7 October 2020.
- ^ Swierstra, Doaitse; Gibbons, Jeremy; Meertens, Lambert (2 March 2011). "ScopeEtc: IFIP21: Foswiki". Foswiki. Retrieved 7 October 2020.