誕生日データベース

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

数学者[日本]

戸田 誠之助(とだ せいのすけ、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科学賞受賞。

■ 関連書籍

タイトル
グラフ同型性判定問題 (日本大学文理学部叢書)
著者
戸田誠之助
発売元
日本大学文理学部
発売日
2001-11-01
新品価格
より
中古商品
¥ 1,100 より
タイトル
計算の理論 (情報数学講座 4)
著者
笠井琢美
発売元
共立出版
発売日
1993-06-25
新品価格
より
中古商品
¥ 859 より
タイトル
情報科学のための論理分析テクニック
著者
戸田誠之助
発売元
培風館
発売日
2007-06
新品価格
¥ 8,007 より
中古商品
¥ 4,217 より
連想語句
科学学部通信電気電気通信大学ゲーデル大学クラス受賞計算機ウルムカリフォルニアサンタバーバラ助手助教授国文学多項式客員工学科教授文部省日本大学東京工業大学複雑性計算資料館階層修了修士卒業博士問題大学院学位専攻応用数学科文理日本極東現在理学複雑課程論文関係

↑ PAGE TOP