도다 세이노스케

Seinosuke Toda

도다 세이노스케(東田in 15, 1959년 1월 15일 ~ )는 도쿄도 [1]니혼대학에서 일하는 컴퓨터 공학자이다.도다씨는 1992년에 [2]고바야시 코지로씨의 지도아래, 도쿄 공업대학에서 박사 학위를 취득했다.그는 계산 복잡도 이론에서 토다의 정리를 증명한 공로로 1998년 괴델 상을 수상했는데, 다항식 계층 구조에서 모든 문제는 계산 [3]문제로 다항식 시간 튜링 감소를 가지고 있다.

메모들

  1. ^ S. Toda 2007-08-18 니혼 대학 웨이백 머신에서 아카이브.
  2. ^ 수학 계보 프로젝트의 토다 세이노스케
  3. ^ "1998 Gödel Prize". www.sigact.org. Retrieved 2010-12-05.