맨위로가기

토니 호어

"오늘의AI위키"는 AI 기술로 일관성 있고 체계적인 최신 지식을 제공하는 혁신 플랫폼입니다.
"오늘의AI위키"의 AI를 통해 더욱 풍부하고 폭넓은 지식 경험을 누리세요.
목차

1. 개요

토니 호어는 영국의 컴퓨터 과학자이다. 스리랑카에서 태어나 영국에서 교육을 받았으며, 옥스퍼드 대학교에서 고전 및 철학을 전공하고, 영국 해군에서 복무하며 러시아어를 배웠다. 이후 옥스퍼드 대학교에서 통계학을 공부하며 컴퓨터 프로그래밍을 시작했고, 모스크바 대학교에서 기계 번역을 연구했다. 엘리엇 브라더스에서 ALGOL 60을 구현하고 알고리즘을 개발했으며, 퀸즈 대학교 벨파스트와 옥스퍼드 대학교에서 교수로 재직하며 퀵 정렬, 호어 논리, 통신 순차 프로세스(CSP) 등 컴퓨터 과학 분야에 기여했다. 널 참조의 발명에 대해 "10억 달러짜리 실수"라고 언급하기도 했다. 튜링상, 교토상 등을 수상했으며, 왕립 학회 펠로우, 미국 국립 공학 아카데미 회원 등으로 활동했다.

더 읽어볼만한 페이지

  • 스리랑카에 거주한 영국인 - 잭 처칠
    제2차 세계 대전에서 활, 검, 백파이프를 사용해 "매드 잭"이라는 별명을 얻은 영국군 장교 잭 처칠은 폴란드 침공에서 활로 독일군을 사살하고 여러 전장에서 활약하며 훈장을 받았고, 전후에는 공수부대 교관으로 복무하며 특이한 삶을 살았다.
  • 소련에 거주한 영국인 - R. 팜 덧
    R. 팜 덧은 1896년 영국에서 태어난 공산주의 이론가이자 저술가로, 영국 공산당 창립 멤버로 활동하며 월간 잡지를 창간하고 편집했으며, 소련과 스탈린주의를 옹호하고 파시즘과 사회 혁명에 대한 저서를 남겼다.
  • 모스크바 대학교 - 안드레이 콜모고로프
    안드레이 콜모고로프는 확률론, 난류, 고전 역학 등 다양한 분야에서 업적을 남겼으며, 확률 공간의 공리를 제시하여 현대 확률론의 기초를 다진 러시아의 수학자이다.
  • 모스크바 대학교 - 모스크바 국립 대학교
    모스크바 국립 대학교는 1755년 미하일 로모노소프의 건의와 엘리자베타 페트로브나 여제의 칙령으로 설립되어 러시아 혁명 이전에는 모스크바 제국 대학교로 불렸으며 상트페테르부르크 대학교와 함께 러시아에서 가장 오래된 대학교 중 하나로, 20세기 이후 로모노소프의 이름을 따 현재의 명칭으로 불리며 세계적인 명성을 유지하고 있는 러시아의 대표적인 종합대학교이다.
토니 호어 - [인물]에 관한 문서
기본 정보
본명찰스 앤터니 리처드 호어
출생일1934년 1월 11일
출생지영국령 실론 콜롬보
국적영국
배우자질 핌
자녀3명
거주지영국 케임브리지
학력
학사옥스퍼드 대학교
석사옥스퍼드 대학교
기타모스크바 대학교 (교환 학생)
경력
직업컴퓨터 과학자
근무 기관엘리엇 브라더스
퀸스 대학교 벨파스트
옥스퍼드 대학교
모스크바 대학교
마이크로소프트 리서치
연구 분야
주요 분야컴퓨터 과학
주요 업적퀵 정렬
퀵 셀렉트
호어 논리
널 참조
통신 순차 프로세스 (CSP)
구조적 프로그래밍
ALGOL
수상
수상 내역튜링상 (1980년)
해리 H. 구드 기념상 (1981년)
패러데이 메달 (1985년)
컴퓨터 파이오니어 상 (1990년)
교토상 (2000년)
IEEE 존 폰 노이만 메달 (2011년)
로열 메달 (2023년)
기타왕립 학회 회원
영국 왕립 공학 학술원 회원
영향
지도 학생클리프 존스
빌 로스코
아우구스토 삼파이오
앤드류 P. 블랙
스테판 브룩케
데이비드 나우만
윌리엄 스튜어트
웹사이트
공식 웹사이트토니 호어 공식 웹사이트

