A John von Neumann Medal [1] ( Eng. IEEE John von Neumann Medal ) az IEEE igazgatótanácsa által 1990-ben alapított díj az információtechnológia területén. 1992 óta évente ítélik oda kiemelkedő elméleti, technológiai és üzleti teljesítményért. Nemcsak az új eredményeket veszik figyelembe, hanem az elmúlt évek jelentős eredményeit is [2] . Egy-egy jelölésben 1-3 fő jelölhető meg, az érmet háromszor két fős tudóscsapatoknak ítélték oda, a többi esetben egy főt.
Az érmet az IBM Corporation támogatja . Neumann Jánosról kapta a nevét .
A Neumann János-érmet: [3]
| Év | díjazott | A díj indoklása |
|---|---|---|
| 1992 | Gordon Bell | A számítógépek építészetéhez és tervezéséhez nyújtott innovatív hozzájárulásokért. |
| 1993 | Frederic Brooks | Eredeti szöveg (angol)[ showelrejt] "A számítógép-architektúra jelentős fejlesztéseiért, a szoftverfejlesztéssel kapcsolatos éleslátó megfigyelésekért, valamint a számítástechnikai oktatásért és szakmai szolgáltatásért." |
| 1994 | John Cock | A számítástechnikai iparhoz való hozzájárulásért, beleértve a RISC architektúra és szoftveroptimalizálási technológia feltalálását, fejlesztését és megvalósítását. |
| 1995 | Donald Knuth | Eredeti szöveg (angol)[ showelrejt] "A számítástechnika elméletéhez és gyakorlatához, valamint a számítógépes programozás művészetéhez nyújtott alapvető hozzájárulásokért." |
| 1996 | Carver Mead | Eredeti szöveg (angol)[ showelrejt] "Vezető szerepért és innovatív hozzájárulásért a VLSI-hez és a kreatív mikroelektronikai struktúrákhoz." |
| 1997 | Maurice Wilks | Eredeti szöveg (angol)[ showelrejt] "Egy életen át tartó pályafutásért a számítástechnikában, beleértve az első teljes körűen működő tárolt programszámítógépet és a programozás alapjait." |
| 1998 | Ivan Sutherland | Eredeti szöveg (angol)[ showelrejt] "Úttörő hozzájárulásokért a számítógépes grafikában és a mikroelektronikai tervezésben, valamint vezető szerepért a számítástechnika és a mérnöki kutatás támogatásában" |
| 1999 | Douglas Engelbart | Eredeti szöveg (angol)[ showelrejt] "A valós idejű, interaktív, személyi számítástechnika alapjainak megteremtéséhez, beleértve a CRT-kijelzőket, az ablakokat, az egeret, a hipermédia-összekapcsolást és -konferenciát, valamint az online folyóiratokat." |
| 2000 | John Hennessy és David Patterson | Eredeti szöveg (angol)[ showelrejt] "Azért, hogy forradalmat teremtettek a számítógépes architektúrában az építészeti innovációk feltárása, népszerűsítése és kereskedelmi forgalomba hozatala révén." |
| 2001 | Butler Lampson | Eredeti szöveg (angol)[ showelrejt] "Technikai vezető szerepért az időmegosztás, az elosztott számítástechnika, a hálózati biztonság és a programnyelvek létrehozásában." |
| 2002 | Ole-Johan Dahl és Kristen Nyugor | Eredeti szöveg (angol)[ showelrejt] "Az objektum-orientált programozás alapjául szolgáló koncepciók bevezetéséért a SIMULA 67 tervezésén és megvalósításán keresztül." |
| 2003 | Alfred Aho | Eredeti szöveg (angol)[ showelrejt] "A számítástechnika alapjaihoz, valamint az algoritmusok és szoftvereszközök területéhez való hozzájárulásért." |
| 2004 | Liskov Barbara | Eredeti szöveg (angol)[ showelrejt] "A programozási nyelvekhez, a programozási módszertanhoz és az elosztott rendszerekhez nyújtott alapvető hozzájárulásokért." |
| 2005 | Michael Stonebreaker | Eredeti szöveg (angol)[ showelrejt] "A relációs és objektum-relációs adatbázisrendszerek tervezésében, megvalósításában és kereskedelmi forgalomba hozatalában való közreműködésért." |
| 2006 | Ed Catmull | Eredeti szöveg (angol)[ showelrejt] "A számítógépes grafikához való alapvető hozzájárulásért és a számítógépes animáció mozgóképekben való felhasználásában nyújtott úttörő szerepért." |
| 2007 | Charles Thacker | Eredeti szöveg (angol)[ showelrejt] "Központi szerepért a személyi számítógép létrehozásában és a hálózati számítógépes rendszerek fejlesztésében." |
| 2008 | Leslie Lamport | Eredeti szöveg (angol)[ showelrejt] "Az elosztott és párhuzamos számítástechnika alapjainak megteremtéséért." |
| 2009 | Susan Graham | Eredeti szöveg (angol)[ showelrejt] "A programozási nyelv tervezésében és megvalósításában nyújtott hozzájárulásokért, valamint a számítástechnika tudományának példamutató szolgálatáért." |
| 2010 | John Hopcroft és Jeffrey Ullman | Eredeti szöveg (angol)[ showelrejt] "Az automaták és a nyelvelmélet alapjainak lerakásáért, valamint az elméleti számítástechnikához való számos jelentős hozzájárulásért." |
| 2011 | Charles Anthony Richard Hoare | Eredeti szöveg (angol)[ showelrejt] "A szoftvertervezés tudományos megalapozásához való jelentős hozzájárulásért." |
| 2012 | Edward McCluskey | Eredeti szöveg (angol)[ showelrejt] "A digitális rendszerek tervezését és tesztelését meghatározó alapvető hozzájárulásokért." |
| 2013 | Dennis | Eredeti szöveg (angol)[ showelrejt] "Az alapvető absztrakciókhoz az operációs rendszerek védelmének megvalósításához és az adatfolyam-programozási paradigmához." |
| 2014 | Clive Moler | Eredeti szöveg (angol)[ showelrejt] "A numerikus lineáris algebra, valamint a számítástechnikát átalakító tudományos és mérnöki szoftverek alapvető és széles körben használt hozzájárulásaiért." |
| 2015 | James Gosling | A Java programozási nyelvhez, a Java virtuális géphez és a programozási nyelvekhez és környezetekhez való egyéb hozzájárulásokhoz. |
| 2016 | Krisztus Papadimitriou | Eredeti szöveg (angol)[ showelrejt] "A számítási összetettség és a közelítő algoritmusokra, a mesterséges intelligenciára, a közgazdaságtanra, az adatbáziselméletre és a biológiára gyakorolt hatásai mélyebb megértésére." |
| 2017 | Vlagyimir Vapnik | A statisztikai tanuláselmélet fejlesztéséhez , a gépi tanulás elméleti alapjaihoz és a támogató vektorgépekhez . |
| 2018 | Cousot | Az absztrakt értelmezés bevezetéséhez , egy hatékony keretrendszer a programok tulajdonságainak automatikus meghatározásához, széles körben alkalmazható ellenőrzésben és optimalizálásban. |
| 2019 | Tardosh Éva | Az algoritmusok területéhez való hozzájárulásért, beleértve az optimalizálás, a közelítés és az algoritmikus játékelmélet új alapvető módszereit. |
int main() { long k,i,b,sum,a,n; scanf("%ld",&k); for(n=0;összeg<=LONG_MAX-b;n++){
for(i=1,sum=0;i<=k;i++){ for(a=0,b=1;a<n;a++){ b*=2*i-1; } összeg+=b; if(sum>=LONG_MAX-b&&b!=2*k-1){ printf("%ld\n%ld\n+",összeg,n); szünet; } else if(sum>=LONG_MAX-b&&b==2*k-1){ printf("%ld\n%ld\n*",összeg,n); szünet; } }} }