에츠허르 데이크스트라

	에츠허르 데이크스트라; Edsger Wybe Dijkstra
	; 에츠허르 데이크스트라(2002)
출생	1930년 5월 11일; 네덜란드 로테르담
사망	2002년 8월 6일(72세); 네덜란드 뉘넌
주요 업적	데이크스트라 알고리즘 (최단 경로 문제); 프림 알고리즘 (최소 생성나무); 알골 60 컴파일러 첫 구현; 구조적 분석; 구조적 프로그래밍; 세마포어; 추상화 계층을 통한 운영체제 시스템 디자인 접근; THE 멀티프로그래밍 시스템; 다중작업 개념; 추상화 계층 개념; 소프트웨어 구조에서 계층화된 구조; 협력 순차 프로세스(cooperating sequential processes) 개념; 프로그램 가족(program families) 개념; 가드 개념; 스레드; 병행 컴퓨팅; 병렬 알고리즘; 분산 컴퓨팅; 분산 알고리즘; 동기화 (컴퓨터 과학); 상호 배제; 임계 구역; 데커의 알고리즘 일반화; 삼색 표시 알고리즘; 콜 스택; 장애 허용 시스템; 자기 안정화; 기아 상태; 교착 상태; 데드락 방지 알고리즘; 차량기지 알고리즘; 은행원 알고리즘; 식사하는 철학자들 문제; 잠자는 이발사 알고리즘; 생산자-소비자 문제 (생산자-소비자 문제); 네덜란드 국기 문제; 술어 변환자 시맨틱; 보호 명령어 언어; 최약 사전조건 계산(Weakest precondition calculus); 무한정 비결정론; 다익스트라-스홀턴 알고리즘; 스무스 정렬; 관심의 분리; 형식 검증; 프로그램 도출; 소프트웨어 위기; 소프트웨어 구조; goto 문; 하향식과 상황식 디자인 프로그램 조합; 소프트웨어 개발 프로세스에 대한 수학적 접근;
수상	튜링상 (1972); 다익스트라 상 (2002);
분야	컴퓨터 과학; 이론 전산학;
소속	네덜란드 국립 수학 정보과학 연구소; 에인트호번 공과대학원; 버로스 코퍼레이션; 텍사스 대학교 오스틴;
박사 지도교수	아드리안 판 베인하르덴(Adriaan van Wijngaarden)
박사 지도학생	바로스 코퍼레이션; 마르틴 렘(Martin Rem); 데이비드 나우만(David Naumann); 케이스 헤메릭(Kees Hemerik); 얀 테이먼 위딩(Jan Tijmen Udding); 요하네스 L. A. 판더스넵스회트(Jan L. A. van de Snepscheut); 네티 판 하스테런(Netty van Gasteren);
영향을 받음	아드리안 판 베인하르덴(Adriaan van Wijngaarden);
영향을 줌	찰스 앤터니 리처드 호어; 니클라우스 워스; 피어 브린치 핸슨(Per Brinch Hansen); 레슬리 램포트; 데이비드 그리스; 데이비드 파나스; 슬로미 도리프(Shlomi Dolev); 알렉산더 스테파노프;

에츠허르 비버 데이크스트라(네덜란드어: Edsger Wybe Dijkstra, 1930년 5월 11일 ~ 2002년 8월 6일)는 네덜란드의 컴퓨터 과학자이다. 1972년에 프로그래밍 언어 분야에 대한 지대한 공헌을 인정받아 튜링상을 수상했다.

생애

데이크스트라는 레이던 대학교에서 이론물리학을 전공했다.

데이크스트라는 컴퓨터과학이 아직 학문으로 완전하게 정립되지 않았던 시절에 컴퓨터과학의 여러 분야에 걸쳐 많은 공헌을 했다. 그의 다방면에 걸친 업적은 다음과 같다.

데이크스트라 알고리즘을 개발하여 최단 경로 문제에 대한 학문적 연구를 시작했다.
GOTO문을 사용하지 말 것을 주장했으며, 그의 주장은 1968년에 그의 논문 "GOTO문의 해로움"(Go To Statement Considered Harmful) [1]에 정리되었다.
세마포어에 대한 연구를 처음으로 시작하였다.

오랜 암 투병 끝에 2002년 8월 6일에 세상을 떠났다.

일화

Go To Statement Considered Harmful이라는 논문의 제목은 데이크스트라가 직접 지은 것이 아니라, 당시 편집장이었던 니클라우스 비르트가 지었다.

각주

