Seinosuke Toda - Seinosuke Toda

Seinosuke Toda (戸 田 誠 之 助, Toda Seinosuke, narozen 15. ledna 1959) je počítačový vědec pracující na internetu Nihon University v Tokio.[1] Toda získal titul Ph.D. z Tokijský technologický institut v roce 1992 pod dohledem Kojira Kobayashiho.[2] Byl příjemcem roku 1998 Gödelova cena za prokázání Todova věta v teorie výpočetní složitosti, který uvádí, že každý problém v polynomiální hierarchie má polynomiálně-Turingova redukce do a počítání problém.[3]

Poznámky

  1. ^ S. Toda Archivováno 2007-08-18 na Wayback Machine na Nihon University.
  2. ^ Seinosuke Toda na Matematický genealogický projekt
  3. ^ „Cena Gödel 1998“. www.sigact.org. Citováno 2010-12-05.