2. 생애 및 교육

토니 호어는 영국령 실론의 콜롬보에서 영국인 부모 사이에서 태어났다. 1956년 옥스퍼드 대학교에서 서양 고전학 학사 학위를 취득하고, 1년 더 옥스퍼드 대학교에서 대학원 과정에 해당하는 통계학을 공부했다. 1956년부터 1958년까지 영국 해군에서 군 복무를 한 후, 소비에트 연방의 모스크바 대학교에서 러시아어와 자연어 기계 번역 연구를 시작했다.[13][48]

2. 1. 초기 생애

토니 호어는 실론(현재의 스리랑카) 콜롬보에서 영국인 부모에게서 태어났다. 그의 아버지는 식민지 공무원이었고, 어머니는 차 재배자의 딸이었다. 호어는 영국 옥스퍼드의 드래곤 스쿨과 캔터베리의 킹스 스쿨에서 교육받았다.[11] 그 후 옥스퍼드 대학교 머튼 칼리지에서 고전 및 철학("Greats")을 공부했다.[12] 1956년 졸업 후 18개월 동안 국방 의무를 영국 해군에서 수행했으며,[12] 그곳에서 러시아어를 배웠다.[13] 1958년 옥스퍼드 대학교로 돌아와 통계학 대학원 수료증을 공부했으며,[12] 레슬리 폭스에게 페란티 머큐리에서 오토코드를 배운 후 컴퓨터 프로그래밍을 시작했다.[14] 그 후 영국 문화원 교환 학생으로 모스크바 대학교에 가서 안드레이 콜모고로프 밑에서 기계 번역을 공부했다.[13]

2. 2. 교육 과정

토니 호어는 실론(현재의 스리랑카) 콜롬보에서 영국인 부모에게서 태어났다. 그의 아버지는 식민지 공무원이었고, 어머니는 차 재배자의 딸이었다. 호어는 영국에서 옥스퍼드의 드래곤 스쿨과 캔터베리의 킹스 스쿨에서 교육을 받았다.[11] 그 후 그는 옥스퍼드 대학교의 머튼 칼리지에서 고전 및 철학("Greats")을 공부했다.[12] 1956년에 졸업한 후 18개월 동안 국방 의무를 영국 해군에서 수행했으며,[12] 그곳에서 러시아어를 배웠다.[13] 1958년 옥스퍼드 대학교로 돌아와 통계학에서 대학원 수료증을 공부했으며,[12] 레슬리 폭스에게 페란티 머큐리에서 오토코드를 배운 후 컴퓨터 프로그래밍을 시작했다.[14] 그 후 영국 문화원 교환 학생으로 모스크바 대학교에 가서 안드레이 콜모고로프 밑에서 기계 번역을 공부했다.[13]

2. 3. 군 복무 및 러시아어 학습

토니 호어는 실론(현재의 스리랑카) 콜롬보에서 영국인 부모에게서 태어났다. 1956년 옥스퍼드 대학교를 졸업한 후 18개월 동안 국방 의무를 영국 해군에서 수행했으며,[12] 그곳에서 러시아어를 배웠다.[13] 1958년 옥스퍼드 대학교로 돌아와 통계학 대학원 수료증을 공부했고,[12] 영국 문화원 교환 학생으로 모스크바 대학교에 가서 안드레이 콜모고로프 밑에서 기계 번역을 공부했다.[13]

2. 4. 통계학 및 컴퓨터 프로그래밍 입문

