Dijkstra, Edsger Wiebe
Az oldal jelenlegi verzióját még nem ellenőrizték tapasztalt közreműködők, és jelentősen eltérhet a 2021. október 10-én felülvizsgált verziótól ; az ellenőrzések 4 szerkesztést igényelnek .| Edsger Wiebe Dijkstra | |
|---|---|
| Edsger Wybe Dijkstra | |
| Születési dátum | 1930. május 11. [1] [2] [3] […] |
| Születési hely | |
| Halál dátuma | 2002. augusztus 6. [1] [2] [3] […] (72 évesen) |
| A halál helye | |
| Ország | |
| Tudományos szféra | Informatika |
| Munkavégzés helye |
Nemzeti Matematikai és Számítástechnikai Kutatóintézet Eindhoven Műszaki Egyetem Texasi Egyetem, Austin |
| alma Mater | |
| tudományos tanácsadója | Adrian van Wiingaarden [5] |
| Ismert, mint |
a Dijkstra algoritmus és szemafor megalkotója , a strukturált programozás |
| Díjak és díjak | Turing-díj |
 Idézetek a Wikiidézetben | |
| Médiafájlok a Wikimedia Commons oldalon | |
Edsger Wiebe Dijkstra ( holland. Edsger Wybe Dijkstra [6] ( 1930 . május 11. Rotterdam , Hollandia - 2002 . augusztus 6. , Nuenen , Hollandia ) holland tudós, akinek munkái hatással voltak a számítástechnika és az információ fejlődésére technológia , a strukturált programozás egyik fejlesztő koncepciója , a formális ellenőrzés és az elosztott számítástechnika kutatója, Turing-díjas (1972) .
Életrajz
1930. május 11-én született Rotterdamban , tudós családban (apja vegyész , anyja matematikus ).
Az iskola befejezése után a Leideni Egyetem Elméleti Fizikai Karára lépett .
1951-ben kezdett érdeklődni a programozás iránt , beiratkozott egy háromhetes számítástechnikai tanfolyamra Cambridge -ben, 1952-től az Amszterdami Matematikai Központban programozóként dolgozott Adrian van Wiingaarden professzor vezetésével , aki később az egyik módszer szerzője volt. formálisan írja le a formális nyelvek nyelvtanát - az úgynevezett kétszintű van Wiingaarden nyelvtanokat .
Már 1952-ben elhatározta, hogy végre programozásra specializálódik, de mégis elvégezte az elméleti fizika tanfolyamot.
Az 1950-es évek második felében a táblaelrendezés optimalizálásának módjait keresve kifejlesztett egy algoritmust a gráf legrövidebb útjának megtalálására, amely " Dijkstra algoritmusa " néven vált ismertté.
1957-ben megnősült, saját emlékei szerint a házasságkötéskor kitöltendő kérdőív „szakma” rovatába „programozó”-t írt - és kénytelen volt átírni a dokumentumokat, mondván, hogy egy ilyen szakma nem létezik, ennek következtében „elméleti fizikust” kellett megjelölnie [7] .
1958-1960-ban részt vett az Algol programozási nyelv fejlesztésében , dolgozott a csapatban egy nyelvi fordító létrehozásán ; Peter Naur dán csapatával versenyezve megfogadta, hogy addig nem borotválkozik, amíg a projekt be nem fejeződik, és hat hét alatt megírja a fordítóprogramot, egyúttal kitalált egy új összeállítási szabályt – a "nevén szólítást".
Az 1960-as években részt vett a THE operációs rendszer létrehozásában , amely párhuzamosan végrehajtott kölcsönható folyamatok halmazaként épült fel [8] . E munka során jelentek meg a folyamatszinkronizálás fogalmai, a szemafor ötlete , és egyértelműen felismerték a programozási folyamat és maguk a programok strukturálásának szükségességét.
Sokáig dolgozott a Burroughsnál . Az 1970-es években Tony Hoare -ral és Niklaus Wirth -szel kidolgozta a strukturált programozás alapjait .
Élete utolsó éveiben a Texasi Egyetemen tanított .
2002. augusztus 6-án halt meg a rákkal vívott hosszú küzdelem után [9] [10] .
Tudományos eredmények
Dijkstra a matematikai logika számítógépes programok fejlesztésében való alkalmazásáról szóló munkájáról ismert .
Aktívan részt vett az Algol programozási nyelv fejlesztésében és megírta az első Algol-60 fordítót.
A strukturált programozás koncepciójának egyik szerzőjeként a GOTO utasítás használatának elutasítása mellett foglalt állást .
Övé az a gondolat is, hogy " szemaforokat " használjon a folyamatok szinkronizálására a többfeladatos rendszerekben, valamint a Dijkstra-algoritmusként ismert, nem negatív élsúlyokkal rendelkező irányított gráfok legrövidebb útvonalának megtalálására szolgáló algoritmus .
Javasolt egy rendezőpálya-algoritmust is – egy módot az infix jelöléssel bemutatott matematikai kifejezések elemzésére .
1972 - ben elnyerte a Turing-díjat .
2002-ben megkapta a Számítástechnikai Gépek Szövetségének Elosztott Számítástechnikai Alapelvei Szimpóziumának éves díját " az elosztott számítástechnika területére a legnagyobb hatást kifejtő publikációért"; a tudós érdemei elismeréseként 2003 óta ezt a díjat Dijkstra-díjnak hívják .
Bibliográfia
Számos könyv és cikk szerzője, a leghíresebb publikációk a "Programozási fegyelem", "Megjegyzések a strukturált programozásról", "A GOTO operátor veszélyeiről" című cikk ( eng. GOTO károsnak tekinthető ).
A speciális kérdések megvitatása mellett cikkeiben és könyveiben Dijkstra következetesen kiállt a programozás matematikai megközelítésének szükségessége mellett, amely magában foglalja a probléma előzetes pontos, átfogó matematikai leírását és a megoldási módszert, a helyesség formális bizonyítását. a választott algoritmusból, és az algoritmus ezt követő implementálása a legegyszerűbb, legstrukturáltabb program formájában, amelynek helyességét formálisan igazolni kell.
Dijkstra szerint a számítástechnikai iparban elterjedt megközelítés a programozásra, mint a próba-hibával eredmény elérésének folyamatára („kód írása – teszt – hibák keresése – javítás – tesztelés –…”) hibás, mert ösztönzi a programozókat. nem a feladatra gondolni, hanem kódot írni , ami ugyanakkor nem garantálja a programok helyességét, amit elvileg teszteléssel nem lehet bizonyítani.
Többször figyelmeztették, hogy ne próbálják triviális folyamattá tenni a szoftverfejlesztést; véleménye szerint a programozás alapvetően rendkívül összetett tudományos és mérnöki tevékenység, ezen a helyzeten semmilyen új módszer és eszköz nem tud gyökeresen változtatni - csak a rutinmunka egy része alól mentesíti a programozót. Azok a kísérletek, amelyek arra irányulnak, hogy a programozást egyszerű tevékenységgé tegyék mindenki számára elérhetővé, kudarcra vannak ítélve.
1975-ben a németországi helyzet példáján Dijkstra megmutatta, hogy a programozás, mint tudomány, egy kiválasztott programozási nyelven alapuló fejlesztése lehetetlen.
Ennek a megközelítésnek az eredménye egy teljes szakadék a programozás elmélete és gyakorlata között. Dijkstra megjegyezte, hogy az ALGOL 68 nyelvnek a további fejlesztés alapvető eszközeként történő németországi átvétele ugyanolyan bénító hatással volt, mint a Szovjetunió kormányának döntése a szovjet iparnak az IBM / 360 modellsorozat másolására való átállásáról . az 1960-as évek vége, amelyet a tudós a Nyugat legnagyobb hidegháborús győzelmének nevezett [11] .
Érdekes tények
Érdekes tények Dijkstráról: [12]
- Dijkstra megszámozta cikkeit EWD0, EWD1, EWD2 stb.
- Tény Dijkstráról: "Ismert, hogy kevéssé érdekli a Fortran ismeretekkel rendelkező hallgatók felvétele az egyetem felső tagozataira, ahol tanít, mert a rossz programozási szokások is gyökeret verhetnek ezzel a tudással együtt."
- Egy másik idézet Dijkstrától [13] : „Az eleganciát, a tisztaságot és hasonlókat nagymértékben meghatározzák a mennyiségi szempontok. (Mozart ezt tette: sok lélegzetelállító darabja megtévesztően egyszerű; úgy tűnik, szinte a semmiből készültek!)
Díjak
- Turing-díj (1972)
- Harry Hood-emlékdíj (1974)
- PODC-díj a befolyásos publikációért (2002)
- C&C-díj (2002)
Publikációk
Könyvek- Strukturált programozás / szerk. O.J. Dahl, EW Dijkstra, CAR Hoare. – London: Academic Press, 1972.
- Dijkstra EW A programozás diszciplínája. - Prentice-Hall, 1976.
- Dijkstra E. Programozási tudomány. — M .: Mir, 1978. — 275 p.
- Dijkstra EW Válogatott írások a számítástechnikáról: személyes perspektíva. — Springer, 1982.
- Dijkstra EW, Feijen WHJ A programozási módszer. - Addison-Wesley, 1988.
- Dijkstra EW, Scholten CS Predicate Calculus és programszemantika. — Springer, 1990.
- Dijkstra EW Megjegyzés két problémához a gráfokkal kapcsolatban // Numerische Mathematik. - 1959. - 1. évf. 1. - P. 269-271. - doi : 10.1007/BF01386390 .
- Dijkstra EW rekurzív programozás // Numerische Mathematik. - 1960. - 1. évf. 2. - P. 312-318. - doi : 10.1007/BF01386232 .
- Dijkstra EW Probléma megoldása párhuzamos programozási vezérlésben // Az ACM kommunikációja. - 1965. - 1. évf. 8. - P. 569. - doi : 10.1145/363095.363143 .
- Dijkstra EW Tovább a károsnak ítélt nyilatkozathoz // Az ACM kommunikációja. - 1968. - 1. évf. 11. - P. 147-148. - doi : 10.1145/362929.362947 .
- Dijkstra EW A „THE”-multiprogramozó rendszer felépítése // Az ACM kommunikációja. - 1968. - 1. évf. 11. - P. 341-346. - doi : 10.1145/363095.363143 .
- Dijkstra EW Cooperating Sequential Processes // Programozási nyelvek: NATO Advanced Study Institute. - London: Academic Press, 1968. - P. 43-112.
- Dijkstra EW Önstabilizáló rendszerek az elosztott vezérlés ellenére // Az ACM kommunikációja. - 1974. - 1. évf. 17. - P. 643-644. - doi : 10.1145/361179.361202 .
- Dijkstra EW programozás, mint a matematikai természet diszciplínája // American Mathematical Monthly. - 1974. - 1. évf. 81.—P. 608–612. - doi : 10.1080/00029890.1974.11993624 .
- Dijkstra EW Védett parancsok, nem meghatározottság és a programok formális származtatása // Az ACM kommunikációja. - 1975. - 1. évf. 18. - P. 653-657. - doi : 10.1145/360933.360975 .
- Dijkstra EW, Scholten CS Termination detection for diffusing computations // Information Processing Letters. - 1980. - 1. évf. 11. - P. 1–4. - doi : 10.1016/0020-0190(80)90021-6 .
Lásd még
Jegyzetek
- ↑ 1 2 3 4 5 6 7 8 http://amturing.acm.org/award_winners/dijkstra_1053701.cfm
- ↑ 1 2 MacTutor Matematikatörténeti archívum
- ↑ 1 2 Edsger Wybe Dijkstra – 2009.
- ↑ Encyclopædia Britannica
- ↑ Matematikai genealógia (angol) - 1997.
- ↑ [ˈɛtsxər ˈʋibə ˈdɛikstra] figyelj
- ↑ Edsger Dijkstra. The Humble Programmer archiválva 2014. június 26-án a Wayback Machine -nél // Communications of the ACM , vol. 15, 10, 859-866 (1972)]
- ↑ Haldar, Sibsankar és Aravind, Alex A. Operációs rendszerek . - Pearson, 2010 . - S. 198. - 580 p. - ISBN 978-81-317-3022-5 .
- ↑ Edsger Vibe Dijkstra meghalt .
- ↑ Rupert .
- ↑ Edsger W. Dijkstra. Utazási jelentés EWDijkstra: NATO Summer School Marktoberdorf 1975 (angol) . A Texasi Egyetem Austinban (1975. augusztus 11.). Letöltve: 2017. július 25. Az eredetiből archiválva : 2017. július 13.
- ↑ Avacheva T. G., Prutskov A. V. A strukturált programozás koncepciójának modern nézete // Tudomány felhője. - 2019. - T. 6 , 4. sz . Az eredetiből archiválva : 2019. november 7.
- ↑ Dahl W., Dijkstra E., Hoor K. Strukturális programozás. - Moszkva: Mir, 1972.
Irodalom
- Boyer RS, Feijen W., Gries D., Hoare CAR, Misra J., Moore J., Richards H. In memoriam: Edsger W. Dijkstra 1930-2002 // Communications of the ACM. - 2002. - 20. évf. 45. - P. 21–22. - doi : 10.1145/570907.570921 .
- Apt K. Edsger Wybe Dijkstra (1930–2002): Egy zseni portréja // A számítástechnika formai vonatkozásai. - 2002. - 20. évf. 14. - P. 92–98. - doi : 10.1007/s001650200029 .
- Misra J., Richards H. In Memoriam Edsger Wybe Dijkstra (1930–2002) . – 2002.
- Apt K. Edsger Dijkstra: Az ember, aki vállán hordozta a számítástechnikát // Következtetés: International Review of Science. - 2020. - Kt. 5, 3. sz .
Linkek
- Dijkstra-díj az elosztott számítástechnikában végzett kiemelkedő munkáért
- EW Dijkstra archívum
- Goodwins, Rupert . A számítástechnika úttörője, Dijkstra meghalt (2002. augusztus 8.). Letöltve: 2013. szeptember 27.
- Edsger Wibe Dijkstra meghalt (2002. augusztus 8.). Letöltve: 2013. szeptember 27.
| Turing- díjasok | |
|---|---|
| |
| Szoftverfejlesztés | |
|---|---|
| Folyamat | |
| Magas szintű koncepciók | |
| Útvonalak |
|
Fejlesztési módszertanok | |
| Modellek |
|
| Figyelemre méltó alakok |
|
 Tematikus oldalak | ||||
|---|---|---|---|---|
| Szótárak és enciklopédiák | ||||
| Genealógia és nekropolisz | ||||
| ||||