Seinosuke Toda

Seinosuke Toda (戸田 誠之助, Toda Seinosuke, geboren am 15. Januar 1959) ist ein Informatiker, der an der arbeitet Nihon University in Tokio.[1] Toda promovierte seinen Doktortitel.von dem Tokyo Institute of Technology 1992 unter der Aufsicht von Kojiro Kobayashi.[2] Er erhielt 1998 Empfänger Gödel -Preis zum Beweisen Todas Satz in Computerkomplexitätstheorie, was angibt, dass jedes Problem in der Polynomhierarchie hat ein Polynomzeit-Turing-Reduktion zu einem Zählproblem.[3]

Anmerkungen

  1. ^ S. Toda Archiviert 2007-08-18 im Wayback -Maschine an der Nihon University.
  2. ^ Seinosuke Toda Bei der Mathematik Genealogie -Projekt
  3. ^ "1998 Gödel Prize".www.sigact.org. Abgerufen 2010-12-05.