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