토니 호어는 실론(현재의 스리랑카) 콜롬보에서 영국인 부모에게서 태어났다. 아버지는 식민지 공무원이었고, 어머니는 차 재배자의 딸이었다. 호어는 영국 옥스퍼드의 드래곤 스쿨과 캔터베리의 킹스 스쿨에서 교육받았다.[11] 이후 옥스퍼드 대학교 머튼 칼리지에서 고전 및 철학("Greats")을 공부했다.[12] 1956년 졸업 후 18개월 동안 국방 의무를 영국 해군에서 수행하며 러시아어를 배웠다.[12][13] 1958년 옥스퍼드 대학교로 돌아와 통계학 대학원 수료증을 공부했으며,[12] 레슬리 폭스에게 페란티 머큐리에서 오토코드를 배운 후 컴퓨터 프로그래밍을 시작했다.[14] 그 후 영국 문화원 교환 학생으로 모스크바 대학교에 가서 안드레이 콜모고로프 밑에서 기계 번역을 공부했다.[13]

2. 5. 모스크바 유학

토니 호어는 1958년 옥스퍼드 대학교에서 통계학 대학원 수료증을 취득한 후, 영국 문화원 교환 학생으로 모스크바 대학교에 유학을 갔다.[13] 모스크바 대학교에서 안드레이 콜모고로프에게 기계 번역을 배웠고,[13] 러시아어를 배우면서 자연어의 기계 번역에 대한 연구를 시작했다.[48]

3. 학술 및 연구 경력

호어는 1956년 옥스퍼드 대학교에서 서양 고전학 학사 학위를 취득하고, 대학원 과정으로 통계학을 공부했다.[48] 1956년부터 1958년까지 영국 해군에서 복무했고, 소비에트 연방의 모스크바 대학교에서 러시아어를 배우며 자연어 기계 번역 연구를 시작했다.[48]

그의 주요 연구 업적은 다음과 같다:



2009년 소프트웨어 컨퍼런스에서 호어는 널 참조를 "10억 달러짜리 실수"라고 칭하며 공개적으로 사과했다. 1965년 객체 지향 언어(ALGOL W)에서 참조에 대한 첫 포괄적인 유형 시스템을 설계할 당시, 구현의 용이성 때문에 널 참조를 포함시켰으나, 이로 인해 지난 40년간 수많은 오류, 취약성, 시스템 충돌이 발생했다고 밝혔다.[25][26][27]

3. 1. 엘리엇 브라더스

1960년 소련을 떠나 런던에 위치한 소규모 컴퓨터 제조 회사인 엘리엇 브라더스 주식회사에서 일하기 시작했다.[12] 그곳에서 ALGOL 60 언어를 구현하고 주요 알고리즘을 개발하기 시작했다.[15][16]

3. 2. 국제 표준 활동

1960년, 호어는 소련을 떠나 런던에 있는 소규모 컴퓨터 제조 회사인 엘리엇 브라더스 주식회사에서 일했다.[12] 그는 국제 정보 처리 연맹(IFIP) 워킹 그룹 2.1의 일원으로서 알고리즘 언어 및 계산 분야에 참여했다.[17] 이 워킹 그룹은 ALGOL 60 및 ALGOL 68 언어를 사양하고 유지 관리하며 지원하는 역할을 맡았다.[18]

3. 3. 벨파스트 퀸즈 대학교

1968년, 벨파스트 퀸즈 대학교의 컴퓨팅 과학 교수가 되었다.[19] 그는 1960년에 엘리엇 브라더스라는 작은 컴퓨터 제조 회사에서 일하기 시작하여, ALGOL 60 구현 및 각종 알고리즘 개발에 착수했다.[48]

3. 4. 옥스퍼드 대학교

1977년, 토니 호어는 크리스토퍼 스트래치의 사망 이후 옥스퍼드로 돌아와 옥스퍼드 대학교 컴퓨팅 연구소(현재 옥스퍼드 대학교 컴퓨터 과학과)의 프로그래밍 연구 그룹을 이끌었다.[19] 1988년 이 그룹이 설립된 이래 2000년 옥스퍼드에서 은퇴할 때까지 최초의 크리스토퍼 스트래치 컴퓨팅 교수를 역임했다.[19] 그는 현재 옥스퍼드 대학교의 명예 교수이며, 영국 케임브리지에 있는 마이크로소프트 리서치의 수석 연구원이기도 하다.[20][21][22]

호어가 수년간 이끌었던 옥스퍼드 학과는 CSP 및 Z과 같은 형식적 명세 언어를 연구했다. 그러나 이러한 연구들은 업계에서 예상만큼 널리 채택되지 못했고, 1995년 호어는 원래의 가정을 되돌아보게 되었다.[28]