↑ Marateck, Samuel L. (1977). FORTRAN (Academic Press), p. 488
↑ Courtois, Pierre-Jacques (2008). Justifying the Dependability of Computer-based Systems: With Applications in Nuclear Engineering (Springer), p. 112
↑ Denning, Peter J.; Martell, Craig H. (2015). Great Principles of Computing (MIT Press), p. 157
↑ Birrell, N. D.; Ould, M. A. (1985). A Practical Handbook for Software Development (Cambridge University Press), p.181
↑ Haigh, Thomas (2010)
↑ Albin, Stephen T. (2003). The Art of Software Architecture: Design Methods and Techniques (Wiley Publishing, Inc.), p. 3
↑ 찰스 앤터니 리처드 호어 (2010년 10월 12일). “The 2010 Edsger W. Dijkstra Memorial Lecture: What Can We Learn from Edsger W. Dijkstra?”. Department of Computer Science, The University of Texas at Austin. 2015년 8월 12일에 확인함.
↑ Ryder, Barbara G.; Soffa, Mary Lou; Burnett, Margaret (2005). Impact of Software Engineering Research on Modern Programming Languages. ACM Transactions on Software Engineering and Methodology, Vol. 14, No. 4, October 2005, p. 431-477. "Of great influence to Pascal was Structured Programming, put forth by E. W. Dijkstra. This method of proceeding in a design would obliviously be greatly encouraged by the use of a structured programming language, a language with a set of constructs that could freely be combined and nested. The textual structure of a program should directly reflect its flow of control."
↑ 니클라우스 워스 (2008). A Brief History of Software Engineering. IEEE Annals of the History of Computing, vol.30, no. 3, July–September 2008, pp. 32–39. "In 1965 Dijkstra wrote his famous Notes on Structured Programming and declared programming as a discipline in contrast to a craft. Also in 1965 Hoare published an important paper about data structuring. These ideas had a profound influence on new programming language, in particular Pascal. Languages are the vehicles in which these ideas were to be expressed. Structured Programming became supported by a Structured programming languages]]."
↑ In his 2004 memoir, "A Programmer's Story: The Life of a Computer Pioneer", Brinch Hansen wrote that he used "Cooperating Sequential Processes" to guide his work implementing multiprogramming on the RC 4000, and described it saying, "One of the great works in computer programming, this masterpiece laid the conceptual foundation for concurrent programming."
↑ As Lamport (2002) wrote, "Edsger W. Dijkstra started the field of concurrent and distributed algorithms with his 1965 CACM paper "Solution of a Problem in Concurrent Programming Control", in which he first stated and solved the mutual exclusion problem. That paper is probably why Symposium on Principles of Distributed Computing exists; it certainly inspired most of my work."
↑ Lo Russo, Graziano (1997). “An Interview with A. Stepanov (Edizioni Infomedia srl.)”. STLport. 2015년 8월 30일에 확인함. Alexander Stepanov: "...I also discovered books of two great computer scientists from whose work I learned the scientific foundation of my trade: Donald Knuth and Edsger Dijkstra. Knuth taught me the answers. Dijkstra taught me the questions. Time and time again I come back to their works for new insights."

외부 링크

위키미디어 공용에 관련된
미디어 분류가 있습니다.

에츠허르 데이크스트라

E. W. Dijkstra Archive
네덜란드어 발음과 관련된 설명 Archived 2011년 5월 21일 - 웨이백 머신 (데이크스트라를 비롯한 여러 네덜란드 사람들의 이름을 읽는 방법을 mp3 파일로 들을 수 있음.)

[1] Marateck, Samuel L. (1977). FORTRAN (Academic Press), p. 488

[2] Courtois, Pierre-Jacques (2008). Justifying the Dependability of Computer-based Systems: With Applications in Nuclear Engineering (Springer), p. 112

[3] Denning, Peter J.; Martell, Craig H. (2015). Great Principles of Computing (MIT Press), p. 157

[4] Birrell, N. D.; Ould, M. A. (1985). A Practical Handbook for Software Development (Cambridge University Press), p.181

[Haigh,_Thomas_2010-5] Haigh, Thomas (2010)

[6] Albin, Stephen T. (2003). The Art of Software Architecture: Design Methods and Techniques (Wiley Publishing, Inc.), p. 3

[7] 찰스 앤터니 리처드 호어 (2010년 10월 12일). “The 2010 Edsger W. Dijkstra Memorial Lecture: What Can We Learn from Edsger W. Dijkstra?”. Department of Computer Science, The University of Texas at Austin. 2015년 8월 12일에 확인함.

[8] Ryder, Barbara G.; Soffa, Mary Lou; Burnett, Margaret (2005). Impact of Software Engineering Research on Modern Programming Languages. ACM Transactions on Software Engineering and Methodology, Vol. 14, No. 4, October 2005, p. 431-477. "Of great influence to Pascal was Structured Programming, put forth by E. W. Dijkstra. This method of proceeding in a design would obliviously be greatly encouraged by the use of a structured programming language, a language with a set of constructs that could freely be combined and nested. The textual structure of a program should directly reflect its flow of control."

