戸田誠之助

出典: フリー百科事典『ウィキペディア(Wikipedia)』
移動: 案内検索

戸田 誠之助(とだ せいのすけ、1959年1月15日 - )は、日本の情報工学者日本大学文理学部教授(2005年3月現在)。多項式階層複雑性クラス#Pの関係("PP is as hard as the polynomial-time hierarchy,"SIAM J.Computing 20(1991),865-877.)に関する研究で、極東初の1998年ゲーデル賞を受賞。

経歴[編集]