에츠虛르 데이크스트라
Edsger Wybe Dijkstra
|
에츠虛르 데이크스트라(2002)
|
出生
|
1930年 5月 11日
(
1930-05-11
)
네덜란드
로테르담
|
死亡
|
2002年 8月 6日
(
2002-08-06
)
(72歲)
네덜란드
뉘넌
|
主要 業績
|
|
受賞
|
|
分野
|
|
所屬
|
|
博士 敎授
|
아드리안 판 베인下르덴
(Adriaan van Wijngaarden)
|
博士 學生
|
|
影響을 받음
|
|
影響을 줌
|
|
에츠虛르 비버 데이크스트라
(
네덜란드語
:
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."
外部 링크
[
編輯
]
|
---|
1960年代
| |
---|
1970年代
| |
---|
1980年代
| |
---|
1990年代
| |
---|
2000年代
| |
---|
2010年代
| |
---|
2020年代
| |
---|
|
---|
分野
| |
---|
槪念
| |
---|
志向
| |
---|
모델
| |
---|
소프트웨어
엔지니어
| |
---|
關聯 分野
| |
---|
|