10 years ago, researchers into formal methods (and I was the most mistaken among them) predicted that the programming world would embrace with gratitude every assistance promised by formalisation to solve the problems of reliability that arise when programs become large and more safety-critical. Programs have now got very large and very critical – well beyond the scale which can be comfortably tackled by formal methods. There have been many problems and failures, but these have nearly always been attributable to inadequate analysis of requirements or inadequate management control. It has turned out that the world just does not suffer significantly from the kind of problem that our research was originally intended to solve.|10년 전, 형식적 방법 연구자(그리고 내가 그들 중 가장 잘못 생각했다)들은 프로그래밍 세계가 프로그램이 커지고 안전에 더 중요해질 때 발생하는 신뢰성 문제를 해결하기 위해 형식화가 약속하는 모든 도움을 감사하게 받아들일 것이라고 예측했다. 현재 프로그램은 매우 커지고 매우 중요해졌으며 형식적 방법으로 편안하게 처리할 수 있는 범위를 훨씬 넘어섰다. 많은 문제와 실패가 있었지만, 이것들은 거의 항상 요구 사항에 대한 부적절한 분석이나 부적절한 관리 통제에 기인했다. 우리가 원래 해결하고자 했던 종류의 문제로 세계가 크게 고통받지 않는다는 것이 밝혀졌다.영어

4. 주요 연구 업적

호어는 퀵 정렬 및 퀵 선택 알고리즘, 호어 논리, 동시 처리 간의 상호 작용을 지정하는 데 사용되는 형식 언어 통신 순차 프로세스(CSP), 모니터(동기화) 개념을 사용한 컴퓨터 운영 체제 구조화, 프로그래밍 언어의 공리적 사양 등 컴퓨터 과학 분야에 중요한 기여를 했다.[23][24]

1965년 널 참조를 발명했고, 2009년 소프트웨어 컨퍼런스에서 "10억 달러짜리 실수"라고 부르며 과장된 어조로 사과했다.[25][26] 그는 이것이 지난 40년 동안 수많은 오류, 취약성 및 시스템 충돌을 일으켜 10억 달러 상당의 고통과 피해를 야기했을 것이라고 추정했다.[27]

호어가 수년간 이끌었던 옥스퍼드 학과는 CSP 및 Z과 같은 형식적 명세 언어를 연구했지만, 업계에서 예상만큼 채택되지 못했고, 1995년 호어는 원래의 가정을 되돌아보게 되었다.[28]

그는 소프트웨어 설계의 어려움에 대해 다음과 같이 말했다.

> "97% 정도의 경우, 작은 효율에 대해서는 생각할 필요가 없다. 성급한 최적화는 만악의 근원이다."

위 인용구는 도널드 커누스의 것으로 알려져 있지만,[50] 커누스 본인은 호어의 말이라고 했고,[51] 호어는 이를 부정하고 있다.[52]

4. 1. 퀵 정렬 및 퀵 선택

엘리엇 브라더스 주식회사(Elliott Brothers Ltd)에서 ALGOL 60을 구현하면서 주요 알고리즘을 개발하기 시작했다.[15][16] 그의 정렬 및 선택 알고리즘에는 퀵 정렬과 퀵 선택이 있다.[23]

4. 2. 호어 논리

호어의 가장 중요한 연구는 그의 정렬 및 선택 알고리즘 (퀵 정렬 및 퀵 선택), 호어 논리, 동시 처리 간의 상호 작용을 지정하는 데 사용되는 형식 언어 통신 순차 프로세스(CSP, occam (프로그래밍 언어)과 같은 다양한 프로그래밍 언어로 구현됨), 모니터(동기화) 개념을 사용한 컴퓨터 운영 체제 구조화, 프로그래밍 언어의 공리적 사양이다.[23][24]

4. 3. 통신 순차 프로세스 (CSP)

호어의 가장 중요한 연구는 퀵 정렬 및 퀵 선택 알고리즘, 호어 논리, 동시 처리 간의 상호 작용을 지정하는 데 사용되는 형식 언어 통신 순차 프로세스(CSP, occam (프로그래밍 언어)과 같은 다양한 프로그래밍 언어로 구현됨), 모니터(동기화) 개념을 사용한 컴퓨터 운영 체제 구조화, 프로그래밍 언어의 공리적 사양 등이다.[23][24]

