John von Neumann -mitali [1] ( eng. IEEE John von Neumann Medal ) on IEEE :n hallituksen vuonna 1990 perustama tietotekniikan palkinto. Vuodesta 1992 lähtien myönnetty vuosittain erinomaisista teoreettisista, teknologisista ja liiketoiminnallisista saavutuksista. Huomioon ei oteta vain uusia saavutuksia, vaan myös viime vuosien merkittäviä tuloksia [2] . Yhdessä ehdokkaassa voidaan ilmoittaa 1-3 henkilöä, mitali jaettiin kolme kertaa kahden tutkijan ryhmille, muissa tapauksissa yksi henkilö.
Mitalin sponsoroi IBM Corporation . Nimetty John von Neumannin mukaan .
Johannes von Neumann -mitali myönnettiin: [3]
| vuosi | Laureaatti | Palkinnon perustelut |
|---|---|---|
| 1992 | Gordon Bell | Innovatiivisista panoksista tietokoneiden arkkitehtuuriin ja suunnitteluun. |
| 1993 | Frederic Brooks | Alkuperäinen teksti (englanniksi)[ näytäpiilottaa] "Tietokoneen arkkitehtuurin merkittävästä kehityksestä, oivaltavista havainnoista ohjelmistosuunnittelusta sekä tietojenkäsittelytieteen koulutuksesta ja asiantuntijapalveluista." |
| 1994 | John Cock | Avustuksista tietokoneteollisuudelle, mukaan lukien RISC-arkkitehtuurin ja ohjelmistojen optimointiteknologian keksiminen, kehittäminen ja käyttöönotto . |
| 1995 | Donald Knuth | Alkuperäinen teksti (englanniksi)[ näytäpiilottaa] "Peruspanoksesta tietojenkäsittelytieteen teoriaan ja käytäntöön sekä tietokoneohjelmoinnin taiteeseen." |
| 1996 | Carver Mead | Alkuperäinen teksti (englanniksi)[ näytäpiilottaa] "Johtajuudesta ja innovatiivisesta panoksesta VLSI:ssä ja luovissa mikroelektroniikkarakenteissa." |
| 1997 | Maurice Wilks | Alkuperäinen teksti (englanniksi)[ näytäpiilottaa] "Elinikäiselle uralle merkittävällä panoksella tietojenkäsittelyyn, mukaan lukien ensimmäinen täysimittainen toiminnallinen tallennettu ohjelmatietokone ja ohjelmoinnin perusteet." |
| 1998 | Ivan Sutherland | Alkuperäinen teksti (englanniksi)[ näytäpiilottaa] "Uurrauttavasta panoksesta tietokonegrafiikassa ja mikroelektronisessa suunnittelussa sekä johtajuudesta tietojenkäsittelytieteen ja tekniikan tutkimuksen tukemisessa" |
| 1999 | Douglas Engelbart | Alkuperäinen teksti (englanniksi)[ näytäpiilottaa] "Reaaliaikaisen interaktiivisen henkilökohtaisen tietojenkäsittelyn perustan luomiseen, mukaan lukien CRT-näytöt, ikkunat, hiiri, hypermedian linkittäminen ja neuvottelut sekä online-päiväkirjat." |
| 2000 | John Hennessy ja David Patterson | Alkuperäinen teksti (englanniksi)[ näytäpiilottaa] "Vallankumouksen luomisesta tietokonearkkitehtuuriin tutkimalla, popularisoimalla ja kaupallistamalla arkkitehtonisia innovaatioita." |
| 2001 | Butler Lampson | Alkuperäinen teksti (englanniksi)[ näytäpiilottaa] "Tekniselle johtajuudelle aikaosuuden, hajautetun tietojenkäsittelyn, verkkoturvallisuuden ja ohjelmakielten luomisessa." |
| 2002 | Ole-Johan Dahl ja Kristen Nyugor | Alkuperäinen teksti (englanniksi)[ näytäpiilottaa] "Simula 67:n suunnittelun ja toteutuksen kautta olio-ohjelmoinnin taustalla olevien konseptien käyttöönottamiseksi." |
| 2003 | Alfred Aho | Alkuperäinen teksti (englanniksi)[ näytäpiilottaa] "Avustuksista tietojenkäsittelytieteen perusteiden sekä algoritmien ja ohjelmistotyökalujen aloille." |
| 2004 | Barbara Liskov | Alkuperäinen teksti (englanniksi)[ näytäpiilottaa] "Perusavusteisista ohjelmointikielistä, ohjelmointimenetelmistä ja hajautetuista järjestelmistä." |
| 2005 | Michael Stonebreaker | Alkuperäinen teksti (englanniksi)[ näytäpiilottaa] "Avustuksista relaatio- ja objektirelaatiotietokantajärjestelmien suunnitteluun, toteutukseen ja kaupallistamiseen." |
| 2006 | Ed Catmull | Alkuperäinen teksti (englanniksi)[ näytäpiilottaa] "Peruspohjaisesta panoksesta tietokonegrafiikkaan ja uraauurtavasta roolista tietokoneanimaatioiden käytössä elokuvissa." |
| 2007 | Charles Thacker | Alkuperäinen teksti (englanniksi)[ näytäpiilottaa] "Keskeiseen rooliin henkilökohtaisen tietokoneen luomisessa ja verkkoon kytkettyjen tietokonejärjestelmien kehittämisessä." |
| 2008 | Leslie Lamport | Alkuperäinen teksti (englanniksi)[ näytäpiilottaa] "Hajautetun ja rinnakkaisen laskennan perustan luomiseen." |
| 2009 | Susan Graham | Alkuperäinen teksti (englanniksi)[ näytäpiilottaa] "Avustuksesta ohjelmointikielten suunnitteluun ja toteutukseen sekä esimerkillisestä palvelusta tietojenkäsittelytieteen alalla." |
| 2010 | John Hopcroft ja Jeffrey Ullman | Alkuperäinen teksti (englanniksi)[ näytäpiilottaa] "Perustan luomisesta automaattien ja kieliteorian aloille ja moniin merkittäviin panoksiin teoreettiseen tietojenkäsittelytieteeseen." |
| 2011 | Charles Anthony Richard Hoare | Alkuperäinen teksti (englanniksi)[ näytäpiilottaa] "Siitä merkittävästä panoksesta ohjelmistosuunnittelun tieteelliseen perustaan." |
| 2012 | Edward McCluskey | Alkuperäinen teksti (englanniksi)[ näytäpiilottaa] "Peruspohjaisista panoksista, jotka muovasivat digitaalisten järjestelmien suunnittelua ja testausta." |
| 2013 | Dennis | Alkuperäinen teksti (englanniksi)[ näytäpiilottaa] "Perusabstraktioille suojauksen toteuttamiseksi käyttöjärjestelmissä ja tietovirran ohjelmointiparadigmassa." |
| 2014 | Clive Moler | Alkuperäinen teksti (englanniksi)[ näytäpiilottaa] "Fundamentaalisille ja laajalti käytetyille panoksille numeeriseen lineaariseen algebraan sekä tieteellisiin ja teknisiin ohjelmistoihin, jotka muuttivat laskennallista tiedettä." |
| 2015 | James Gosling | Java -ohjelmointikielelle, Java- virtuaalikoneelle ja muille ohjelmointikielille ja -ympäristöille. |
| 2016 | Kristus Papadimitriou | Alkuperäinen teksti (englanniksi)[ näytäpiilottaa] "Syvempi ymmärrys laskennan monimutkaisuudesta ja sen vaikutuksista approksimaatioalgoritmeihin, tekoälyyn, taloustieteeseen, tietokantateoriaan ja biologiaan." |
| 2017 | Vladimir Vapnik | Tilastollisen oppimisteorian kehittämiseen , koneoppimisen teoreettisiin perusteisiin ja vektorikoneisiin . |
| 2018 | Cousot | Abstraktin tulkinnan käyttöönottamiseksi , tehokas kehys ohjelmien ominaisuuksien automaattiseen määrittämiseen, joilla on laaja sovellus todentamisessa ja optimoinnissa. |
| 2019 | Eva Tardosh | Avustuksista algoritmien alalla, mukaan lukien uudet perustavanlaatuiset optimoinnin, approksimoinnin ja algoritmisen peliteorian menetelmät. |
int main() { pitkä 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(sum>=LONG_MAX-b&&b!=2*k-1){ printf("%ld\n%ld\n+",summa,n); tauko; } else if(sum>=LONG_MAX-b&&b==2*k-1){ printf("%ld\n%ld\n*",summa,n); tauko; } }} }