Японский учёный-компьютерщик
Акинори Ёнэдзава ( яп. 米澤明憲, Yonezawa Akinori ) (родился 17 июня 1947 года) — японский учёный-компьютерщик . Почётный профессор Токийского университета . [ 1] [2] Получил докторскую степень в Массачусетском технологическом институте (MIT) . [3] В настоящее время старший научный сотрудник Технологического института Тиба , Центра исследований программных технологий и искусственного интеллекта. [4] Бывший член Научного совета Японии . [5] Специализируется на объектно-ориентированных языках программирования , распределённых вычислениях и информационной безопасности . [6] С самого начала он внёс вклад в продвижение и развитие объектно-ориентированного программирования , которое является основой наиболее распространённых сегодня языков программирования (Python, Java, C++ и т. д.), и был членом программного комитета и председателем основных международных конференций OOPSLA и ECOOP . В то же время он известен на международном уровне как пионер концепций и моделей «одновременных/параллельных объектов». [7] [8] В программных системах, построенных на основе одновременных/параллельных объектов, обработка информации и вычисления происходят путем одновременной/параллельной передачи сообщений между большим количеством объектов. [9] На одновременные (параллельные) объекты Ёнэдзавы повлияли акторы, концепция которых была предложена Карлом Хьюиттом в Лаборатории искусственного интеллекта Массачусетского технологического института в начале 1970-х годов [10] и позднее строго сформулирована Гулом Агхой . [11] Однако одновременные объекты и акторы принципиально различны. Актор — это объект, который не имеет «состояния», тогда как одновременный (параллельный) объект Ёнэдзавы может иметь постоянное состояние. По этой причине одновременные (параллельные) объекты часто используются при реализации больших программных систем параллельной обработки. Крупномасштабные программные системы, созданные и введенные в практическое использование на основе одновременных (параллельных) объектов, включают онлайн-систему виртуального мира Second Life , [12] социальные сети, такие как Facebook [13] и X ( Twitter ), и крупномасштабные системы моделирования молекулярной динамики, такие как NAMD. [15] [16]
Биография
Он окончил среднюю школу Адзабу в 1966 году и окончил Токийский университет , факультет инженерии , кафедру математической инженерии в 1970 году. Он получил докторскую степень в области компьютерных наук в Массачусетском технологическом институте , кафедра компьютерных наук в 1977 году. Его диссертация называется «Спецификация и методы проверки параллельных программ, основанные на семантике передачи сообщений». [3] [17]
Он занимался исследованиями параллельных и распределенных вычислительных моделей в Лаборатории компьютерных наук и искусственного интеллекта Массачусетского технологического института . После возвращения в Японию он учился и преподавал в Токийском технологическом институте и стал профессором Токийского университета , кафедры информационных наук в 1988 году. [18] Он занимал различные должности в Токийском университете, включая должность директора Центра информационной инфраструктуры. [18] Он был избран членом Научного совета Японии в 2008 году. [5] В 2011 году он ушел на пенсию из Токийского университета и стал почетным профессором . Он был награжден Медалью с пурпурной лентой в 2009 году [19] и Орденом Священного сокровища , Золотые лучи с шейной лентой в 2020 году. [1] [2] [20] [21] После ухода на пенсию из Токийского университета он занимал должность заместителя директора Института вычислительных наук RIKEN до 2015 года, внося вклад в работу суперкомпьютера «K». [22] Затем он занимал должность директора Центра исследований программного обеспечения и искусственного интеллекта в Технологическом институте Тиба до 2022 года. [23] В настоящее время он является старшим научным сотрудником исследовательского центра. [4]
В 2012 году в Кобе состоялся международный симпозиум, посвященный 65-летию Ёнэдзавы, а в 2014 году немецким издательством Springer-Verlag был опубликован сборник статей (Festschrift), написанных участниками симпозиума. [24]
Кроме того, статья, в которой дается обзор исследований Ёнэдзавы в области программного обеспечения примерно до 2003 года, была опубликована в журнале Японского общества по программной науке и технологиям. [6]
Биографическая хронология
- 1966 г. Окончил частную среднюю школу Адзабу.
- 1970 г. Окончил Токийский университет, факультет инженерии, кафедру математической инженерии.
- 1972 г. Окончил магистратуру Токийского университета, Высшая школа инженерии, математическая инженерия.
- 1974 Научный сотрудник, Массачусетский технологический институт, кафедра электротехники и компьютерных наук
- 1978 г. Окончил докторантуру в Массачусетском технологическом институте, на кафедре электротехники и компьютерных наук.
- 1978 Ассистент, Токийский технологический институт, факультет естественных наук
- 1983 г. Доцент Токийского технологического института, факультет естественных наук
- 1988 г. Профессор, Токийский технологический институт, факультет естественных наук
- 1988 Профессор Токийского университета, факультет естественных наук
- 1995 г. Председатель Японского общества науки и технологий программного обеспечения [25]
- 2003 г. Профессор Токийского университета, Высшая школа междисциплинарных информационных исследований (перевод)
- 2006 г. Директор Центра информационной инфраструктуры Токийского университета
- 2006 Заместитель директора Национального института передовой промышленной науки и технологий (AIST), Исследовательский центр информационной безопасности
- 2008 Член Научного совета Японии [5]
- 2011 г. Почетный профессор Токийского университета
- 2011 Заместитель директора Института вычислительной науки RIKEN [22]
- 2015 Директор Технологического института Тиба, Центра исследований программного обеспечения и искусственного интеллекта [23]
- 2022 Старший научный сотрудник, Технологический институт Тиба [4]
Другие государственные должности
Он был членом комитета по оценке и продвижению проекта Real World Computing (RWC) Министерства международной торговли и промышленности, который начался как 10-летний проект в 1988 году. [26] С апреля 2001 года по март 2004 года он был членом Совета по реформе регулирования Кабинета министров [27] и руководителем рабочей группы по образованию и исследованиям. [28] Он одновременно занимал должности аудитора Национального института информации и систем, [29] директора Центра баз данных по наукам о жизни [30] и заместителя директора Исследовательского центра информационной безопасности в Национальном институте передовой промышленной науки и технологий (AIST). [31] Кроме того, с апреля 2005 года по март 2006 года он был председателем Регионального совета по управлению школой средней школы Сугимори в районе Сугинами, Токио. [32] Бывший член Совета по культурной стратегии Engine 01. [33] [34]
Международные и отечественные академические роли и награды
Он был председателем и членом комитета многочисленных международных и отечественных академических конференций и обществ, связанных с языками программирования , объектно-ориентированными вычислениями, параллельными и распределенными вычислениями , а также входил в редакционную коллегию академических журналов и журналов американских академических обществ. [35] Он был удостоен звания члена ACM от Ассоциации вычислительной техники (ACM), [7] члена Японского общества обработки информации [36] и члена Японского общества науки и технологий программного обеспечения. [37] Он был председателем Японского общества науки и технологий программного обеспечения [25] и научным консультантом Немецкого национального института информационной науки и технологий (GMD). [26] Кроме того, с 2006 года он является членом TCAAB (Академический консультативный совет по надежным вычислениям) в штаб-квартире Microsoft (Редмонд, Вашингтон). [38]
В 2008 году он получил премию Даля-Нюгорда от Международной ассоциации по технологиям объектов (AITO) как сторонник концепции «конкурентных/параллельных объектов» и за его многолетние результаты исследований, варьирующиеся от теории до практики. [8] [18] [39] Эта награда была вручена ему впервые в Азии. Он получил медаль с пурпурной лентой в 2009 году, [19] премию Окавы в 2018 году [40] и орден Священного сокровища, Золотые лучи с шейной лентой в 2020 году. [1] [2] [20] [21]
Хронология основных наград
- Премия Okawa Publications 1992 года, Фонд информации и коммуникаций Okawa [41]
- 1999 Член Ассоциации вычислительной техники (ACM) [7]
- 2004 Член Японского общества по программной науке и технологиям [37]
- Премия AITO Даля-Нюгаарда 2008 г. [8] [18] [39]
- Премия за выдающиеся заслуги 2008 г., Японское общество науки и технологий программного обеспечения [26]
- 2009 Медаль с пурпурной лентой [19]
- Премия FIT Funai за достижения 2009 года, Фонд науки о информации Funai [42] [43]
- Премия за выдающиеся достижения 2010 года, Японское общество обработки информации (IPSJ) [44]
- 2011 Член Японского общества обработки информации [36]
- Премия Окавы 2018 года, Фонд информации и коммуникаций Окавы [40]
- 2018 Почетный член Японского общества по программной науке и технологиям [45]
- 2020 Орден Священного Сокровища, Золотые Лучи с шейной лентой [1] [2] [20] [21]
Почести
- 2009 Медаль с пурпурной лентой [19]
- 2020 Орден Священного Сокровища, Золотые Лучи с шейной лентой [1] [2] [20] [21]
Автор и редактор основных работ
- «算法表現論 (Теория представления алгоритмов)» (в соавторстве с Изуми Кимурой и Акинори Ёнезавой), Iwanami Shoten Publisher, 282 страницы, 1982 г.
- «モデルと表現(Модели и представления)» (в соавторстве с Акинори Ёнедзава и Эцуя Сибаяма), Iwanami Shoten Publisher, 312 страниц, 1992.
- «Объектно-ориентированное параллельное программирование» (редакторы А. Ёнэдзава и М. Токоро), MIT Press, 1987.
- «ABCL: объектно-ориентированная параллельная система» (ред. А. Ёнэдзава), MIT Press, 1990.
- «Направления исследований в области параллельного объектно-ориентированного программирования» (ред. П. Вегнер, Г. Ага, А. Ёнезава), MIT Press, 1993.
- «Мои исследования программного обеспечения», Computer Software, Vol.21, No.5, 2004. [6]
Ссылки
- ^ abcde Почетный профессор Акинори Ёнэдзава получает Орден Священного Сокровища, Высшая школа информационных наук и новостей технологий, Токийский университет (4 ноября 2020 г.)
- ^ abcde Акинори Ёнэдзава, директор Центра исследований программного обеспечения и искусственного интеллекта, получает Орден Священного сокровища, Технологический институт Тиба ТЕМЫ (3 ноября 2020 г.)
- ^ ab Спецификации и методы проверки для параллельных программ, основанные на семантике передачи сообщений, докторская диссертация Массачусетского технологического института, декабрь 1977 г.
- ^ abc Центр исследований в области технологий программного обеспечения и искусственного интеллекта, Технологический институт Тиба
- ^ abc Список членов Научного совета Японии 21-го созыва
- ^ abc Акинори Ёнэдзава, Мои исследования программного обеспечения, Computer Software, Vol.21, No.5, 2004
- ^ abc Акинори Ёнэдзава, стипендиаты Ассоциации вычислительной техники (ACM), 1999
- ^ abc Лауреаты премии AITO Даля-Нюгорда за 2008 год
- ^ Первая статья о параллельном объектно-ориентированном программировании. Она основана на асинхронных вызовах методов. Акинори Ёнэдзава, Жан-Пьер Брио и Эцуя Сибаяма. Объектно-ориентированное параллельное программирование в ABCL/1. В трудах OOPSLA'86. 258–268
- ^ Карл Хьюитт, Питер Бишоп и Ричард Штайгер. Универсальный модульный формализм ACTOR для искусственного интеллекта. В трудах 3-й международной совместной конференции по искусственному интеллекту (IJCAI'73). Morgan Kaufmann Publishers Inc., Сан-Франциско, Калифорния, США, 235–245, 1973
- ^ Гул Ага. «Акторы: модель параллельных вычислений в распределенных системах». Докторская диссертация. MIT Press. 1986.
- ^ Джим Пурбрик, Марк Ленцнер: Вторая жизнь: крупнейшая в мире среда программирования. OOPSLA Companion 2007
- ^ HACK, язык программирования, используемый для описания инфраструктуры Facebook с объектами и асинхронными операциями. Домашняя страница HACK
- ^ Домашняя страница NAMD Иллинойсского университета
- ^ Модель программирования Charm++, используемая при построении NAMD
- ^ Спецификации и методы проверки параллельных программ, основанные на семантике передачи сообщений, MIT-LCS-TR-191, 1978
- ^ abcd Профессор Ёнэдзава получает премию Даля-Нюгорда, пресс-релиз Токийского университета (19 июня 2008 г.)
- ^ abcd Акинори Ёнэдзава получает медаль с пурпурной лентой, Высшая школа информационных наук и технологий Newsa, Токийский университет (3 ноября 2009 г.)
- ^ abcd "Орден Священного Сокровища, Золотые Лучи с шейной лентой" (PDF) . Кабинет министров. 2020-11-04. стр. 22 . Получено 2023-02-20 .
- ^ abcd Японская официальная газета Extra № 230, 4 ноября 2020 г.
- ^ ab K Computer Newsletter, январь 2012 г.
- ^ ab Открытие "Stair Lab", передового центра исследований искусственного интеллекта, с доктором Ёнэдзавой в качестве директора, Технологический институт Тиба NEWS CIT (15 мая 2015 г.)
- ^ Параллельные объекты и за его пределами: статьи, посвященные Акинори Ёнедзаве по случаю его 65-летия (ред. Гул Ага, Ацуши Игараси, Наоки Кобаяши, Хидехико Масухара, Сатоши Мацуока, Эцуя Сибаяма, Кенджиро Таура) Springer LNCS 8665, 2014 г.
- ^ ab Бывшие должностные лица Японского общества по программной науке и технологиям
- ^ abc Биография победителей премии «За выдающиеся заслуги» 2008 года от Японского общества по программной науке и технологиям
- ^ Члены Совета по реформе регулирования, Кабинет министров
- ^ Совет по реформе регулирования, 10-е пленарное заседание, раздаточный материал 1 в 2002 году. Статус исследований в области образования/исследований
- ^ Отчет о бизнесе и аудите 2004 г., Организация исследований информации и систем
- ^ История Центра базы данных по наукам о жизни
- ^ Научно-исследовательский центр информационной безопасности, Национальный институт передовой промышленной науки и технологий
- ^ Авторское введение к книге «Дети находят свои улыбки. — Теория образовательной реформы для будущего».
- ↑ Отчет о 39-й выездной лекции, Совет по культурной стратегии Engine 01
- ^ Сотрудничество с внешними мероприятиями, Совет по культурной стратегии Engine 01
- ^ Биографические данные Акинори ЁНЕЗАВА
- ^ Член Японского общества обработки информации, 2010 г.
- ^ Члены Японского общества по программной науке и технологиям, 2004 г.
- ^ Академический консультативный совет Microsoft Trustworthy Computing вступает в пятый год своей деятельности, Microsoft News, 26 февраля 2008 г.
- ^ Профессор Ёнэдзава получает первую в Азии «Премию Даля-Нюгорда», Новости Высшей школы информационных наук и технологий, Токийский университет (20 июня 2008 г.)
- ^ ab Биография лауреатов премии Окавы 2017 года
- ^ Список книг, удостоенных премии OKAWA Publications Prize
- ^ Премия Funai Achievement Award, Японское общество обработки информации (раздел FIT2009)
- ↑ Профессор Ёнэдзава получает премию «FIT2009 Funai Achievement Award» за лидерство в области параллельных объектно-ориентированных технологий, Токийский университет (1 октября 2009 г.)
- ^ Премия за выдающиеся достижения, Японское общество обработки информации, 2009 г.
- ^ Список почетных членов Японского общества по программной науке и технологиям
Внешние ссылки
- Акинори Ёнэдзава, Технологический институт Тиба, Центр исследований в области программного обеспечения и искусственного интеллекта
- Вводная страница бывшей лаборатории Ёнэдзава в Токийском университете
- Международная ассоциация в области технологий объектов (AITO)
- Бывший веб-сайт лаборатории Ёнэдзава в Токийском университете
- Высшая школа информационных наук и технологий, Токийский университет
- Статья, представляющая профессора Ёнэдзаву, на странице по связям с общественностью этого веб-сайта
- Центр базы данных по наукам о жизни
- Биографический очерк Акинори Ёнэдзавы, май 2007 г., веб-архив