호어가 수년간 이끌었던 옥스퍼드 학과는 CSP 및 Z과 같은 형식적 명세 언어를 연구했다. 그러나 이것들은 업계에서 예상한 만큼 채택되지 못했고, 1995년 호어는 원래의 가정을 되돌아보게 되었다.[28]

4. 4. 모니터 (동기화)

호어의 가장 중요한 연구 중 하나는 모니터(동기화) 개념을 사용한 컴퓨터 운영 체제 구조화이다.[23]

4. 5. 프로그래밍 언어의 공리적 사양

호어는 프로그래밍 언어의 공리적 사양에 대한 중요한 연구를 수행했다.[23][24]

4. 6. 널 참조 (Null Reference)

1965년, 토니 호어는 객체 지향 언어인 ALGOL W에서 참조를 위한 포괄적인 형식 시스템을 설계하면서 널 참조를 발명했다. 그의 목표는 컴파일러의 자동 검사를 통해 모든 참조 사용의 안전성을 보장하는 것이었지만, 구현이 쉽다는 이유로 널 참조를 포함시켰다.[27]

2009년 소프트웨어 컨퍼런스에서 토니 호어는 널 참조를 발명한 것에 대해 "10억 달러짜리 실수"라고 부르며 공개적으로 사과했다. 그는 널 참조가 지난 40년 동안 수많은 오류, 취약성 및 시스템 충돌을 일으켜 10억 달러에 달하는 피해를 초래했을 것이라고 추정했다.[27][25][26]

5. 수상 및 영예

연도수상 및 영예
1973ACM 프로그래밍 시스템 및 언어 논문상 ("데이터 표현의 정확성 증명" 논문)[30][31]
1978영국 컴퓨터 학회 명예 펠로우
1980"프로그래밍 언어의 정의 및 설계에 대한 근본적인 기여"로 튜링상 수상. 테네시주 내슈빌에서 열린 ACM 연례 회의에서 시상 위원회 의장인 월터 칼슨이 상을 수여. 수상 연설록[32]은 ACM 통신에 게재.[15]
1981해리 H. 구드 기념상
1982왕립 학회 펠로우[33]
1985패러데이 메달
1987벨파스트 퀸스 대학교 명예 과학 박사 학위
1993배스 대학교 명예 과학 박사 학위[34]
1998옥스퍼드 켈로그 칼리지 명예 펠로우[35]
2000교육 및 컴퓨터 과학 발전에 대한 공로로 기사 작위 수여 (2000년)
2000교토상 정보 과학 부문
2005왕립 공학 아카데미 펠로우[36]
2006미국 국립 공학 아카데미 회원 (알고리즘, 운영 체제 및 프로그래밍 언어 분야의 컴퓨터 과학에 대한 근본적인 기여)
2006컴퓨터 역사 박물관 (CHM) 펠로우, "퀵 정렬 알고리즘 개발 및 프로그래밍 언어 이론에 대한 평생 기여"[37]
2007헤리엇-와트 대학교 명예 박사 학위[38]
2007아테네 경제 및 비즈니스 대학교 (AUEB) 정보학부 명예 과학 박사 학위
2007프리드리히 L. 바우어 상, 뮌헨 공과대학교[39]
2011SIGPLAN 프로그래밍 언어 업적상[40]
2011IEEE 존 폰 노이만 메달[41]
2012바르샤바 대학교 명예 박사 학위[42]
2013마드리드 콤플루텐세 대학교 명예 박사 학위[43]
2023왕립 학회 로열 메달[44]


