「ゲーデル賞」の版間の差分

加筆、即刻削除テンプレ除去
({{db|定義未満}} 直せる人がいるならいいんですが)
(加筆、即刻削除テンプレ除去)
'''ゲーデル賞'''は、理論[[計算機科学]]の賞である。論理学者[[クルト・ゲーデル]]に由来する。日本人では、[[戸田誠之助]]が受賞している。
{{db|定義未満}}
 
ゲーデル賞は、理論[[計算機科学]]の賞。日本人では、[[戸田誠之助]]が受賞している。
==受賞者一覧==
論理学者[[ゲーデル]]に由来する。 
* [[1993年]] - László Babai, Shafi Goldwasser, Silvio Micali, Shlomo Moran, Charles Rackoff
* [[1994年]] - Johan Håstad
* [[1995年]] - Neil Immerman, Róbert Szelepcsényi
* [[1996年]] - Mark Jerrum, Alistair Sinclair
* [[1997年]] - Joseph Halpern, Yoram Moses
* [[1998年]] - [[戸田誠之助]]
* [[1999年]] - Peter Shor
* [[2000年]] - Moshe Vardi, Pierre Wolper
* [[2001年]] - Sanjeev Arora, Uriel Feige, Shafi Goldwasser, Carsten Lund, László Lovász, Rajeev Motwani, Shmuel Safra, Madhu Sudan, Mario Szegedy
* [[2002年]] - Géraud Sénizergues
* [[2003年]] - Yoav Freund, Robert Schapire
* [[2004年]] - Maurice Herlihy, Mike Saks, Nir Shavit, Fotios Zaharoglou
* [[2005年]] - Noga Alon, Yossi Matias, Mario Szegedy
 
[[Category:学問の賞|けてるしよう]]
 
[[en:Gödel Prize]]
2,743

回編集