creator search
戸田 誠之助(1959-)
戸田 誠之助(とだ せいのすけ、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月 - 文部省国文学...
この人物の情報
schema:alternateName | トダ セイノスケ |
schema:name | 戸田 誠之助; 戸田誠之助 |
schema:abstract | 戸田 誠之助(とだ せいのすけ、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月 - 文部省国文学... |
schema:birthDate | 1959 |
schema:description | 工学者 |