6. 저서


  • 올레-요한 달, 에츠허르 데이크스트라와 공저, ''구조적 프로그래밍'' (Academic Press, 1972). ISBN 0-12-200550-3.
  • ''통신 순차 프로세스'' (Prentice Hall 국제 컴퓨터 과학 시리즈, 1985). ISBN 978-0131532717 (하드백), ISBN 978-0131532892 (페이퍼백). (http://www.usingcsp.com/ 에서 PDF 형식으로 온라인 이용 가능.)
  • C. B. 존스 편집, ''컴퓨팅 과학 에세이'' (Prentice Hall 국제 컴퓨터 과학 시리즈, 1989). ISBN 978-0-13-284027-9.
  • 마이클 J. C. 고든과 공저, ''기계화된 추론과 하드웨어 설계'' (Prentice Hall 국제 컴퓨터 과학 시리즈, 1992). ISBN 978-0-13-572405-7.
  • 허 지펑과 공저, ''프로그래밍의 통합 이론'' (Prentice Hall 국제 컴퓨터 과학 시리즈, 1998). ISBN 978-0-13-458761-5.

참조

[1] MathGenealogy
[2] 학위논문 An algebraic approach to compiler design http://solo.bodleian[...] University of Oxford 1993
[3] 서적 Theories of Programming: The Life and Works of Tony Hoare Association for Computing Machinery 2021
[4] 웹사이트 Sir Antony Hoare http://www.computerh[...] Computer History Museum 2015-04-22
[5] ACMPortal
[6] DBLP
[7] AcademicSearch
[8] 학술지 Interview: An interview with C.A.R. Hoare
[9] 학술지 Monitors: An operating system structuring concept
[10] 보고서 Oral History of Sir Antony Hoare http://www.computerh[...] Computer History Museum 2014-04-18
[11] 웹사이트 Professor Sir Tony Hoare http://sounds.bl.uk/[...] British Library 2014-09-15
[12] 서적 Merton College Register 1900-1964 Basil Blackwell 1964
[13] 학술지 My Early Days at Elliotts http://www.cs.man.ac[...] 2014-05-27
[14] 서적 Reflections on the Work of C.A.R. Hoare Springer Science+Business Media
[15] 학술지 The emperor's old clothes 1981-02
[16] 학술지 The emperor's old clothes
[17] 웹사이트 Profile of IFIP Working Group 2.1 https://ifipwg21wiki[...] 2020-10-07
[18] 웹사이트 ScopeEtc: IFIP21: Foswiki https://ifipwg21wiki[...] 2020-10-07
[19] 웹사이트 Christopher Strachey Professorship of Computing https://www.cs.ox.ac[...] Department of Computer Science, University of Oxford 2024-01-18
[20] 웹사이트 Microsoft home page https://web.archive.[...]
[21] Oral history Oral history interview with C. A. R. Hoare http://purl.umn.edu/[...] Charles Babbage Institute, University of Minnesota, Minneapolis
[22] 문서 The classic article on monitors https://doi.org/10.1[...]
[23] 웹사이트 Preface to the ACM Turing Award lecture http://awards.acm.or[...]
[24] 웹사이트 C. Antony (Tony) R. Hoare https://amturing.acm[...]
[25] 웹사이트 Null References: The Billion Dollar Mistake http://www.infoq.com[...] InfoQ.com 2009-08-25
[26] 웹사이트 Null: The Billion Dollar Mistake https://maximilianoc[...] hashnode.com 2020-09-03
[27] Presentation abstract Null References: The Billion Dollar Mistake http://qconlondon.co[...] QCon London 2009
[28] 컨퍼런스 Unification of Theories: A Challenge for Computing Science Springer-Verlag 1996
[29] Magazine article Tony Hoare @ 90 https://www.bcs.org/[...] Formal Aspects of Computing Science 2024-07-02
[30] 웹사이트 ACM Programming Systems and Languages Paper Award https://awards.acm.o[...] Association for Computing Machinery 2022-07-07
[31] 학술지 Proof of correctness of data representations https://dl.acm.org/d[...]
[32] 웹사이트 The Emperor's Old Clothes: The 1980 ACM Turing Award Lecture http://awards.acm.or[...] Association for Computing Machinery 1980-10-27
[33] 웹사이트 Anthony Hoare FRS https://royalsociety[...] Royal Society
[34] 웹사이트 Honorary Graduates 1989 to present http://www.bath.ac.u[...] University of Bath 2012-02-18
[35] 웹사이트 (Charles) Antony Richard (Tony) Hoare Biography http://www.debretts.[...]
[36] 웹사이트 List of Fellows https://web.archive.[...] 2014-10-17
[37] 웹사이트 Sir Antony Hoare: 2006 Fellow https://web.archive.[...] 2020-03-08
[38] 웹사이트 Annual Review 2007: Principal's Review https://web.archive.[...] 2016-03-29
[39] 웹사이트 Preisverleihung auf der Festveranstaltung "40 Jahre Informatik in München": TU München vergibt Friedrich L. Bauer-Preis an Tony Hoare https://web.archive.[...] Technical University of Munich 2007-10-26
[40] 웹사이트 Programming Languages Achievement Award 2011 http://www.sigplan.o[...] ACM 2012-08-28
[41] 웹사이트 IEEE John von Neumann Medal Recipients https://ghostarchive[...] IEEE 2011-02-26
[42] 웹사이트 Profesor Hoare doktorem honoris causa Uniwersytetu Warszawskiego https://web.archive.[...] University of Warsaw 2012-11-15
[43] 웹사이트 Los informáticos Tony Hoare y Mateo Valero serán investidos hoy doctores honoris causa por la Complutense http://www.emes.es/A[...] 2013-05-10
[44] 웹사이트 Royal Medal 2023 https://royalsociety[...]
[45] 서적 Reflections on the Work of C.A.R. Hoare https://archive.org/[...] Springer Science 2010
[46] 뉴스 Birthdays Jan 10 http://www.timesonli[...] The Times 2009-01-10
[47] 문서 厳密にはCSPには2種類あり、こんにちこの専門分野で一般に言われているCSPは、TCSP（Theoretical CSP）などとも言われる、1985年の書籍で形式的な理論が展開されたものを指す。[[Occam]]への影響は、そちらが全てではなく、1978年にACMの学会誌CACMに掲載されたもの（Communications of the ACM 21(8), pp.666-677 (Aug.1978)、タイトルは書籍と同じ「 Communicating Sequential Processes」）からの影響もある。
[48] 논문 The emperor's old clothes http://portal.acm.or[...]
[49] 웹사이트 ACM Turing Award citation http://awards.acm.or[...]
[50] 논문 Structured Programming with Goto Statements http://pplab.snu.ac.[...] 1974
[51] 문서 The Errors of Tex
[52] 웹사이트 a 2004 email http://hans.gerwitz.[...]
[53] 간행물 Unification of Theories: A Challenge for Computing Science Springer-Verlag 1996
[54] 웹사이트 Null References: The Billion Dollar Mistake http://qconlondon.co[...] 2009-03-09
[55] 웹사이트 Null References: The Billion Dollar Mistake http://www.infoq.com[...] InfoQ.com 2009-08-25
[56] 웹사이트 The Emperor's Old Clothes / The 1980 ACM Turing Award Lecture http://awards.acm.or[...] Association for Computing Machinery 1980-10-27
[57] 웹사이트 Fellows http://royalsociety.[...] Royal Society 2010-11-20
[58] 웹사이트 Honorary Graduates 1989 to present http://www.bath.ac.u[...] University of Bath 2012-02-18
[59] 웹사이트 IEEE John von Neumann Medal Recipients http://www.ieee.org/[...] IEEE 2011-02-26
[60] 웹사이트 Antony Hoare https://royalsociety[...] Royal Society
[61] 문서 MathGenealogy
[62] 웹인용 Sir Antony Hoare 2006 Fellow https://web.archive.[...] 2016-09-17
[63] 웹인용 List of Fellows https://web.archive.[...] 2016-09-17


본 사이트는 AI가 위키백과와 뉴스 기사,정부 간행물,학술 논문등을 바탕으로 정보를 가공하여 제공하는 백과사전형 서비스입니다.
모든 문서는 AI에 의해 자동 생성되며, CC BY-SA 4.0 라이선스에 따라 이용할 수 있습니다.
하지만, 위키백과나 뉴스 기사 자체에 오류, 부정확한 정보, 또는 가짜 뉴스가 포함될 수 있으며, AI는 이러한 내용을 완벽하게 걸러내지 못할 수 있습니다.
따라서 제공되는 정보에 일부 오류나 편향이 있을 수 있으므로, 중요한 정보는 반드시 다른 출처를 통해 교차 검증하시기 바랍니다.

문의하기 : help@durumis.com