誕生日データベース

戸田誠之助とだせいのすけ

数学者[日本]

1959年 1月15日

戸田 誠之助(とだ せいのすけ、1959年1月15日 - )は、日本の情報工学者。
日本大学文理学部情報科学科教授(2016年4月現在)。
多項式階層と複雑性クラス#Pの関係("PP is as hard as the polynomial-time hierarchy,"SIAM J.Computing 20(1991),865-877.)に関する研究で、極東初の1998年ゲーデル賞を受賞。
1982年3月 電気通信大学電気通信学部計算機科学科卒業 1984年3月 電気通信大学大学院電気通信学研究科計算機科学専攻(修士課程)修了 1984年4月 文部省国文学研究資料館研究情報部助手 1988年  電気通信大学電気通信学部情報工学科助手 1990年 カリフォルニア大学サンタバーバラ校客員研究員 1991年 東京工業大学理学博士学位取得  論文名は Computational Complexity of Counting Complexity Classes(数え上げ問題の計算量クラスの計算複雑さ) 1992年 電気通信大学電気通信学部情報工学科助教授 1992年 ウルム大学客員研究員 1995年 日本大学文理学部応用数学科助教授 1998年7月 1998年ゲーデル賞受賞 1998年11月 第12回日本IBM科学賞受賞。

■ 関連書籍

連想語句
  • 科学
  • 学部
  • 通信
  • 電気
  • 電気通信大学
  • ゲーデル
  • 大学
  • クラス
  • 受賞
  • 計算機
  • ウルム
  • カリフォルニア
  • サンタバーバラ
  • 助手
  • 助教授
  • 国文学
  • 多項式
  • 客員
  • 工学科
  • 教授
  • 文部省
  • 日本大学
  • 東京工業大学
  • 複雑性
  • 計算
  • 資料館
  • 階層
  • 修了
  • 修士
  • 卒業
  • 博士
  • 問題
  • 大学院
  • 学位
  • 専攻
  • 応用
  • 数学科
  • 文理
  • 日本
  • 極東
  • 現在
  • 理学
  • 複雑
  • 課程
  • 論文
  • 関係