Dijkstra, Edsger Wiebe
Kokeneet kirjoittajat eivät ole vielä tarkistaneet sivun nykyistä versiota, ja se voi poiketa merkittävästi 10. lokakuuta 2021 tarkistetusta versiosta . tarkastukset vaativat 4 muokkausta .| Edsger Wiebe Dijkstra | |
|---|---|
| Edsger Wybe Dijkstra | |
| Syntymäaika | 11. toukokuuta 1930 [1] [2] [3] […] |
| Syntymäpaikka | |
| Kuolinpäivämäärä | 6. elokuuta 2002 [1] [2] [3] […] (72-vuotias) |
| Kuoleman paikka |
|
| Maa | |
| Tieteellinen ala | Informatiikka |
| Työpaikka |
Kansallinen matematiikan ja tietojenkäsittelytieteen tutkimuslaitos Eindhovenin teknillinen yliopisto Texasin yliopisto Austinissa |
| Alma mater | |
| tieteellinen neuvonantaja | Adrian van Wiingaarden [5] |
| Tunnetaan |
Dijkstran algoritmin ja semaforien luoja , |
| Palkinnot ja palkinnot | Turing-palkinto |
 Wikilainaukset | |
| Mediatiedostot Wikimedia Commonsissa | |
Edsger Wiebe Dijkstra ( hollanti. Edsger Wybe Dijkstra [6] ( 11. toukokuuta 1930 , Rotterdam , Alankomaat - 6. elokuuta 2002 , Nuenen , Alankomaat) on hollantilainen tiedemies, jonka työt vaikuttivat tietojenkäsittelytieteen ja tiedon kehitykseen teknologia , yksi strukturoidun ohjelmoinnin kehittäjistä , muodollisen verifioinnin ja hajautetun laskennan tutkija Turing Laureate (1972) .
Elämäkerta
Syntynyt 11. toukokuuta 1930 Rotterdamissa tiedemiesperheessä (isä on kemisti , äiti matemaatikko ).
Koulunsa päätyttyä hän siirtyi Leidenin yliopiston teoreettisen fysiikan tiedekuntaan .
Vuonna 1951 hän kiinnostui ohjelmoinnista , osallistui kolmen viikon tietokonekurssille Cambridgessa , vuodesta 1952 lähtien hän työskenteli ohjelmoijana Amsterdamin matemaattisessa keskuksessa professori Adrian van Wiingaardenin johdolla , joka myöhemmin oli yhden tavan kirjoittaja. kuvaavat muodollisesti muodollisten kielten kielioppia - niin sanottuja kaksitasoisia van Wiingaardenin kielioppeja .
Jo vuonna 1952 hän päätti vihdoin erikoistua ohjelmointiin, mutta suoritti silti teoreettisen fysiikan kurssin.
1950-luvun jälkipuoliskolla etsimässä tapoja optimoida taulujen asettelua kehitti algoritmin kaavion lyhimmän polun löytämiseksi, josta tuli tunnetuksi " Dijkstran algoritmi ".
Vuonna 1957 hän meni naimisiin omien muistojensa mukaan kyselylomakkeen "ammatti" -sarakkeessa, joka oli tarkoitus täyttää avioliitossa, hän kirjoitti "ohjelmoija" - ja hänet pakotettiin kirjoittamaan asiakirjat uudelleen sanomalla, että tällainen ammattia ei ole olemassa, joten hänen täytyi merkitä "teoreettinen fyysikko" [7] .
Vuosina 1958-1960 hän osallistui ohjelmointikielen Algol kehittämiseen, työskenteli ryhmässä kielikääntäjän luomiseksi ; kilpaillessaan tanskalaisen Peter Naurin tiimin kanssa hän lupasi olla ajamatta parranajoa ennen kuin projekti on saatu päätökseen ja voitti kirjoittamalla kääntäjän kuudessa viikossa, samalla keksien uuden kokoelmasäännön - "soita nimellä".
1960 -luvulla hän osallistui käyttöjärjestelmän THE luomiseen , joka rakennettiin sarjana rinnakkain suoriutuvia vuorovaikutteisia prosesseja [8] . Juuri tämän työn aikana syntyivät käsitteet prosessin synkronoinnista , ajatus semaforista ja tarve strukturoida ohjelmointiprosessi ja itse ohjelmat tunnistettiin selvästi.
Hän työskenteli Burroughsilla pitkään . 1970 -luvulla hän kehitti strukturoidun ohjelmoinnin perusteita Tony Hoaren ja Niklaus Wirthin kanssa .
Elämänsä viimeisinä vuosina hän opetti Texasin yliopistossa .
Hän kuoli 6. elokuuta 2002 pitkän taistelun jälkeen syöpää vastaan [9] [10] .
Tieteelliset saavutukset
Dijkstra tunnetaan työstään matemaattisen logiikan soveltamisesta tietokoneohjelmien kehittämisessä.
Hän osallistui aktiivisesti Algol - ohjelmointikielen kehittämiseen ja kirjoitti ensimmäisen Algol-60-kääntäjän.
Koska hän oli yksi jäsennellyn ohjelmoinnin käsitteen tekijöistä , hän saarnasi GOTO -ohjeen käytön kieltämistä .
Hän omistaa myös ajatuksen " semaforien " käyttämisestä prosessien synkronointiin moniajojärjestelmissä ja Dijkstran algoritmina tunnetun algoritmin lyhimmän polun löytämiseksi suunnatusta graafista ei-negatiivisilla reunapainoilla .
Hän ehdotti myös järjestelypiha-algoritmia – tapaa jäsentää matemaattisia lausekkeita, jotka esitetään infix-merkinnällä .
Vuonna 1972 hän voitti Turing-palkinnon .
Vuonna 2002 hän sai Computing Machinery Associationin hajautetun laskennan periaatteiden symposiumin vuosipalkinnon " julkaisusta, jolla on ollut suurin vaikutus hajautetun laskennan alalla"; Tunnustuksena tutkijan ansioista tätä palkintoa on vuodesta 2003 lähtien kutsuttu Dijkstra-palkinnoksi .
Bibliografia
Useiden kirjojen ja monien artikkeleiden kirjoittaja, tunnetuimpia julkaisuja ovat kirjat "Ohjelmointikuri", "Huomioita strukturoidusta ohjelmointista", artikkeli "GOTO-operaattorin vaaroista" ( eng. GOTO pidetään haitallisena ).
Erikoiskysymyksistä keskustelemisen lisäksi Dijkstra puolusti artikkeleissaan ja kirjoissaan johdonmukaisesti tarvetta matemaattiselle lähestymistavalle ohjelmointiin, johon kuuluu alustava tarkka, kattava matemaattinen kuvaus ongelmasta ja menetelmä sen ratkaisemiseksi, muodollinen todistus oikeasta. valitusta algoritmista ja myöhemmin algoritmin toteutus yksinkertaisimman, jäsennellymmän ohjelman muodossa, jonka oikeellisuus on todistettava muodollisesti.
Dijkstran mukaan tietokoneteollisuudessa vallitseva lähestymistapa ohjelmointiin prosessina, jossa tulos saavutetaan yrityksen ja erehdyksen avulla ("kirjoita koodi - testaa - löydä virheet - korjaa - testaa - ...") on virheellinen, koska se rohkaisee ohjelmoijia. ei ajatella tehtävää, vaan kirjoittaa koodia , joka samalla ei takaa ohjelmien oikeellisuutta, mitä ei voida periaatteessa todistaa testaamalla.
Toistuvasti varoitettu yrittämästä tehdä ohjelmistokehityksestä triviaalia prosessia; hänen mielestään ohjelmointi on pohjimmiltaan äärimmäisen monimutkaista tieteellistä ja insinööritoimintaa, eivätkä uudet menetelmät ja työkalut voi radikaalisti muuttaa tätä tilannetta - ne vain vapauttavat ohjelmoijan osasta rutiinityötä. Yritykset tehdä ohjelmoinnista yksinkertainen toiminta kaikkien ulottuville ovat tuomittuja epäonnistumaan.
Vuonna 1975 Dijkstra osoitti Saksan tilanteen esimerkillä, että ohjelmoinnin kehittäminen tieteenä, joka perustuu yhteen valittuun ohjelmointikieleen, on mahdotonta.
Tämän lähestymistavan tulos oli täydellinen kuilu ohjelmoinnin teorian ja käytännön välillä. Dijkstra huomautti, että ALGOL 68 -kielen käyttöönotolla Saksassa hallitustasolla jatkokehityksen perustavanlaatuisena työkaluna oli sama lamauttava vaikutus kuin Neuvostoliiton hallituksen päätöksellä Neuvostoliiton teollisuuden siirtymisestä IBM / 360 -mallivalikoiman kopioimiseen vuonna. 1960-luvun lopulla, jota tiedemies kutsui lännen suurimmaksi voitoksi kylmässä sodassa [11] .
Mielenkiintoisia faktoja
Mielenkiintoisia faktoja Dijkstrasta: [12]
- Dijkstra numeroi artikkelinsa EWD0, EWD1, EWD2 jne.
- Faktaa Dijkstrasta: "Hänen tiedetään olevan vähän kiinnostunut ottamaan vastaan opiskelijoita, jotka tuntevat Fortranin yliopiston vanhemmille kursseille, joissa hän opettaa, koska huonot ohjelmointitavat voivat juurtua tämän tiedon mukana."
- Toinen lainaus Dijkstrasta [13] : "Eleganssi, selkeys ja muut vastaavat määräytyvät suurelta osin määrällisistä näkökohdista. (Mozart teki tämän: monet hänen henkeäsalpaavista teoksistaan ovat petollisen yksinkertaisia; ne näyttävät olevan tehty melkein tyhjästä!)
Palkinnot
- Turing-palkinto (1972)
- Harry Hood Memorial Award (1974)
- PODC-palkinto vaikutusvaltaisesta julkaisusta (2002)
- C&C-palkinto (2002)
Julkaisut
Kirjat- Strukturoitu ohjelmointi / toim. O.J. Dahl, EW Dijkstra, CAR Hoare. – Lontoo: Academic Press, 1972.
- Dijkstra EW Ohjelmoinnin tieteenala. - Prentice-Hall, 1976.
- Dijkstra E. Ohjelmointiala. - M .: Mir, 1978. - 275 s.
- Dijkstra EW Valitut kirjoitukset tietojenkäsittelystä: henkilökohtainen näkökulma. - Springer, 1982.
- Dijkstra EW, Feijen WHJ Ohjelmointimenetelmä. - Addison-Wesley, 1988.
- Dijkstra EW, Scholten CS -predikaattilaskenta ja ohjelmasemantiikka. - Springer, 1990.
- Dijkstra EW Huomautus kahdesta ongelmasta graafien yhteydessä // Numerische Mathematik. - 1959. - Voi. 1. - s. 269-271. - doi : 10.1007/BF01386390 .
- Dijkstra EW Rekursiivinen ohjelmointi // Numerische Mathematik. - 1960. - Voi. 2. - s. 312-318. - doi : 10.1007/BF01386232 .
- Dijkstra EW Ongelman ratkaisu samanaikaisen ohjelmoinnin ohjauksessa // ACM:n tiedonsiirto. - 1965. - Voi. 8. - P. 569. - doi : 10.1145/363095.363143 .
- Dijkstra EW Siirry haitallisena pidettyyn lausuntoon // ACM:n viestintä. - 1968. - Voi. 11. - s. 147-148. - doi : 10.1145/362929.362947 .
- Dijkstra EW "THE"-moniohjelmointijärjestelmän rakenne // ACM:n viestintä. - 1968. - Voi. 11. - s. 341-346. - doi : 10.1145/363095.363143 .
- Dijkstra EW Cooperating Sequential Processes // Ohjelmointikielet: NATO Advanced Study Institute. - Lontoo: Academic Press, 1968. - P. 43-112.
- Dijkstra EW Itsevakautuvat järjestelmät hajautetusta ohjauksesta huolimatta // ACM:n tiedonsiirto. - 1974. - Voi. 17. - s. 643-644. - doi : 10.1145/361179.361202 .
- Dijkstra EW -ohjelmointi matemaattisen luonnon tieteenalana // American Mathematical Monthly. - 1974. - Voi. 81.—S. 608–612. - doi : 10.1080/00029890.1974.11993624 .
- Dijkstra EW Suojatut komennot, epämääräisyys ja ohjelmien muodollinen johtaminen // ACM:n viestintä. - 1975. - Voi. 18. - P. 653-657. - doi : 10.1145/360933.360975 .
- Dijkstra EW, Scholten CS Termination detection for diffuusing computings // Information Processing Letters. - 1980. - Voi. 11. - s. 1–4. - doi : 10.1016/0020-0190(80)90021-6 .
Katso myös
Muistiinpanot
- ↑ 1 2 3 4 5 6 7 8 http://amturing.acm.org/award_winners/dijkstra_1053701.cfm
- ↑ 1 2 MacTutor History of Mathematics -arkisto
- ↑ 1 2 Edsger Wybe Dijkstra - 2009.
- ↑ Encyclopædia Britannica
- ↑ Matemaattinen sukututkimus (englanniksi) - 1997.
- ↑ [ˈɛtsxər ˈʋibə ˈdɛikstra] kuuntele
- ↑ Edsger Dijkstra. The Humble Programmer Arkistoitu 26. kesäkuuta 2014 Wayback Machinessa // Communications of the ACM , voi. 15 (1972), 10: 859-866]
- ↑ Haldar, Sibsankar ja Aravind, Alex A. Käyttöjärjestelmät . – Pearson, 2010 . - S. 198. - 580 s. - ISBN 978-81-317-3022-5 .
- ↑ Edsger Vibe Dijkstra kuolee .
- ↑ Rupert .
- ↑ Edsger W. Dijkstra. Matkaraportti EWDijkstra: NATO Summer School Marktoberdorf 1975 (englanniksi) . Texasin yliopisto Austinissa (11. elokuuta 1975). Haettu 25. heinäkuuta 2017. Arkistoitu alkuperäisestä 13. heinäkuuta 2017.
- ↑ Avacheva T. G., Prutskov A. V. Moderni näkemys strukturoidun ohjelmoinnin käsitteestä // Tieteen pilvi. - 2019. - T. 6 , nro 4 . Arkistoitu alkuperäisestä 7. marraskuuta 2019.
- ↑ Dahl W., Dijkstra E., Hoor K. Rakenneohjelmointi. - Moskova: Mir, 1972.
Kirjallisuus
- Boyer RS, Feijen W., Gries D., Hoare CAR, Misra J., Moore J., Richards H. Muistoksi: Edsger W. Dijkstra 1930-2002 // Communications of the ACM. - 2002. - Voi. 45. - s. 21–22. - doi : 10.1145/570907.570921 .
- Apt K. Edsger Wybe Dijkstra (1930–2002): Muotokuva nerosta // Computingin muodollisia näkökohtia. - 2002. - Voi. 14. - s. 92-98. - doi : 10.1007/s001650200029 .
- Misra J., Richards H. In Memoriam Edsger Wybe Dijkstra (1930–2002) . – 2002.
- Apt K. Edsger Dijkstra: Mies, joka kantoi tietotekniikkaa harteillaan // Päätelmä: Kansainvälinen tieteen katsaus. - 2020. - Vol. 5, nro 3 .
Linkit
- Dijkstra-palkinto erinomaisesta työstä hajautetun tietojenkäsittelyn alalla
- EW Dijkstra -arkisto
- Hyvä voitto, Rupert . Tietojenkäsittelytieteen pioneeri Dijkstra kuolee (8. elokuuta 2002). Haettu 27.9.2013.
- Edsger Wibe Dijkstra kuoli (8. elokuuta 2002). Haettu 27.9.2013.
| Turing-palkinnon voittajat | |
|---|---|
| |
| Ohjelmistokehitys | |
|---|---|
| Prosessi | |
| Korkean tason käsitteet | |
| Ohjeet |
|
| Kehittämismenetelmät _ | |
| Mallit |
|
| Merkittäviä lukuja |
|
 Temaattiset sivustot | ||||
|---|---|---|---|---|
| Sanakirjat ja tietosanakirjat | ||||
| Sukututkimus ja nekropolis | ||||
| ||||