John von Neumann-medaljen [1] ( Eng. IEEE John von Neumann-medaljen ) är en utmärkelse inom området informationsteknologi som instiftades av IEEEs styrelse 1990. Tilldelas årligen sedan 1992 för enastående teoretiska, tekniska och affärsmässiga prestationer. Inte bara nya landvinningar tas med i beräkningen, utan även betydande resultat från tidigare år [2] . I en nominering kan från 1 till 3 personer anges, medaljen delades ut tre gånger till lag med två forskare, i andra fall tilldelades en person.
Medaljen är sponsrad av IBM Corporation . Uppkallad efter John von Neumann .
John von Neumann-medaljen tilldelades: [3]
År | Pristagare | Motiv för priset |
---|---|---|
1992 | Gordon Bell | För innovativa bidrag till arkitektur och design av datorer. |
1993 | Frederic Brooks | Originaltext (engelska)[ visaDölj] "För betydande utvecklingar inom datorarkitektur, insiktsfulla observationer om programvaruteknik och för datavetenskaplig utbildning och professionell service." |
1994 | John Cock | För bidrag till datorindustrin, inklusive uppfinning, utveckling och implementering av RISC-arkitektur och mjukvaruoptimeringsteknik. |
1995 | Donald Knuth | Originaltext (engelska)[ visaDölj] "För grundläggande bidrag till teori och praktik inom datavetenskap och till konsten att programmera datorer." |
1996 | Carver Mead | Originaltext (engelska)[ visaDölj] "För ledarskap och innovativa bidrag till VLSI och kreativa mikroelektroniska strukturer." |
1997 | Maurice Wilks | Originaltext (engelska)[ visaDölj] "För en livslång karriär av avgörande bidrag till datoranvändning, inklusive den första fullskaliga operativa lagrade programdatorn och till grunderna för programmering." |
1998 | Ivan Sutherland | Originaltext (engelska)[ visaDölj] "För banbrytande bidrag till datorgrafik och mikroelektronisk design, och ledarskap till stöd för datavetenskap och ingenjörsforskning" |
1999 | Douglas Engelbart | Originaltext (engelska)[ visaDölj] "För att skapa grunden för realtid, interaktiv, personlig datoranvändning, inklusive CRT-skärmar, fönster, musen, hypermedialänkar och konferenser, och on-line journaler." |
2000 | John Hennessy och David Patterson | Originaltext (engelska)[ visaDölj] "För att de skapat en revolution inom datorarkitektur genom deras utforskning, popularisering och kommersialisering av arkitektoniska innovationer." |
2001 | Butler Lampson | Originaltext (engelska)[ visaDölj] "För tekniskt ledarskap i skapandet av tidsdelning, distribuerad datoranvändning, nätverkssäkerhet och programspråk." |
2002 | Ole-Johan Dahl och Kristen Nyugor | Originaltext (engelska)[ visaDölj] "För introduktionen av koncepten bakom objektorienterad programmering genom design och implementering av SIMULA 67." |
2003 | Alfred Aho | Originaltext (engelska)[ visaDölj] "För bidrag till grunderna för datavetenskap och till områdena algoritmer och mjukvaruverktyg." |
2004 | Barbara Liskov | Originaltext (engelska)[ visaDölj] "För grundläggande bidrag till programmeringsspråk, programmeringsmetodik och distribuerade system." |
2005 | Michael Stonebreaker | Originaltext (engelska)[ visaDölj] "För bidrag till design, implementering och kommersialisering av relations- och objektrelationella databassystem." |
2006 | Ed Catmull | Originaltext (engelska)[ visaDölj] "För grundläggande bidrag till datorgrafik och en banbrytande roll i användningen av datoranimation i filmer." |
2007 | Charles Thacker | Originaltext (engelska)[ visaDölj] "För en central roll i skapandet av persondatorn och utvecklingen av nätverksanslutna datorsystem." |
2008 | Leslie Lamport | Originaltext (engelska)[ visaDölj] "För upprättandet av grunderna för distribuerad och samtidig datoranvändning." |
2009 | Susan Graham | Originaltext (engelska)[ visaDölj] "För bidrag till design och implementering av programmeringsspråk och för exemplarisk service till disciplinen datavetenskap." |
2010 | John Hopcroft och Jeffrey Ullman | Originaltext (engelska)[ visaDölj] "För att lägga grunden för områdena automater och språkteori och många viktiga bidrag till teoretisk datavetenskap." |
2011 | Charles Anthony Richard Hoare | Originaltext (engelska)[ visaDölj] "För viktiga bidrag till den vetenskapliga grunden för mjukvarudesign." |
2012 | Edward McCluskey | Originaltext (engelska)[ visaDölj] "För grundläggande bidrag som formade design och testning av digitala system." |
2013 | Dennis | Originaltext (engelska)[ visaDölj] "För grundläggande abstraktioner för att implementera skydd i operativsystem och för dataflödesprogrammeringsparadigmet." |
2014 | Clive Moler | Originaltext (engelska)[ visaDölj] "För grundläggande och allmänt använda bidrag till numerisk linjär algebra och vetenskaplig och teknisk programvara som förändrade beräkningsvetenskap." |
2015 | James Gosling | För programmeringsspråket Java, Java Virtual Machine och andra bidrag till programmeringsspråk och miljöer. |
2016 | Christ Papadimitriou | Originaltext (engelska)[ visaDölj] "För att ge en djupare förståelse av beräkningskomplexitet och dess implikationer för approximationsalgoritmer, artificiell intelligens, ekonomi, databasteori och biologi." |
2017 | Vladimir Vapnik | För utveckling av statistisk inlärningsteori , de teoretiska grunderna för maskininlärning och stöd för vektormaskiner . |
2018 | Cousot | För införandet av abstrakt tolkning , ett kraftfullt ramverk för att automatiskt bestämma egenskaperna hos program med bred tillämpning inom verifiering och optimering. |
2019 | Eva Tardosh | För bidrag till området algoritmer, inklusive nya grundläggande metoder för optimering, approximation och algoritmisk spelteori. |
int main() { long k,i,b,summa,a,n; scanf("%ld",&k); for(n=0;summa<=LONG_MAX-b;n++){
for(i=1,sum=0;i<=k;i++){ for(a=0,b=1;a<n;a++){ b*=2*i-1; } summa+=b; if(summa>=LONG_MAX-b&&b!=2*k-1){ printf("%ld\n%ld\n+",summa,n); ha sönder; } annars if(summa>=LONG_MAX-b&&b==2*k-1){ printf("%ld\n%ld\n*",summa,n); ha sönder; } }} }