Перейти к навигации Перейти к поиску
Сейноскэ Тода (戸 田 誠 之 助, Тода Сейноскэ , родился 15 января 1959 года) - ученый-компьютерщик, работающий в Университете Нихон в Токио . [1] Тода получил докторскую степень. из Токийского технологического института в 1992 году под руководством Кодзиро Кобаяши. [2] Он был лауреатом премии Гёделя 1998 года за доказательство теоремы Тоды в теории вычислительной сложности , которая утверждает, что каждая проблема в полиномиальной иерархии имеет полиномиальное сведение по Тьюрингу к задаче подсчета .[3]
Заметки [ править ]
- ↑ С. Тода. Архивировано 18 августа 2007 г. в Wayback Machine в Университете Нихон.
- ^ Сейношки Тод на Математической генеалогии
- ^ "Приз Гёделя 1998" . www.sigact.org . Проверено 5 декабря 2010 . CS1 maint: обескураженный параметр ( ссылка )