[[http://noorderlicht.vpro.nl/wetenschap/index.shtml?3626936+2848322+2897441+3502225|'Denken als discipline' 독일 공영TV]] * http://www.cs.utexas.edu/users/EWD/ * http://www.cs.utexas.edu/users/EWD/indexEWDnums.html - Dijkstra 의 컬럼들을 읽을 수 있는 곳. * [[http://www.cs.utexas.edu/users/EWD/ewd02xx/EWD227.PDF|StepwiseProgramConstruction]] [구조적프로그래밍] http://www.acm.org/classics/dec95/ * [[http://www.cs.utexas.edu/users/EWD/ewd03xx/EWD340.PDF|TheHumbleProgrammer]] * [[http://www.cs.utexas.edu/users/EWD/ewd05xx/EWD594.PDF]|[Burnhard]]가 추천 * [[http://cs.sungshin.ac.kr/~dkim/dop-preface.html|A Discipline programming]] [Burnhard]가 추천 - http://books.regehr.org/reviews/disciplineofprogramming.html ---- ==== 다익스트라의 프로그래밍의 수련(修練) ==== [[http://plas.hyu.ac.kr/sigpl/2003/1/17-1-01-%C6%AF%BA%B0%B1%E2%B0%ED-%B1%E8%B5%B5%C7%FC.pdf|프로그래밍언어연구회 논문집 다익스트라 특별기고]] [[http://cs.sungshin.ac.kr/~dkim/|김도형 교수]]의 [[http://sigpl.or.kr/|정보과학회]]지 연재 [[http://plas.hyu.ac.kr/sigpl/1998/1/12-1-05-튜토리얼-김도형1.pdf|프로그래밍의 수련]] [[http://cs.sungshin.ac.kr/~dkim/dop-chapter0.html|0장. 수행의 추상화]] [[http://plas.hyu.ac.kr/sigpl/1998/2/12-2-03-튜토리얼-김도형2.pdf|두 번째, 프로그래밍 언어의 역할, 상태와 그 특성의 규정 그리고 의미의 규정]] [[http://plas.hyu.ac.kr/sigpl/1999/1/13-1-01-튜토리얼-김도형3.pdf|세 번째, 프로그래밍 언어의 의미규정]] [[http://plas.hyu.ac.kr/sigpl/1999/2/13-2-02-튜토리얼-김도형4.pdf|네 번째, 프로그래밍 언어의 의미규정]] [[http://plas.hyu.ac.kr/sigpl/2000/2/14-2-07-튜토리얼-김도형5.pdf|다섯 번째, 프로그래밍 언어의 의미규정 II ]] [[http://plas.hyu.ac.kr/sigpl/2002/1/16-1-05-튜토리얼-김도형.pdf|여섯 번째, 두 개의 정리]] [[http://plas.hyu.ac.kr/sigpl/2002/2/16-2-05-튜토리얼-김도형7.pdf|일곱 번째, 적절히 종료하는 구조의 설계에 대하여]] [[http://plas.hyu.ac.kr/sigpl/2003/1/17-1-01-튜토리얼-김도형.pdf|여덟 번째, 유클리드 알고리즘의 재고찰(再考察)]] [[http://plas.hyu.ac.kr/sigpl/2003/2/17-2-02-튜토리얼-김도형.pdf|여덟 번째, 유클리드 알고리즘의 재고찰(再考察)-2 ]] [[http://plas.hyu.ac.kr/sigpl/2004/1/18-1-01-튜토리얼-김도형.pdf|아홉 번째, 몇 가지 작은 예제들의 정형적 처리]] [[http://plas.hyu.ac.kr/sigpl/2004/2/18-2-01-%C6%A9%C5%E4%B8%AE%BE%F3-%B1%E8%B5%B5%C7%FC.pdf|열 번째, 몇 가지 작은 예제들의 정형적 처리 - II]] [[http://plas.hyu.ac.kr/sigpl/2005/1/19-1-01-%C6%A9%C5%E4%B8%AE%BE%F3-%B1%E8%B5%B5%C7%FC.pdf|열한 번째, 몇가지 작은 예제들의 정형적 처리-III]] ---- http://youtube.com/user/smpusr EdsgerDijkstra from youtube