Edsger Dijkstra

Edsger Dijkstra Bilgi kutusundaki görüntü. biyografi
Doğum 11 Mayıs 1930
Rotterdam
Ölüm 6 Ağu 2002
Nuenen
Ana dilde isim Edsger Wybe Dijkstra
milliyet  Flemenkçe
Eğitim Austin
Gymnasium Erasmianum'daki Texas Üniversitesi ( in ) (e kadar1948)
Leiden Üniversitesi (kadar1956)
Amsterdam Üniversitesi ( Philosophiæ doktoru ) (1959)
Aktiviteler Matematikçi , fizikçi , bilgisayar bilimcisi , mühendis , üniversite profesörü
Diğer bilgiler
İçin çalıştı Austin'deki Texas Üniversitesi (1984-1999) , Burroughs Şirketi (1973-1984) , Radboud Nijmegen Üniversitesi (1971-1972) , Eindhoven Teknoloji Üniversitesi (1962-1984) , Centrum voor Wiskunde en Informatica (1952-1962)
Alan Bilgi Bilimi ( in )
Üyesi Hollanda Kraliyet Sanat ve Bilim
Akademisi Amerikan Sanat ve Bilim Akademisi
Bilgisayar Makineleri Derneği
süpervizör Adriaan van Wijngaarden (1959)
Ödüller Turing Ödülü (1972)
Telaffuz Ünlü
Dijkstra'nın algoritması
İşletim sistemi
Semaforu

Edsger Wybe Dijkstra (telaffuz: [ˈɛtsxər ˈwibə ˈdɛɪkstra] ), Rotterdam'da doğdu .11 Mayıs 1930ve ölen Nuenen üzerinde6 Ağu 2002Bir mı matematikçi ve bilgisayar bilimcisi Hollandalı XX inci  yüzyıl . In 1972 Aldığı Turing Ödülü bilim ve programlama dilleri sanat ve katkılarından dolayı Algol dili . Ölümünden hemen önce, 2002'de kendi kendini dengeleme konusundaki çalışmaları nedeniyle PoDC etkili makale ödülünü aldı . Ölümünü takip eden yıl, ödülün adı onun onuruna Dijkstra Ödülü olarak değiştirilecektir .

biyografi

Teorik fizik okuduktan sonra , 1955'te o zamanlar yeni doğmakta olan bilgisayar bilimi alanında çalışmaya başladı ve bu alanda en aydınlanmış öncülerden biriydi.

Dijkstra çok okunaklı bir el yazısına sahipti ve faaliyet alanına rağmen her zaman bir kelime işlemci kullanmayı reddetti ve fotokopisini el yazısıyla yazılmış mektubu tercih etti. Luca Cardelli , onuruna, normal yazısını taklit eden bir "Dijkstra" kadrosu yarattı . Dijkstra, tüm mektuplarına EWD ve ardından bir sayı gelecek, sonuncusu EWD 1318 harfi olacak .

İsletim sistemi

Eindhoven Teknik Üniversitesi'nde bir öğretmen, ardışık soyutlama katmanları üzerine inşa edilmiş ve öğretim için ideal bir sistem olan THE İşletim sistemi ile sistemler alanında kendini tanıtmaya başladı ("THE", üniversitesinin kısaltmasındaki bir kelime oyunudur. Technische Hogeschool Eindhoven , Politeknik Eindhoven). Bunun, dağınık önce bu sistemi yazma deneyimi ile, o, kavramı resmileştirdi semafor : o zaman klasik haline gelmiş iki örnekle "kritik bölümünde" kavramını ortaya okuyucu ve yazar sorununa ve filozofların yemeğe. .

GOTO talimatı

Talimat kontrolsüz kullanımından kaynaklanan hasar kaydeden Goto programlama, o yazdı 1968 için ACM Communications of o denilen yazıda "  Bir Vaka Karşı GOTO Yönergesi  " ( "GOTO deyimi karşı bir deneme" ). Makaleyi editöre mektup olarak hızlı bir şekilde yayınlamak isteyen editör Niklaus Wirth , “ Zararlı Kabul Edilen Açıklamaya Git ” olarak yeniden adlandırdı   .

