Ёсио Симамото - Yoshio Shimamoto

Ёсио Симамото был физиком-ядерщиком, который также работал в области математики и информатики. Брукхейвенская национальная лаборатория (1954-1987),[1] он разработал логику для цифрового компьютера MERLIN в 1958 году и занимал пост председателя отдела прикладной математики с 1964 по 1975 год. Шимамото занимался комбинаторной математикой, экономикой продажи нефти и газа на внешнем континентальном шельфе (от имени Геологической службы США). Обзор), архитектура суперкомпьютеров и соединение компьютеров для параллельной обработки.[2]

В 1970-е годы он работал с Генрих Хееш и Карл Дурре о методах компьютерного доказательства теорема четырех цветов, используя компьютерные программы, чтобы применить понятие «разрядки» Хиша для исключения четырехцветных случаев. Доказательство теоремы четырех цветов, которое он представил в 1971 году, позже оказалось ошибочным, но оно послужило основой для дальнейшей работы.

Симамото родился на Гавайях в 1924 году. Корпус связи армии США и Обзор стратегических бомбардировок в Японии во время Второй мировой войны. Он умер в Нью-Джерси 27 августа 2009 года.[2]

Рекомендации

  1. ^ "Некролог Ёсио Симамото - Нью-Йорк, Нью-Йорк | New York Times", Нью-Йорк Таймс
  2. ^ а б «Оплаченное уведомление: Смерти - Симамото, Ёсио», Нью-Йорк Таймс, 31 августа 2009 г.