Из Википедии, бесплатной энциклопедии
Перейти к навигации Перейти к поиску

Нобуо Йонеда (米 田 信 夫, Йонеда Нобуо , 28 марта 1930 - 22 апреля 1996) был японским математиком и ученым-компьютерщиком . [1] [2]

Он получил степень доктора философии (Ph.D.) в Токийском университете в 1952 году под руководством Шокити Иянага . В том же году он был назначен доцентом кафедры математики Токийского университета. В 1962 году он был назначен адъюнкт-профессором факультета естественных наук Университета Гакусюин , а в 1966 году получил звание профессора . В 1972 году он стал профессором Теоретического фонда информатики. После ухода из Токийского университета в 1990 году он перешел в Токийский университет Денки .

Йонеды лемма в категории теории и продукт Йонеды в гомологической алгебры названы в его честь. [3]

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

Ссылки [ править ]

  1. ^ Вада, Эйити; Йонезава, Akinori (ноябрь 1996), "Профессор Нобуо Йонеды (28 марта 1930 - 22 апреля 1996 года)", Наука компьютерного программирования , 27 (3): 215-216, DOI : 10.1016 / 0167-6423 (96) 88115-9
  2. Перейти ↑ Kinoshita, Yoshiki (1998), «Nobuo Yoneda», Mathematica Japonicae , 47 : 155
  3. Перейти ↑ Mac Lane, Saunders (1998), «The Yoneda Lemma», Mathematica Japonicae , 47 : 156
  4. Перейти ↑ Koster, Cornelis HA (25–28 июня 1996 г.). «Создание Алгола 68». В Bjørner, Dines; Брой, Манфред; Поттосин, Игорь В. (ред.). Перспективы системной информатики: Вторая международная конференция памяти Андрея Ершова, Труды . Конспект лекций по информатике. 1181 . Академгородок , Новосибирск , Россия . С. 55–67. DOI : 10.1007 / 3-540-62064-8_6 .Особенно см. Стр. 61 .
  5. ^ Jeuring, Йохан; Меертенс, Ламберт ; Гуттманн, Вальтер (17 августа 2016 г.). «Профиль Рабочей группы 2.1 ИФИП» . Фосвики . Дата обращения 7 октября 2020 .
  6. ^ Swierstra, Doaitse; Гиббонс, Джереми ; Меертенс, Ламберт (2 марта 2011 г.). "ScopeEtc: IFIP21: Foswiki" . Фосвики . Дата обращения 7 октября 2020 .

Внешние ссылки [ править ]

  • Нобуо Йонеда в проекте « Математическая генеалогия»