Bu yeni başlık, makalenin konusu kadar, daha sonra bilişim dünyasında ünlü oldu. Formun başlıkları "  X zararlı kabul  " bir kadar çarpılır "  Dijkstra'nın zararlı kabul  "  ".

Goto talimatı , yapılandırılmış programlamayla (diğerlerinin yanı sıra EWD 268'de sunulan Wirth ve Dijkstra kavramı) hızla marjinalleştirilir ve neredeyse ortadan kaldırılır . Yapılandırılmış programlamada, goto if… then… else… , while… do , tekrarla… gibi ifadelerle değiştirilir , ta ki Wirth tarafından Algol W'de tanıtılana kadar  : her ifade tek bir girdi ve tek bir çıktı içerir, bu da sonunda ayrıntılı bir şekilde mümkün kılar " spagetti kodu  " ile sistematik testler mümkün değildir  .

Tek girişe ve tek çıkışta varsayılan özellikler üzerine koşullar da uygulanabilir; bu, sözdizimine eklenen araçlara, örneğin Asser ( Hoare'nin mantığına bakın ) ve daha sonra Eiffel dilinin sözleşmeli programlamasına kapı açar .

algoritmik

Dijkstra, 1950'lerin sonlarında Algol dilinin gelişiminde önemli bir rol oynamış ve daha sonra "programlama dillerinin bilim ve sanatını" geliştirerek yapılarının, temsillerinin ve uygulamalarının anlaşılmasına büyük katkı sağlamıştır. Ayrıca Dijkstra boncukları gibi yapılandırılmış programlamada ele alınması zor olan konular da dahil olmak üzere güzel algoritmanın takipçisidir ( asla iki özdeş bitişik dizi olmaması için üç renkli boncukları bir tel üzerine tek tek yerleştirin).

Aynı zamanda, yönlendirilmiş bir grafikte en kısa yolları hesaplamaya izin veren isimsiz algoritma olan Dijkstra algoritmasının kökenindedir .

Turing Ödülü

Onun 1972 konuşması aldığı Turing Ödülü'nü , Mütevazi Programcı , ayrıca ünlü kalmıştır. Profesör Dijkstra her zaman çalışmalarının değerinin çok farkında olduğundan, bu aynı zamanda kendi kendisiyle alay etme alıştırmasıdır .

In 1974 , Dijkstra'nın kurucu makale yayınladı kendine istikrar , dağıtılmış bir sistemin mülkiyet herhangi geçici başarısızlık sonra doğru davranışı yeniden kazanmak için. In 2002 , aldığı PoDC nüfuzlu makale ödülünü Bu yazı için. Kısa süre sonra öldü. Bu ödülün adı , ertesi yıl onuruna Dijkstra Ödülü olarak değiştirildi .

alıntılar

Zor karakteri ve uzlaşmazlığıyla tanınan Dijkstra, bilgisayar bilimi görüşünü özetleyen aforizmalarıyla ünlüydü .

Referanslar

  1. Forvo.com'da Edsger Dijkstra'yı dinleyin .
  2. (in) "  Bilgisayar bilimi öncü Dijkstra ölür  " üzerinde CNET News ,8 Ağu 2002( 6 Eylül 2012'de erişildi )
  3. Phillip Laplante, Great Papers in Computer Science , West Pub. Co., ABD,14 Şubat 1996, ( ISBN  0-314-06365-X ) , s.  420
  4. alıntı ACM , Bilgisayar Makineleri Derneği
  5. Edsger Wybe Dijkstra başlıklı Mütevazi Programcı , çevrimiçi Fransızca çeviriyi okumak
  6. (içinde) Edsger Wybe Dijkstra , "  Dağıtılmış kontrole rağmen kendi kendini dengeleyen sistemler  " , Communications of the ACM , cilt.  17, n o  11,1974, s.  643-644 ( çevrimiçi okuyun [PDF] )
  7. Bilgisayar Bilimine Davet, G. Michael Schneider, Judith L. Gersting, Keith Miller
  8. (in) Edsger Dijkstra, "  The Humble Programmer  " , Communications of the ACM , cilt.  15, n o  10,1972, s.  859-866

Şuna da bakın:

bibliyografya

İlgili Makaleler

Dış bağlantılar