Ёсио Симамото
Ёсио Симамото был физиком-ядерщиком, который также занимался математикой и информатикой.Во время работы в Брукхейвенской национальной лаборатории (1954–1987 гг.) [1] он разработал логику для цифрового компьютера MERLIN в 1958 году. и занимал должность председателя кафедры прикладной математики с 1964 по 1975 год. Симамото исследовал комбинаторную математику, экономику продажи нефти и газа на внешнем континентальном шельфе (от имени Геологической службы США), архитектуру суперкомпьютеров и соединение компьютеров для параллельной обработки. [2]
В 1970-е годы он работал с Генрихом Хишем и Карлом Дюрре над методами компьютерного доказательства теоремы о четырех цветах , используя компьютерные программы для применения понятия «разрядки» Хиша для исключения случаев с 4-цветной раскраской.Доказательство теоремы четырех цветов, которое он представил в 1971 году, позже оказалось ошибочным, но оно послужило основой для дальнейшей работы.
Симамото родился на Гавайях в 1924 году. Во время Второй мировой войны он служил в Службе связи и разведке стратегических бомбардировок армии США в Японии. Он умер в Нью-Джерси 27 августа 2009 года. [2]
Ссылки
[ редактировать ]- ^ «Некролог Ёсио Симамото - Нью-Йорк, штат Нью-Йорк | New York Times» , New York Times
- ^ Jump up to: а б «Платное уведомление: Смерти – Симамото, Ёсио» , New York Times , 31 августа 2009 г.
| Базы данных авторитетного контроля : академики |
|---|
 | Эта биография академика незавершена . Вы можете помочь Википедии, расширив ее . |