Сейносукэ Тода
Сейносукэ Тода ( Toda , Seinosuke родился 15 января 1959 года) — учёный-компьютерщик, работающий в Университете Нихон в Токио . [1] Тода получил докторскую степень. из Токийского технологического института в 1992 году под руководством Кодзиро Кобаяши. [2] Он был лауреатом премии Гёделя 1998 года за доказательство теоремы Тоды в теории сложности вычислений , которая утверждает, что каждая проблема в полиномиальной иерархии имеет полиномиальное сведение Тьюринга к задаче подсчета . [3]
Примечания
[ редактировать ]- ^ С. Тода. Архивировано 18 августа 2007 г. в Wayback Machine в Университете Нихон.
- ^ Сейносуке Тода в проекте «Математическая генеалогия»
- ^ «Премия Гёделя 1998 года» . www.sigact.org . Проверено 5 декабря 2010 г.