[9] 니클라우스 워스 (2008). A Brief History of Software Engineering. IEEE Annals of the History of Computing, vol.30, no. 3, July–September 2008, pp. 32–39. "In 1965 Dijkstra wrote his famous Notes on Structured Programming and declared programming as a discipline in contrast to a craft. Also in 1965 Hoare published an important paper about data structuring. These ideas had a profound influence on new programming language, in particular Pascal. Languages are the vehicles in which these ideas were to be expressed. Structured Programming became supported by a Structured programming languages]]."

[10] In his 2004 memoir, "A Programmer's Story: The Life of a Computer Pioneer", Brinch Hansen wrote that he used "Cooperating Sequential Processes" to guide his work implementing multiprogramming on the RC 4000, and described it saying, "One of the great works in computer programming, this masterpiece laid the conceptual foundation for concurrent programming."

[11] As Lamport (2002) wrote, "Edsger W. Dijkstra started the field of concurrent and distributed algorithms with his 1965 CACM paper "Solution of a Problem in Concurrent Programming Control", in which he first stated and solved the mutual exclusion problem. That paper is probably why Symposium on Principles of Distributed Computing exists; it certainly inspired most of my work."

[12] Lo Russo, Graziano (1997). “An Interview with A. Stepanov (Edizioni Infomedia srl.)”. STLport. 2015년 8월 30일에 확인함. Alexander Stepanov: "...I also discovered books of two great computer scientists from whose work I learned the scientific foundation of my trade: Donald Knuth and Edsger Dijkstra. Knuth taught me the answers. Dijkstra taught me the questions. Time and time again I come back to their works for new insights."

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[9]

[10]

[11]

[12]

에츠허르 데이크스트라 Edsger Wybe Dijkstra
에츠허르 데이크스트라(2002)
출생	1930년 5월 11일(1930-05-11) 네덜란드 로테르담
사망	2002년 8월 6일(2002-08-06)(72세) 네덜란드 뉘넌
주요 업적	데이크스트라 알고리즘 (최단 경로 문제) 프림 알고리즘 (최소 생성나무) 알골 60 컴파일러 첫 구현 구조적 분석 구조적 프로그래밍 세마포어 추상화 계층을 통한 운영체제 시스템 디자인 접근 THE 멀티프로그래밍 시스템 다중작업 개념 추상화 계층 개념^[1]^[2] 소프트웨어 구조에서 계층화된 구조 협력 순차 프로세스(cooperating sequential processes) 개념^[3] 프로그램 가족(program families) 개념^[4] 가드 개념 스레드 병행 컴퓨팅 병렬 알고리즘 분산 컴퓨팅 분산 알고리즘 동기화 (컴퓨터 과학) 상호 배제 임계 구역 데커의 알고리즘 일반화 삼색 표시 알고리즘 콜 스택 장애 허용 시스템 자기 안정화 기아 상태 교착 상태 데드락 방지 알고리즘 차량기지 알고리즘 은행원 알고리즘 식사하는 철학자들 문제 잠자는 이발사 알고리즘 생산자-소비자 문제 (생산자-소비자 문제) 네덜란드 국기 문제 술어 변환자 시맨틱 보호 명령어 언어 최약 사전조건 계산(Weakest precondition calculus) 무한정 비결정론 다익스트라-스홀턴 알고리즘 스무스 정렬 관심의 분리 형식 검증 프로그램 도출 소프트웨어 위기^[5] 소프트웨어 구조^[6] goto 문 하향식과 상황식 디자인 프로그램 조합 소프트웨어 개발 프로세스에 대한 수학적 접근
수상	튜링상 (1972) 다익스트라 상 (2002)
분야	컴퓨터 과학 이론 전산학
소속	네덜란드 국립 수학 정보과학 연구소 에인트호번 공과대학원 버로스 코퍼레이션 텍사스 대학교 오스틴
박사 지도교수	아드리안 판 베인하르덴(Adriaan van Wijngaarden)
박사 지도학생	바로스 코퍼레이션 마르틴 렘(Martin Rem) 데이비드 나우만(David Naumann) 케이스 헤메릭(Kees Hemerik) 얀 테이먼 위딩(Jan Tijmen Udding) 요하네스 L. A. 판더스넵스회트(Jan L. A. van de Snepscheut) 네티 판 하스테런(Netty van Gasteren)
영향을 받음	아드리안 판 베인하르덴(Adriaan van Wijngaarden)
영향을 줌	찰스 앤터니 리처드 호어^[7] 니클라우스 워스^[8]^[9] 피어 브린치 핸슨(Per Brinch Hansen)^[10] 레슬리 램포트^[11] 데이비드 그리스 데이비드 파나스 슬로미 도리프(Shlomi Dolev) 알렉산더 스테파노프^[12]