戸田誠之助

戸田 誠之助(とだ せいのすけ、1959年1月15日 - )は、日本の情報工学者

日本大学文理学部情報科学科教授(2016年4月時点)。多項式階層複雑性クラス#Pの関係 ("PP is as hard as the polynomial-time hierarchy," SIAM J. Computing 20 (1991), 865-877.) に関する研究で、極東初の1998年ゲーデル賞を受賞。

経歴

 

Prefix: a b c d e f g h i j k l m n o p q r s t u v w x y z 0 1 2 3 4 5 6 7 8 9

Portal di Ensiklopedia Dunia