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