was a Japanese

mathematician A mathematician is someone who uses an extensive knowledge of mathematics in their work, typically to solve mathematical problems. Mathematicians are concerned with numbers, data, quantity, structure, space, models, and change. History On ...

and

computer scientist A computer scientist is a person who is trained in the academic study of computer science. Computer scientists typically work on the theoretical side of computation, as opposed to the hardware side on which computer engineers mainly focus (al ...

. In 1952, he graduated the Department of Mathematics, the Faculty of Science, the

University of Tokyo , abbreviated as or UTokyo, is a public research university located in Bunkyō, Tokyo, Japan. Established in 1877, the university was the first Imperial University and is currently a Top Type university of the Top Global University Project by ...

, and obtained his

Bachelor of Science A Bachelor of Science (BS, BSc, SB, or ScB; from the Latin ') is a bachelor's degree awarded for programs that generally last three to five years. The first university to admit a student to the degree of Bachelor of Science was the University of ...

. That same year, he was appointed Assistant Professor in the Department of

Mathematics Mathematics is an area of knowledge that includes the topics of numbers, formulas and related structures, shapes and the spaces in which they are contained, and quantities and their changes. These topics are represented in modern mathematics ...

of the University of Tokyo. He obtained his

Doctor of Science Doctor of Science ( la, links=no, Scientiae Doctor), usually abbreviated Sc.D., D.Sc., S.D., or D.S., is an academic research degree awarded in a number of countries throughout the world. In some countries, "Doctor of Science" is the degree used f ...

(DSc) degree from the University of Tokyo in 1961, under the direction of Shokichi Iyanaga. In 1962, he was appointed Associate Professor in the Faculty of Science at

Gakushuin University is a private university in Mejiro, Toshima Ward, Tokyo. It was re-established after World War II as an affiliate of the Gakushūin School Corporation. The privatized successor to the original Gakushūin University (or "Peers School") was estab ...

, and was promoted in 1966 to the rank of

Professor Professor (commonly abbreviated as Prof.) is an Academy, academic rank at university, universities and other post-secondary education and research institutions in most countries. Literally, ''professor'' derives from Latin as a "person who pr ...

. 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 is a private university in Adachi, Tokyo, Japan. The predecessor of the school was founded in 1907 as . It was chartered as a university in 1949 with Yasujiro Niwa as first president. Denki (電機) means an electric device in Japanese, and the ...

. The

Yoneda lemma In mathematics, the Yoneda lemma is arguably the most important result in category theory. It is an abstract result on functors of the type ''morphisms into a fixed object''. It is a vast generalisation of Cayley's theorem from group theory (view ...

category theory Category theory is a general theory of mathematical structures and their relations that was introduced by Samuel Eilenberg and Saunders Mac Lane in the middle of the 20th century in their foundational work on algebraic topology. Nowadays, cate ...

and the

Yoneda product In algebra, the Yoneda product (named after Nobuo Yoneda) is the pairing between Ext groups of modules: :\operatorname^n(M, N) \otimes \operatorname^m(L, M) \to \operatorname^(L, N) induced by :\operatorname(N, M) \otimes \operatorname(M, L) \to \o ...

homological algebra Homological algebra is the branch of mathematics that studies homology (mathematics), homology in a general algebraic setting. It is a relatively young discipline, whose origins can be traced to investigations in combinatorial topology (a precurs ...

are named after him. In

computer science Computer science is the study of computation, automation, and information. Computer science spans theoretical disciplines (such as algorithms, theory of computation, information theory, and automation) to Applied science, practical discipli ...

, he is known for his work on

dialects The term dialect (from Latin , , from the Ancient Greek word , 'discourse', from , 'through' and , 'I speak') can refer to either of two distinctly different types of linguistic phenomena: One usage refers to a variety of a language that is a ...

of the

programming language A programming language is a system of notation for writing computer programs. Most programming languages are text-based formal languages, but they may also be graphical. They are a kind of computer language. The description of a programming ...

ALGOL ALGOL (; short for "Algorithmic Language") is a family of imperative computer programming languages originally developed in 1958. ALGOL heavily influenced many other languages and was the standard method for algorithm description used by the ...

. He became involved with developing

international standard international standard is a technical standard developed by one or more international standards organizations. International standards are available for consideration and use worldwide. The most prominent such organization is the International Or ...

s in programming and informatics, as a Japanese representative on the

International Federation for Information Processing The International Federation for Information Processing (IFIP) is a global organisation for researchers and professionals working in the field of computing to conduct research, develop standards and promote information sharing. Established in 196 ...

(IFIP)

IFIP Working Group 2.1 IFIP Working Group 2.1 on Algorithmic Languages and Calculi is a working group of the International Federation for Information Processing (IFIP). IFIP WG 2.1 was formed as the body responsible for the continued support and maintenance of the progra ...

on Algorithmic Languages and Calculi, which specified, supports, and maintains the languages

ALGOL 60 ALGOL 60 (short for ''Algorithmic Language 1960'') is a member of the ALGOL family of computer programming languages. It followed on from ALGOL 58 which had introduced code blocks and the begin and end pairs for delimiting them, representing a k ...

and

ALGOL 68 ALGOL 68 (short for ''Algorithmic Language 1968'') is an imperative programming language that was conceived as a successor to the ALGOL 60 programming language, designed with the goal of a much wider scope of application and more rigorously de ...

References

External links

* {{DEFAULTSORT:Yoneda Nobuo 1930 births 1996 deaths Japanese computer scientists 20th-century Japanese mathematicians University of Tokyo alumni University of Tokyo faculty Gakushuin University faculty Tokyo Denki University faculty