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

Property Value
dbo:abstract
  • 戸田 誠之助(とだ せいのすけ、1959年1月15日 - )は、日本の情報工学者。日本大学文理学部情報科学科教授(2016年4月現在)。多項式階層と複雑性クラス#Pの関係 ("PP is as hard as the polynomial-time hierarchy," SIAM J. Computing 20 (1991), 865-877.) に関する研究で、極東初の1998年ゲーデル賞を受賞。 (ja)
  • 戸田 誠之助(とだ せいのすけ、1959年1月15日 - )は、日本の情報工学者。日本大学文理学部情報科学科教授(2016年4月現在)。多項式階層と複雑性クラス#Pの関係 ("PP is as hard as the polynomial-time hierarchy," SIAM J. Computing 20 (1991), 865-877.) に関する研究で、極東初の1998年ゲーデル賞を受賞。 (ja)
dbo:wikiPageID
  • 224490 (xsd:integer)
dbo:wikiPageLength
  • 988 (xsd:nonNegativeInteger)
dbo:wikiPageRevisionID
  • 66001557 (xsd:integer)
dbo:wikiPageWikiLink
prop-en:wikiPageUsesTemplate
dct:subject
rdfs:comment
  • 戸田 誠之助(とだ せいのすけ、1959年1月15日 - )は、日本の情報工学者。日本大学文理学部情報科学科教授(2016年4月現在)。多項式階層と複雑性クラス#Pの関係 ("PP is as hard as the polynomial-time hierarchy," SIAM J. Computing 20 (1991), 865-877.) に関する研究で、極東初の1998年ゲーデル賞を受賞。 (ja)
  • 戸田 誠之助(とだ せいのすけ、1959年1月15日 - )は、日本の情報工学者。日本大学文理学部情報科学科教授(2016年4月現在)。多項式階層と複雑性クラス#Pの関係 ("PP is as hard as the polynomial-time hierarchy," SIAM J. Computing 20 (1991), 865-877.) に関する研究で、極東初の1998年ゲーデル賞を受賞。 (ja)
rdfs:label
  • 戸田誠之助 (ja)
  • 戸田誠之助 (ja)
owl:sameAs
prov:wasDerivedFrom
foaf:isPrimaryTopicOf
is dbo:wikiPageWikiLink of
is owl:sameAs of
is foaf:primaryTopic of