АссистентНовый вопросИсторияОбласти знаний
Партнёрские проектыСпецпроектыСтать автором
Сменить язык
О РУВИКИ

Ёнэда, Нобуо

Нобу́о Ёнэ́да (яп. 米田 信夫, англ. Nobuo Yoneda; 28 марта 1930, Япония — 22 апреля 1996) — японский математик и учёный в области информатики, профессор Токийского университета, один из основателей современной категорной теории и ключевая фигура в развитии программирования и разработки международных стандартов языков программирования, в частности ALGOL. Известен благодаря лемме Ёнэды и произведению Ёнэды[1][2].

Общие сведения
Ёнэда, Нобуо
Nobuo Yoneda
Имя при рождении 米田 信夫
Дата рождения 28 марта 1930
Место рождения Япония
Дата смерти 22 апреля 1996
Страна Япония
Научная сфера математика, информатика
Место работы Токийский университет, Гакусюин, Токийский электротехнический университет
Образование Токийский университет (DSc, 1961)
Учёная степень доктор наук (1961)
Научный руководитель Сёкити Иянага
Известен как лемма Ёнэды, произведение Ёнэды, ALGOL

Биография

В 1952 году Нобуо Ёнэда окончил кафедру математики факультета естественных наук Токийский университет, получив степень бакалавра наук[1]. В том же году он был назначен ассистентом на кафедре математики Токийского университета[1]. В 1961 году защитил докторскую диссертацию по теме «On ext and exact sequences» и получил степень доктора наук под руководством Сёкити Иянаги[3].

В 1962 году Ёнэда был назначен доцентом факультета естественных наук Гакусюин, а в 1966 году стал профессором. В 1972 году занял должность профессора кафедры теоретических основ информатики. После выхода на пенсию из Токийского университета в 1990 году он продолжил преподавательскую и научную деятельность в Токийском электротехническом университете.

Научная деятельность

Нобуо Ёнэда внёс фундаментальный вклад в категорную теорию, где его имя носят лемма Ёнэды и произведение Ёнэды в гомологической алгебре[4].

В области информатики Ёнэда известен работами по диалектам языка программирования ALGOL[5]. Он принимал участие в разработке международных стандартов в области программирования и информатики, представляя Японию в Международной федерации по обработке информации (IFIP), в частности в Рабочей группе 2.1 IFIP по алгоритмическим языкам и исчислениям[6], которая занимается спецификацией, поддержкой и развитием языков ALGOL 60 и ALGOL 68[7].

Примечания

  1. ↑ 1 2 3 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 
  2. ↑ Kinoshita, Yoshiki (1998), Nobuo Yoneda, Mathematica Japonicae Т. 47: 155 
  3. ↑ 米田, 信夫 (1961). CiNii Dissertations - On ext and exact sequences (Thesis). National Institute of Informatics. Дата обращения March 23, 2021.
  4. ↑ Mac Lane, Saunders (1998), The Yoneda Lemma, Mathematica Japonicae Т. 47: 156 
  5. ↑ Koster, Cornelis H. A. (25–28 июня 1996). “The Making of Algol 68”. In Bjørner, Dines; Broy, Manfred; Pottosin, Igor V. Perspectives of System Informatics: Second International Andrei Ershov Memorial Conference, Proceedings. Lecture Notes in Computer Science. 1181. Академгородок, Новосибирск, Россия. pp. 55—67. DOI:10.1007/3-540-62064-8_6. ISBN 978-3-540-62064-8. См. также стр. 61.
  6. ↑ Jeuring, Johan; Meertens, Lambert; Guttmann, Walter Profile of IFIP Working Group 2.1. Foswiki (17 августа 2016). Дата обращения: 7 октября 2020.
  7. ↑ Swierstra, Doaitse; Gibbons, Jeremy; Meertens, Lambert ScopeEtc: IFIP21: Foswiki. Foswiki (2 марта 2011). Дата обращения: 7 октября 2020.

Категории