John von Neumann Medal [1] ( Eng. IEEE John von Neumann Medal ) je ocenění v oblasti informačních technologií založené představenstvem IEEE v roce 1990. Uděluje se každoročně od roku 1992 za vynikající teoretické, technologické a obchodní úspěchy. Zohledňují se nejen nové úspěchy, ale i významné výsledky minulých let [2] . V jedné nominaci lze uvést 1 až 3 osoby, medaile byla udělena třikrát týmům dvou vědců, v ostatních případech byla udělena jedna osoba.
Medaile je sponzorována společností IBM Corporation . Pojmenována po Johnu von Neumannovi .
Medaile Johna von Neumanna byla udělena: [3]
| Rok | Laureát | Odůvodnění ocenění |
|---|---|---|
| 1992 | Gordon Bell | Za inovativní příspěvky k architektuře a designu počítačů. |
| 1993 | Frederic Brooks | Původní text (anglicky)[ zobrazitskrýt] "Za významný vývoj v počítačové architektuře, zasvěcená pozorování softwarového inženýrství a za vzdělávání a profesionální služby v oblasti informatiky." |
| 1994 | John Cock | Za příspěvky do počítačového průmyslu, včetně vynálezu, vývoje a implementace architektury RISC a technologie optimalizace softwaru. |
| 1995 | Donald Knuth | Původní text (anglicky)[ zobrazitskrýt] "Za zásadní příspěvky k teorii a praxi informatiky a umění počítačového programování." |
| 1996 | Carver Mead | Původní text (anglicky)[ zobrazitskrýt] "Za vedení a inovativní příspěvky k VLSI a kreativním mikroelektronickým strukturám." |
| 1997 | Maurice Wilks | Původní text (anglicky)[ zobrazitskrýt] "Za celoživotní kariéru zásadních příspěvků do výpočetní techniky, včetně prvního plně funkčního počítače s uloženým programem a k základům programování." |
| 1998 | Ivan Sutherland | Původní text (anglicky)[ zobrazitskrýt] „Za průkopnické příspěvky k počítačové grafice a mikroelektronickému designu a vedoucí postavení v podpoře počítačové vědy a inženýrského výzkumu“ |
| 1999 | Douglas Engelbart | Původní text (anglicky)[ zobrazitskrýt] "Pro vytváření základů interaktivních osobních počítačů v reálném čase včetně CRT displejů, oken, myši, hypermediálních propojování a konferencí a online deníků." |
| 2000 | John Hennessy a David Patterson | Původní text (anglicky)[ zobrazitskrýt] "Za vytvoření revoluce v počítačové architektuře prostřednictvím jejich zkoumání, popularizace a komercializace architektonických inovací." |
| 2001 | Butler Lampson | Původní text (anglicky)[ zobrazitskrýt] "Za technické vedoucí postavení ve vytváření timesharingu, distribuovaných výpočtů, zabezpečení sítí a programových jazyků." |
| 2002 | Ole-Johan Dahl a Kristen Nyugor | Původní text (anglicky)[ zobrazitskrýt] "Pro zavedení konceptů, které jsou základem objektově orientovaného programování prostřednictvím návrhu a implementace SIMULA 67." |
| 2003 | Alfred Aho | Původní text (anglicky)[ zobrazitskrýt] "Za příspěvky k základům informatiky a k oborům algoritmů a softwarových nástrojů." |
| 2004 | Barbarou Liškovou | Původní text (anglicky)[ zobrazitskrýt] "Za zásadní příspěvky k programovacím jazykům, metodologii programování a distribuovaným systémům." |
| 2005 | Michael Stonebreaker | Původní text (anglicky)[ zobrazitskrýt] "Za příspěvky k návrhu, implementaci a komercializaci relačních a objektově relačních databázových systémů." |
| 2006 | Ed Catmull | Původní text (anglicky)[ zobrazitskrýt] "Za zásadní příspěvky k počítačové grafice a průkopnickou roli v použití počítačové animace ve filmech." |
| 2007 | Charles Thacker | Původní text (anglicky)[ zobrazitskrýt] "Za ústřední roli při vytváření osobního počítače a vývoji síťových počítačových systémů." |
| 2008 | Leslie Lamportová | Původní text (anglicky)[ zobrazitskrýt] "Pro vytvoření základů distribuovaných a souběžných počítačů." |
| 2009 | Susan Graham | Původní text (anglicky)[ zobrazitskrýt] "Za příspěvky k návrhu a implementaci programovacího jazyka a za příkladné služby v oboru informatiky." |
| 2010 | John Hopcroft a Jeffrey Ullman | Původní text (anglicky)[ zobrazitskrýt] "Za položení základů pro obory automatů a teorie jazyků a mnoho zásadních příspěvků k teoretické informatice." |
| 2011 | Charles Anthony Richard Hoare | Původní text (anglicky)[ zobrazitskrýt] "Za zásadní příspěvky k vědeckému základu návrhu softwaru." |
| 2012 | Edward McCluskey | Původní text (anglicky)[ zobrazitskrýt] "Za zásadní příspěvky, které formovaly návrh a testování digitálních systémů." |
| 2013 | Dennis | Původní text (anglicky)[ zobrazitskrýt] "Pro základní abstrakce pro implementaci ochrany v operačních systémech a pro paradigma programování datového toku." |
| 2014 | Clive Moler | Původní text (anglicky)[ zobrazitskrýt] "Za základní a široce používané příspěvky k numerické lineární algebře a vědeckému a inženýrskému softwaru, který transformoval výpočetní vědu." |
| 2015 | James Gosling | Pro programovací jazyk Java, virtuální stroj Java a další příspěvky k programovacím jazykům a prostředím. |
| 2016 | Kristus Papadimitriou | Původní text (anglicky)[ zobrazitskrýt] "Za poskytnutí hlubšího pochopení výpočetní složitosti a jejích důsledků pro aproximační algoritmy, umělou inteligenci, ekonomii, teorii databází a biologii." |
| 2017 | Vladimír Vapník | Pro rozvoj statistické teorie učení , teoretické základy strojového učení a podpůrné vektorové stroje . |
| 2018 | Cousot | Pro zavedení abstraktní interpretace , výkonného rámce pro automatické určování vlastností programů s širokým uplatněním při ověřování a optimalizaci. |
| 2019 | Eva Tardoshová | Za příspěvky do oblasti algoritmů, včetně nových základních metod optimalizace, aproximace a algoritmické teorie her. |
int main() { dlouhé k,i,b,součet,a,n; scanf("%ld",&k); for(n=0;součet<=LONG_MAX-b;n++){
for(i=1,součet=0;i<=k;i++){ for(a=0,b=1;a<n;a++){ b*=2*i-1; } součet+=b; if(součet>=LONG_MAX-b&&b!=2*k-1){ printf("%ld\n%ld\n+",sum,n); přestávka; } else if(součet>=LONG_MAX-b&&b==2*k-1){ printf("%ld\n%ld\n*",součet,n); přestávka; } }} }