튜링상
보이기
| ACM 튜링상 ACM Turing Award | |
|---|---|
이 상의 이름이 된 앨런 튜링의 동상 | |
| 수상 대상 | 컴퓨터 과학에 대한 뛰어난 공헌 |
| 나라 | 미국 |
| 진행 | ACM |
| 상금 | US$1,000,000[1] |
| 첫 시상 | 1966년 |
| 웹사이트 | amturing |
튜링상(영어: Turing Award, 튜링 어워드)은 ACM이 컴퓨터 과학 분야에서 지속적이고 중요한 기술적 공헌을 한 사람에게 매년 수여하는 상이다. 일반적으로 컴퓨터 과학 분야에서 가장 높은 영예로 인정되며 종종 "컴퓨팅의 노벨상"으로 불린다. 2025년 기준으로 79명이 이 상을 수상했으며, 가장 최근 수상자는 2024년에 수상한 앤드루 바토와 리치 서튼이다.[2][3][4][5][6]
이 상은 "컴퓨터 과학의 아버지"로 불리는 영국의 수학자이자 맨체스터 대학교의 수학 강사였던 앨런 튜링의 이름을 따서 지어졌다. 튜링은 종종 이론 컴퓨터 과학과 인공지능의 창시자로 인정받으며,[7] 제2차 세계 대전 중 에니그마 암호의 연합국 암호 해독에 핵심적인 공헌을 했다.[8] 2007년부터 2013년까지 이 상에는 인텔과 구글의 재정 지원으로 US$250,000의 상금이 수여되었다.[2][9] 2014년부터는 구글의 재정 지원으로 US$1백만 달러의 상금이 수여되고 있다.[1][10]
1966년의 첫 수상자는 앨런 펄리스였다. 최연소 수상자는 1974년 36세의 나이로 수상한 도널드 커누스였으며,[11] 최고령 수상자는 2020년 79세의 나이로 수상한 앨프리드 에이호였다.[12] 여성 수상자는 프랜시스 앨런 (2006년),[13] 바바라 리스코프 (2008년),[14] 샤피 골드와서 (2012년) 세 명뿐이다.[15]
수상자
[편집]| 연도 | 수상자 | 사진 | 선정 이유 | 소속 기관 |
|---|---|---|---|---|
| 1966 | 앨런 펄리스 | "고급 컴퓨터 프로그래밍 기술 및 컴파일러 구성 분야에 기여한 공로"[16][17] | 카네기 멜런 대학교 | |
| 1967 | 모리스 윌크스 | "내부 저장 프로그램을 가진 두 번째 컴퓨터인 에드삭의 구축자이자 설계자"로서의 공헌과 프로그램 라이브러리 소개(데이비드 휠러(David Wheeler)와 스탠리 길(Stanley Gill)과 함께) 공로[18][19] | 케임브리지 대학교 | |
| 1968 | 리처드 해밍 | "수치해석학 방법, 자동 코딩 시스템, 오류 검출 및 정정 코드에 대한 연구 공로"[20][21] | 루이빌 대학교 벨 연구소 | |
| 1969 | 마빈 민스키 | "인공지능 분야를 창조, 형성, 홍보 및 발전시키는 데 핵심적인 역할 공로"[22][23] | 매사추세츠 공과대학교 | |
| 1970 | 제임스 H. 윌킨슨 | "고속 디지털 컴퓨터 사용을 용이하게 하는 수치해석학 연구 공로, 특히 선형대수학 계산 및 '역방향' 오류 분석 작업에 대한 특별한 인정 공로"[24][25] | 국립 물리학 연구소 | |
| 1971 | 존 매카시 | 맥카시의 "인공지능 연구의 현재 상태" 강연 인용[26][27] | 스탠퍼드 대학교 | |
| 1972 | 에츠허르 데이크스트라 | "프로그래밍을 높은 지적 도전으로 만든 근본적인 공헌; 프로그램이 올바르게 구성되어야 하며 단순히 디버깅으로 올바르게 만들어서는 안 된다는 설득력 있는 주장과 실용적인 시연; 프로그램 설계의 기본 문제에 대한 통찰력 있는 인식 공로"[28][29] | 네덜란드 국립수리컴퓨터과학 연구소 에인트호번 공과대학교 텍사스 대학교 오스틴 | |
| 1973 | 찰스 바크먼 | "데이터베이스 기술에 대한 탁월한 공헌 공로"[30][31] | General Electric Research Laboratory (현재 아토스 소속 그룹 불 산하) | |
| 1974 | 도널드 커누스 | "알고리즘 분석 및 프로그래밍 언어 설계에 대한 주요 공헌, 특히 그의 유명한 연속 시리즈 서적인 '컴퓨터 프로그래밍의 예술'을 통한 공헌 공로"[32][33] | 캘리포니아 공과대학교 국방 분석 연구소 통신 및 컴퓨팅 센터 스탠퍼드 대학교 | |
| 1975 | 앨런 뉴얼 | J. C. 쇼(J. C. Shaw) 및 다른 연구자들과의 협력으로 "인공지능, 인간 인식 심리학, 리스트 처리에 대한 근본적인 공헌" 공로.[34][35][36] | 랜드 연구소 카네기 멜런 대학교 | |
| 허버트 사이먼 | ||||
| 1976 | 미하엘 라빈 | "비결정론적 유한 상태 기계의 개념을 도입한 공동 논문 '유한 오토마타와 그 결정 문제'(Finite Automata and Their Decision Problem)[37] 공로"[38][39][40][41] | 프린스턴 대학교 | |
| 데이나 스콧 | 시카고 대학교 | |||
| 1977 | 존 배커스 | "특히 포트란에 대한 연구를 통해 실용적인 고급 프로그래밍 시스템 설계에 깊고 영향력 있으며 지속적인 공헌을 했고, 프로그래밍 언어 사양을 위한 형식 절차를 창시적으로 발표한 공로"[42][43] | IBM | |
| 1978 | 로버트 W. 플로이드 | "효율적이고 신뢰할 수 있는 소프트웨어 생성을 위한 방법론에 명확한 영향을 미쳤으며, 컴퓨터 과학의 중요한 하위 분야인 구문 분석 이론, 프로그래밍 언어의 의미론, 자동 프로그램 검증, 자동 프로그래밍, 알고리즘 분석을 정립하는 데 기여한 공로"[44][45] | 카네기 멜런 대학교 스탠퍼드 대학교 | |
| 1979 | 케네스 아이버슨 | "프로그래밍 언어 및 수학적 표기법 분야에서 선구적인 노력을 통해 현재 컴퓨팅 분야에서 APL로 알려진 것을 만들어냈고, 대화형 시스템 구현, APL의 교육적 활용, 프로그래밍 언어 이론 및 실습에 기여한 공로"[46][47] | IBM | |
| 1980 | 토니 호어 | "프로그래밍 언어의 정의 및 설계에 대한 근본적인 공헌 공로"[48][49] | 퀸스 대학교 벨파스트 옥스퍼드 대학교 | |
| 1981 | 에드거 F. 코드 | "데이터베이스 관리 시스템의 이론과 실제에 대한 근본적이고 지속적인 공헌 공로"[50][51] | IBM | |
| 1982 | 스티븐 쿡 | "컴퓨팅 복잡도 이해를 중요하고 심오한 방식으로 발전시킨 공로"; 특히 그의 논문 "정리 증명 절차의 복잡도(The Complexity of Theorem Proving Procedures)"는 NP-완전 이론을 창시한 것으로 인정받는다.[52][53] | 토론토 대학교 | |
| 1983 | 데니스 리치 | "범용 운영체제 이론 개발과 특히 유닉스 운영체제 구현 공로"[54][55] | 벨 연구소 | |
| 켄 톰프슨 | ||||
| 1984 | 니클라우스 비르트 | "혁신적인 컴퓨터 언어인 EULER, 알골 W, 모듈라, PASCAL 개발 공로"[56] | 스탠퍼드 대학교 취리히 대학교 취리히 연방 공과대학교 | |
| 1985 | 리처드 M. 카프 | "네트워크 플로우 및 기타 조합 최적화 문제에 대한 효율적인 알고리즘 개발, 다항 시간 계산 가능성과 알고리즘 효율성의 직관적 개념 동일시, 그리고 특히 NP-완전 이론에 대한 공헌을 포함한 알고리즘 이론에 대한 지속적인 공헌 공로"[57] | 캘리포니아 대학교 버클리 | |
| 1986 | 존 홉크로프트 | "알고리즘 및 자료 구조 설계 및 분석 분야의 근본적인 업적 공로"[58][59] | 코넬 대학교 | |
| 로버트 타잔 | 스탠퍼드 대학교 코넬 대학교 캘리포니아 대학교 버클리 프린스턴 대학교 | |||
| 1987 | 존 코크 | "컴파일러 설계 및 이론, 대규모 시스템 아키텍처, 축소 명령어 집합 컴퓨터(RISC) 개발에 중요한 공헌을 했으며, 강도 감소, 공통 부분식 제거, 레지스터 할당, 상수 전파, 죽은 코드 제거 등 현재 최적화 컴파일러에서 사용되는 많은 근본적인 변환을 발견하고 체계화한 공로"[60] | IBM | |
| 1988 | 아이번 서덜랜드 | "스케치패드를 시작으로 이후로도 계속된 컴퓨터 그래픽스에 대한 선구적이고 비전적인 공헌 공로"[61] | 스탠퍼드 대학교 하버드 대학교 유타 대학교 캘리포니아 공과대학교 | |
| 1989 | 윌리엄 카한 | "수치해석학에 대한 근본적인 공헌"과 "부동소수점 계산 분야의 최고 전문가 중 한 명"으로서의 공로[62] | 캘리포니아 대학교 버클리 | |
| 1990 | 페르난도 J. 코바토 | "범용 대규모 시분할 시스템 및 자원 공유 컴퓨터 시스템인 호환 시분할 시스템과 멀틱스의 개념을 조직하고 개발을 주도한 선구적인 작업 공로"[63] | 매사추세츠 공과대학교 | |
| 1991 | 로빈 밀너 | 수상 인용문은 그의 세 가지 주요 공헌을 언급한다: 계산 가능 함수 논리의 기계화; 자료형 추론 및 자료형 안전을 포함한 프로그래밍 언어 ML; 통신 시스템 미적분학; 그리고 동작적 의미론과 표시적 의미론 의미론 사이의 연결성[64][65] | 스탠퍼드 대학교 에든버러 대학교 | |
| 1992 | 버틀러 램슨 | "분산 개인 컴퓨팅 환경 개발 및 구현 기술(워크스테이션, 컴퓨터 네트워크, 운영체제, 프로그래밍 시스템, 디스플레이, 보안 및 문서 출판)에 기여한 공로"[66] | PARC DEC | |
| 1993 | 유리스 하르트마니스 | "계산 복잡도 이론 분야의 토대를 마련한 그들의 선구적인 논문[67]을 인정하여"[68][69][70] | General Electric Research Laboratory (현재 아토스 소속 그룹 불 산하) | |
| 리처드 E. 스턴스 | ||||
| 1994 | 에드워드 파이겐바움 | "대규모 인공지능 시스템의 설계 및 구축을 개척하고, 인공지능 기술의 실용적 중요성과 잠재적 상업적 영향력을 입증한 공로"[71][72][73] | 스탠퍼드 대학교 | |
| 라지 레디 | 스탠퍼드 대학교 카네기 멜런 대학교 | |||
| 1995 | 마누엘 블룸 | "계산 복잡도 이론의 기초와 그것의 암호학 및 프로그램 검사에 대한 응용에 기여한 공로"[74] | 캘리포니아 대학교 버클리 | |
| 1996 | 아미르 프누엘리 | "컴퓨팅 과학에 시간 논리를 도입한 선구적인 연구와 프로그램 및 시스템 검증에 대한 탁월한 공헌 공로"[75] | 스탠퍼드 대학교 텔아비브 대학교 바이츠만 과학 연구소 쿠란트 수학 과학 연구소 | |
| 1997 | 더글러스 엥겔바트 | "대화형 컴퓨팅의 미래에 대한 영감적인 비전과 이 비전을 실현하는 데 도움이 된 핵심 기술 발명 공로"[76] | SRI 인터내셔널 팀셰어 맥도널 더글러스 부트스트랩 연구소/연합,[77] 더그 엥겔바트 연구소 | |
| 1998 | 짐 그레이 | "데이터베이스 및 트랜잭션 처리 연구에 대한 선구적인 공헌과 시스템 구현 분야의 기술 리더십 공로"[78] | IBM 마이크로소프트 | |
| 1999 | 프레더릭 브룩스 | "컴퓨터 구조, 운영체제, 소프트웨어 공학에 대한 획기적인 공헌 공로"[79] | IBM 노스캐롤라이나 대학교 채플힐 | |
| 2000 | [[야오치즈 {{{성}}}|야오치즈 {{{성}}}]] | ![]() |
"유사난수 생성의 복잡성 기반 이론, 암호학, 통신 복잡도를 포함한 계산 이론에 대한 근본적인 공헌 공로"[80] | 스탠퍼드 대학교 캘리포니아 대학교 버클리 프린스턴 대학교 |
| 2001 | 올레요한 달 | "프로그래밍 언어 시뮬라 I 및 시뮬라 67 설계를 통해 객체 지향 프로그래밍 출현의 근간이 된 아이디어 공로"[81][82] | 노르웨이 컴퓨팅 센터 오슬로 대학교 | |
| 크리스텐 뉘가르드 | ||||
| 2002 | 레너드 애들먼 | "공개 키 암호 방식을 실제로 유용하게 만든 그들의 독창적인 공헌 공로"[83][84][85] | 서던캘리포니아 대학교 | |
| 로널드 리베스트 | 매사추세츠 공과대학교 | |||
| 아디 샤미르 | ||||
| 2003 | 앨런 케이 | "현대 객체 지향 프로그래밍 언어의 근간이 되는 많은 아이디어를 개척하고, 스몰토크를 개발한 팀을 이끌었으며, 개인 컴퓨팅에 근본적인 공헌을 한 공로"[86] | 유타 대학교 PARC 스탠퍼드 대학교 아타리 애플 ATG 월트 디즈니 이미지니어링 뷰포인트 연구소 HP 연구소 | |
| 2004 | 빈트 서프 | "인터넷의 기본 통신 프로토콜인 TCP/IP의 설계 및 구현을 포함한 인터네트워킹에 대한 선구적인 연구와 네트워킹 분야의 영감적인 리더십 공로"[87][88] | 캘리포니아 대학교 로스앤젤레스 스탠퍼드 대학교, 방위고등연구계획국 MCI 커뮤니케이션즈 (현재 버라이즌 커뮤니케이션스 소속) CNRI, 구글 | |
| 로버트 칸 | 매사추세츠 공과대학교 볼트 베라넥 앤 뉴먼 방위고등연구계획국 CNRI | |||
| 2005 | 페테르 나우르 | "프로그래밍 언어 설계 및 알골 60 정의, 컴파일러 설계, 컴퓨터 프로그래밍의 예술 및 실천에 대한 근본적인 공헌 공로"[89] | Regnecentralen (현재 후지쯔 소속) 코펜하겐 대학교 | |
| 2006 | 프랜시스 앨런 | "현대 최적화 컴파일러와 자동 병렬 실행의 기반을 마련한 최적화 컴파일러 기술의 이론과 실제에 대한 선구적인 공헌 공로"[90] | IBM | |
| 2007 | 에드먼드 M. 클라크 | "모델 검증을 하드웨어 및 소프트웨어 산업에서 널리 채택되는 매우 효과적인 검증 기술로 발전시키는 데 기여한 공로"[91][92][93][94] | 하버드 대학교 카네기 멜런 대학교 | |
| E. 앨런 에머슨 | 하버드 대학교 텍사스 대학교 오스틴 | |||
| 조지프 시파키스 | CNRS | |||
| 2008 | 바바라 리스코프 | "데이터 추상화, 장애 허용 시스템, 분산 컴퓨팅과 관련된 프로그래밍 언어 및 시스템 설계의 실용적이고 이론적인 기초에 기여한 공로"[14] | 매사추세츠 공과대학교 | |
| 2009 | 찰스 P. 새커 | "최초의 현대 개인용 컴퓨터인 제록스 알토의 선구적인 설계 및 실현과 이더넷을 포함한 근거리 통신망, 다중 프로세서 워크스테이션, 스누핑 캐시 일관성 프로토콜, 태블릿 컴퓨터에 대한 선구적인 발명 및 공헌 공로"[95] | PARC DEC 마이크로소프트 연구 | |
| 2010 | 레슬리 밸리언트 | ![]() |
"계산 이론에 대한 혁신적인 공헌, 특히 확실히 대략적으로 올바른 학습(PAC 학습) 이론, 열거 및 대수적 계산의 복잡성, 병렬 및 분산 컴퓨팅 이론에 대한 공헌 공로"[96] | 하버드 대학교 |
| 2011 | 주데아 펄 | "확률적 및 인과적 추론을 위한 계산법 개발을 통해 인공지능에 근본적인 공헌을 한 공로"[97][98] | 캘리포니아 대학교 로스앤젤레스 뉴저지 공과 대학 | |
| 2012 | 샤피 골드와서 | "암호학 과학을 위한 복잡성 이론적 기초를 마련하고, 그 과정에서 복잡성 이론에서 수학적 증명의 효율적인 검증을 위한 새로운 방법을 개척한 혁신적인 연구 공로"[15][99][100] | 매사추세츠 공과대학교 바이츠만 과학 연구소 | |
| 실비오 미칼리 | 매사추세츠 공과대학교 | |||
| 2013 | 레슬리 램포트 | "인과관계 및 논리 시계, 안전성과 활성성, 복제 상태 머신, 순차 일관성과 같은 개념 발명을 통해 분산 및 동시 시스템의 이론과 실제에 근본적인 공헌을 한 공로"[101][102][103] | 매사추세츠 컴퓨터 어소시에이츠 (현재 Essig PLM 소속) SRI 인터내셔널 DEC 컴팩 (현재 HP 소속) 마이크로소프트 연구 | |
| 2014 | 마이클 스톤브레이커 | "현대 데이터베이스 시스템의 개념과 실제에 대한 근본적인 공헌 공로"[104][105] | 캘리포니아 대학교 버클리 매사추세츠 공과대학교 | |
| 2015 | 휫필드 디피 | "디지털 서명에 대한 응용을 포함한 비대칭 공개 키 암호 방식과 실용적인 암호화 키 교환 방법 발명 및 보급 공로"[106][107][108] | 스탠퍼드 대학교 | |
| 마틴 헬먼 | ||||
| 2016 | 팀 버너스리 | "월드 와이드 웹, 최초의 웹 브라우저, 웹 확장을 가능하게 하는 근본적인 프로토콜 및 알고리즘 발명 공로"[109] | 유럽 입자 물리 연구소 매사추세츠 공과대학교 월드 와이드 웹 컨소시엄 | |
| 2017 | 존 L. 헤네시 | "마이크로프로세서 산업에 지속적인 영향을 미친 컴퓨터 아키텍처 설계 및 평가에 대한 체계적이고 정량적인 접근 방식을 개척한 공로"[110][111][112] | 스탠퍼드 대학교 | |
| 데이비드 패터슨 | 캘리포니아 대학교 버클리 | |||
| 2018 | 요슈아 벤지오 | "딥 러닝 신경망을 컴퓨팅의 핵심 구성 요소로 만든 개념적 및 공학적 돌파구 공로"[113][114][115][116] | 몬트리올 대학교, 맥길 대학교, Mila | |
| 제프리 힌턴 | 토론토 대학교 캘리포니아 대학교 샌디에이고 카네기 멜런 대학교 유니버시티 칼리지 런던 에든버러 대학교 구글 AI | |||
| 얀 르쿤 | 토론토 대학교 벨 연구소 쿠란트 수학 과학 연구소, 뉴욕 대학교 메타 AI | |||
| 2019 | 에드윈 캐트멀 | "3차원 컴퓨터 그래픽스에 대한 근본적인 공헌과 영화 제작 및 기타 응용 분야에서 컴퓨터 생성 이미지(CGI)의 영향력 공로"[117][118][119] | 유타 대학교 픽사 월트 디즈니 애니메이션 스튜디오 | |
| 팻 핸러핸 | 픽사 프린스턴 대학교 스탠퍼드 대학교 | |||
| 2020 | 앨프리드 에이호 | "프로그래밍 언어 구현의 근본적인 알고리즘과 이론에 기여하고, 이들과 다른 연구자들의 결과를 매우 영향력 있는 저서에 통합하여 여러 세대의 컴퓨터 과학자들을 교육한 공로"[120][121][122] | 벨 연구소 컬럼비아 대학교 | |
| 제프리 울먼 | 벨 연구소 프린스턴 대학교 스탠퍼드 대학교 | |||
| 2021 | 잭 동가라 | "40년 이상 동안 기하급수적인 하드웨어 개선에 발맞춰 고성능 컴퓨팅 소프트웨어를 가능하게 한 수치 알고리즘 및 라이브러리에 대한 선구적인 공헌 공로"[123][124] | 아곤 국립 연구소 오크리지 국립연구소 맨체스터 대학교 텍사스 A&M 대학교 고등연구소 테네시 대학교 라이스 대학교 | |
| 2022 | 로버트 메칼프 | "이더넷의 발명, 표준화 및 상용화 공로"[125] | 매사추세츠 공과대학교, 하버드 대학교, 팰로앨토 연구소, 텍사스 대학교 오스틴 | |
| 2023 | 아비 위그더슨 | "계산 및 수학에서 무작위성의 역할에 대한 우리의 이해를 재구성하는 것을 포함한 계산 이론에 대한 근본적인 공헌과 이론 컴퓨터 과학에서 수십 년간의 지적 리더십 공로"[126][127] | 프린스턴 고등연구소, 프린스턴 대학교, 예루살렘 히브리 대학교 | |
| 2024 | 앤드루 바토 | "강화 학습의 개념적 및 알고리즘적 기초 개발 공로"[3][128][129] | 매사추세츠 대학교 애머스트 | |
| 리치 서튼 | 앨버타 대학교 Amii | |||
같이 보기
[편집]각주
[편집]- 1 2 CACM Staff (2014). 《ACM's Turing Award prize raised to $1 million》. 《Communications of the ACM》 57. 20쪽. doi:10.1145/2685372.
- 1 2 “A. M. Turing Award”. ACM. 2009년 12월 12일에 원본 문서에서 보존된 문서. 2007년 11월 5일에 확인함.
- 1 2 “ACM A.M. Turing Award Honors Two Researchers Who Led the Development of Cornerstone AI Technology” (보도 자료). The Association for Computing Machinery. 2025년 3월 5일. 2025년 3월 5일에 원본 문서에서 보존된 문서.
- ↑ Dasgupta, Sanjoy; Papadimitriou, Christos; Vazirani, Umesh (2008). 《Algorithms》. 맥그로힐. 317쪽. ISBN 978-0-07-352340-8.
- ↑ “dblp: ACM Turing Award Lectures” (영어). 《informatik.uni-trier.de》. 2015년 1월 2일에 원본 문서에서 보존된 문서. 2023년 2월 11일에 확인함.
- ↑ Brown, Bob (2011년 6월 6일). “Why there's no Nobel Prize in Computing”. 《Network World》. 2023년 12월 4일에 원본 문서에서 보존된 문서. 2015년 6월 3일에 확인함.
- ↑ Homer, Steven and Alan L. (2001). 《Computability and Complexity Theory》. Springer. 35쪽. ISBN 978-0-387-95055-6. 2023년 4월 3일에 원본 문서에서 보존된 문서. 2007년 11월 5일에 확인함.
- ↑ Copeland, Jack (2012년 6월 18일). “Alan Turing: The codebreaker who saved 'millions of lives'”. BBC News Technology. 2014년 10월 11일에 원본 문서에서 보존된 문서. 2014년 10월 26일에 확인함.
- ↑ Geringer, Steven (2007년 7월 27일). “ACM'S Turing Award Prize Raised To $250,000”. ACM press release. 2008년 12월 30일에 원본 문서에서 보존된 문서. 2008년 10월 16일에 확인함.
- ↑ “ACM's Turing Award Prize Raised to $1 Million”. ACM. 2015년 11월 23일에 원본 문서에서 보존된 문서. 2014년 11월 13일에 확인함.
- ↑ Zhongkai Shangguan; Zihe Zheng; Jiebo Luo (2021). “What Kind of Person Wins the Turing Award?”. arXiv:2104.05636 [cs.GL].
The youngest winner was Donald Knuth, who convinced the jury with "Computer Programming as an Art" and won [the] Turing Award in 1974 at the age of 36.
arXiv 인용에서 지원되지 않는 변수를 사용함 (도움말) - ↑ William L. Hosch. “Turing Award”. 브리태니커 백과사전. 2024년 2월 5일에 원본 문서에서 보존된 문서. 2024년 3월 12일에 확인함.
- ↑ “First Woman to Receive ACM Turing Award” (보도 자료). The Association for Computing Machinery. 2007년 2월 21일. 2007년 7월 2일에 원본 문서에서 보존된 문서. 2007년 11월 5일에 확인함.
- 1 2 Tom van Vleck. “Barbara Liskov - A.M. Turing Award Laureate”. ACM. 2021년 11월 9일에 원본 문서에서 보존된 문서. 2024년 3월 4일에 확인함.
- 1 2 Charles Rackoff. “Shafi Goldwasser - A.M. Turing Award Laureate”. ACM. 2024년 2월 17일에 원본 문서에서 보존된 문서. 2024년 3월 4일에 확인함.
- ↑ Perlis, A. J. (1967). 《The Synthesis of Algorithmic Systems》. 《Journal of the ACM》 14. 1–9쪽. doi:10.1145/321371.321372. S2CID 12937998.
- ↑ David Nofre. “Alan J Perlis - A.M. Turing Award Laureate”. ACM. 2012년 4월 26일에 원본 문서에서 보존된 문서. 2024년 3월 4일에 확인함.
- ↑ Wilkes, M. V. (1968). 《Computers then and Now》. 《Journal of the ACM》 15. 1–7쪽. doi:10.1145/321439.321440. S2CID 9846847.
- ↑ Martin Campbell-Kelly. “Maurice V. Wilkes - A.M. Turing Award Laureate”. ACM. 2024년 1월 7일에 원본 문서에서 보존된 문서. 2024년 3월 4일에 확인함.
- ↑ Hamming, R. W. (1969). 《One Man's View of Computer Science》. 《Journal of the ACM》 16. 3–12쪽. doi:10.1145/321495.321497. S2CID 6868310.
- ↑ Edmund F. Robertson. “Richard W. Hamming - A.M. Turing Award Laureate”. ACM. 2020년 10월 30일에 원본 문서에서 보존된 문서. 2024년 3월 4일에 확인함.
- ↑ Minsky, M. (1970). 《Form and Content in Computer Science (1970 ACM turing lecture)》. 《Journal of the ACM》 17. 197–215쪽. doi:10.1145/321574.321575. S2CID 15661281.
- ↑ Patrick Henry Winston. “Marvin Minsky - A.M. Turing Award Laureate”. ACM. 2023년 11월 28일에 원본 문서에서 보존된 문서. 2024년 3월 4일에 확인함.
- ↑ Wilkinson, J. H. (1971). 《Some Comments from a Numerical Analyst》. 《Journal of the ACM》 18. 137–147쪽. doi:10.1145/321637.321638. S2CID 37748083.
- ↑ Beresford Neill Parlett. “James Hardy ("Jim") Wilkinson - A.M. Turing Award Laureate”. ACM. 2024년 1월 5일에 원본 문서에서 보존된 문서. 2024년 3월 4일에 확인함.
- ↑ McCarthy, J. (1987). 《Generality in artificial intelligence》. 《Communications of the ACM》 30. 1030–1035쪽. doi:10.1145/33447.33448. S2CID 1045033. 2017년 9월 21일에 원본 문서에서 보존된 문서. 2017년 11월 1일에 확인함.
- ↑ Lester Earnest. “John Mccarthy - A.M. Turing Award Laureate”. ACM. 2016년 9월 3일에 원본 문서에서 보존된 문서. 2024년 3월 4일에 확인함.
- ↑ Dijkstra, E. W. (1972). 《The humble programmer》. 《Communications of the ACM》 15. 859–866쪽. doi:10.1145/355604.361591.
- ↑ Hamilton Richards. “Edsger Wybe Dijkstra - A.M. Turing Award Laureate”. ACM. 2024년 2월 26일에 원본 문서에서 보존된 문서. 2024년 3월 4일에 확인함.
- ↑ Bachman, C. W. (1973). 《The programmer as navigator》. 《Communications of the ACM》 16. 653–658쪽. doi:10.1145/355611.362534.
- ↑ Thomas Haigh. “Charles William Bachman - A.M. Turing Award Laureate”. ACM. 2020년 10월 2일에 원본 문서에서 보존된 문서. 2024년 3월 4일에 확인함.
- ↑ Knuth, D. E. (1974). 《Computer programming as an art》. 《Communications of the ACM》 17. 667–673쪽. doi:10.1145/361604.361612.
- ↑ David Walden. “Donald ("Don") Ervin Knuth - A.M. Turing Award Laureate”. ACM. 2019년 10월 17일에 원본 문서에서 보존된 문서. 2024년 3월 4일에 확인함.
- ↑ Newell, A.; Simon, H. A. (1976). 《Computer science as empirical inquiry: Symbols and search》. 《Communications of the ACM》 19. 113쪽. doi:10.1145/360018.360022.
- ↑ Hunter Heyck. “Allen Newell - A.M. Turing Award Laureate”. ACM. 2020년 10월 16일에 원본 문서에서 보존된 문서. 2024년 3월 4일에 확인함.
- ↑ Hunter Heyck. “Herbert ("Herb") Alexander Simon - A.M. Turing Award Laureate”. ACM. 2021년 4월 18일에 원본 문서에서 보존된 문서. 2024년 3월 4일에 확인함.
- ↑ Rabin, M. O.; Scott, D. (1959). 《Finite Automata and Their Decision Problems》. 《IBM Journal of Research and Development》 3. 114쪽. doi:10.1147/rd.32.0114. S2CID 3160330.
- ↑ Rabin, M. O. (1977). 《Complexity of computations》. 《Communications of the ACM》 20. 625–633쪽. doi:10.1145/359810.359816.
- ↑ Scott, D. S. (1977). 《Logic and programming languages》. 《Communications of the ACM》 20. 634–641쪽. doi:10.1145/359810.359826.
- ↑ “Michael O. Rabin - A.M. Turing Award Laureate”. ACM. 2023년 11월 28일에 원본 문서에서 보존된 문서. 2024년 3월 4일에 확인함.
- ↑ “Dana Steward Scott - A.M. Turing Award Laureate”. ACM. 2024년 2월 26일에 원본 문서에서 보존된 문서. 2024년 3월 4일에 확인함.
- ↑ Backus, J. (1978). 《Can programming be liberated from the von Neumann style?: A functional style and its algebra of programs》. 《Communications of the ACM》 21. 613–641쪽. doi:10.1145/359576.359579.
- ↑ Grady Booch. “John Backus - A.M. Turing Award Laureate”. ACM. 2024년 1월 5일에 원본 문서에서 보존된 문서. 2024년 3월 4일에 확인함.
- ↑ Floyd, R. W. (1979). 《The paradigms of programming》. 《Communications of the ACM》 22. 455–460쪽. doi:10.1145/359138.359140.
- ↑ “Robert W. Floyd - A.M. Turing Award Laureate”. 《amturing.acm.org》. 2025년 10월 18일에 확인함.
- ↑ Iverson, K. E. (1980). 《Notation as a tool of thought》. 《Communications of the ACM》 23. 444–465쪽. doi:10.1145/358896.358899.
- ↑ Keith Smillie. “Kenneth E. ("Ken") Iverson - A.M. Turing Award Laureate”. ACM. 2019년 4월 3일에 원본 문서에서 보존된 문서. 2024년 3월 4일에 확인함.
- ↑ Hoare, C. A. R. (1981). 《The emperor's old clothes》. 《Communications of the ACM》 24. 75–83쪽. doi:10.1145/358549.358561.
- ↑ Cliff Jones. “C. Antony ("Tony") R. Hoare - A.M. Turing Award Laureate”. ACM. 2012년 7월 1일에 원본 문서에서 보존된 문서. 2024년 3월 4일에 확인함.
- ↑ Codd, E. F. (1982). 《Relational database: A practical foundation for productivity》. 《Communications of the ACM》 25. 109–117쪽. doi:10.1145/358396.358400.
- ↑ C. J. Date. “Edgar F. ("Ted") Codd - A.M. Turing Award Laureate”. ACM. 2017년 12월 23일에 원본 문서에서 보존된 문서. 2024년 3월 4일에 확인함.
- ↑ Cook, S. A. (1983). 《An overview of computational complexity》. 《Communications of the ACM》 26. 400–408쪽. doi:10.1145/358141.358144.
- ↑ Bruce Kapron. “Stephen Arthur Cook - A.M. Turing Award Laureate”. ACM. 2024년 3월 4일에 확인함.
|보존url=이 잘못됨: timestamp (도움말) - ↑ Tom Van Vleck. “A.M. Turing Award Laureate – Kenneth Lane Thompson”. ACM. 2019년 8월 9일에 원본 문서에서 보존된 문서. 2018년 11월 4일에 확인함.
- ↑ Tom Van Vleck. “A.M. Turing Award Laureate – Dennis M. Ritchie”. ACM. 2021년 10월 20일에 원본 문서에서 보존된 문서. 2018년 11월 4일에 확인함.
- ↑ Thomas Haigh. “Niklaus E. Wirth - A.M. Turing Award Laureate”. ACM. 2017년 6월 29일에 원본 문서에서 보존된 문서. 2024년 3월 4일에 확인함.
- ↑ B. Simons; D. Gusfield. “Richard ("Dick") Manning Karp - A.M. Turing Award Laureate”. ACM. 2017년 7월 4일에 원본 문서에서 보존된 문서. 2024년 3월 4일에 확인함.
- ↑ “John E. Hopcroft - A.M. Turing Award Laureate”. ACM. 2021년 10월 27일에 원본 문서에서 보존된 문서. 2024년 3월 4일에 확인함.
- ↑ V. King. “Robert (Bob) Endre Tarjan - A.M. Turing Award Laureate”. ACM. 2017년 10월 30일에 원본 문서에서 보존된 문서. 2024년 3월 4일에 확인함.
- ↑ Michael G. Burke; Vivek Sarkar. “John Cocke - A.M. Turing Award Laureate”. ACM. 2021년 10월 29일에 원본 문서에서 보존된 문서. 2024년 3월 4일에 확인함.
- ↑ Robert Burton. “Ivan Sutherland - A.M. Turing Award Laureate”. ACM. 2021년 10월 29일에 원본 문서에서 보존된 문서. 2024년 3월 4일에 확인함.
- ↑ Thomas Haigh. “William ("Velvel") Morton Kahan - A.M. Turing Award Laureate”. ACM. 2021년 10월 29일에 원본 문서에서 보존된 문서. 2024년 3월 4일에 확인함.
- ↑ T. Van Vleck. “Fernando J ("Corby") Corbato - A.M. Turing Award Laureate”. ACM. 2021년 10월 29일에 원본 문서에서 보존된 문서. 2024년 3월 4일에 확인함.
- ↑ Milner, R. (1993). 《Elements of interaction: Turing award lecture》. 《Communications of the ACM》 36. 78–89쪽. doi:10.1145/151233.151240.
- ↑ Michael Fourman. “Arthur John Robin Gorell ("Robin") Milner - A.M. Turing Award Laureate”. ACM. 2021년 11월 17일에 원본 문서에서 보존된 문서. 2024년 3월 4일에 확인함.
- ↑ Roy Levin. “Butler W Lampson - A.M. Turing Award Laureate”. ACM. 2021년 10월 29일에 원본 문서에서 보존된 문서. 2024년 3월 4일에 확인함.
- ↑ Hartmanis, J.; Stearns, R. E. (1965). 《On the Computational Complexity of Algorithms》. 《Transactions of the American Mathematical Society》 117. 285–306쪽. doi:10.2307/1994208. ISSN 0002-9947.
- ↑ Stearns, R. E. (1994). 《Turing Award lecture: It's time to reconsider time》. 《Communications of the ACM》 37. 95–99쪽. doi:10.1145/188280.188379.
- ↑ Allan Borodin. “Juris Hartmanis - A.M. Turing Award Laureate”. ACM. 2024년 1월 21일에 원본 문서에서 보존된 문서. 2024년 3월 4일에 확인함.
- ↑ “Richard ("Dick") Edwin Stearns - A.M. Turing Award Laureate”. ACM. 2024년 1월 21일에 원본 문서에서 보존된 문서. 2024년 3월 4일에 확인함.
- ↑ Reddy, R. (1996). 《To dream the possible dream》. 《Communications of the ACM》 39. 105–112쪽. doi:10.1145/229459.233436.
- ↑ Nils J. Nilsson. “Edward A ("Ed") Feigenbaum - A.M. Turing Award Laureate”. ACM. 2024년 1월 22일에 원본 문서에서 보존된 문서. 2024년 3월 4일에 확인함.
- ↑ Nils J. Nilsson. “Dabbala Rajagopal ("Raj") Reddy - A.M. Turing Award Laureate”. ACM. 2023년 12월 10일에 원본 문서에서 보존된 문서. 2024년 3월 4일에 확인함.
- ↑ Christos H. Papadimitriou. “A.M. Turing Award Laureate – Manuel Blum”. ACM. 2021년 10월 23일에 원본 문서에서 보존된 문서. 2018년 11월 4일에 확인함.
- ↑ Lenore Zuck. “A.M. Turing Award Laureate – Amir Pnueli”. ACM. 2021년 10월 20일에 원본 문서에서 보존된 문서. 2018년 11월 4일에 확인함.
- ↑ Thierry Bardini. “A.M. Turing Award Laureate – Douglas Engelbart”. ACM. 2017년 7월 4일에 원본 문서에서 보존된 문서. 2018년 11월 4일에 확인함.
- ↑ “The Doug Engelbart Institute”. The Doug Engelbart Institute. 2012년 7월 14일에 원본 문서에서 보존된 문서. 2012년 6월 17일에 확인함.
- ↑ Paul McJones. “James ("Jim") Nicholas Gray - A.M. Turing Award Laureate”. ACM. 2021년 10월 29일에 원본 문서에서 보존된 문서. 2024년 3월 4일에 확인함.
- ↑ Grady Booch. “Frederick ("Fred") Brooks - A.M. Turing Award Laureate”. ACM. 2021년 10월 29일에 원본 문서에서 보존된 문서. 2024년 3월 4일에 확인함.
- ↑ Bruce Kapron. “Andrew Chi-Chih Yao - A.M. Turing Award Laureate”. ACM. 2017년 7월 3일에 원본 문서에서 보존된 문서. 2024년 3월 4일에 확인함.
- ↑ Andrew P. Black. “Ole-Johan Dahl - A.M. Turing Award Laureate”. ACM. 2021년 10월 12일에 원본 문서에서 보존된 문서. 2024년 3월 4일에 확인함.
- ↑ Ole Lehrman Madsen. “Kristen Nygaard - A.M. Turing Award Laureate”. ACM. 2023년 11월 28일에 원본 문서에서 보존된 문서. 2024년 3월 4일에 확인함.
- ↑ “Ronald (Ron) Linn Rivest - A.M. Turing Award Laureate”. ACM. 2021년 10월 11일에 원본 문서에서 보존된 문서. 2024년 3월 4일에 확인함.
- ↑ “Adi Shamir - A.M. Turing Award Laureate”. ACM. 2023년 12월 10일에 원본 문서에서 보존된 문서. 2024년 3월 4일에 확인함.
- ↑ Joseph Bebel; Shang-Hua Teng. “Leonard (Len) Max Adleman - A.M. Turing Award Laureate”. ACM. 2023년 10월 3일에 원본 문서에서 보존된 문서. 2024년 3월 4일에 확인함.
- ↑ Susan B. Barnes. “Alan Kay - A.M. Turing Award Laureate”. ACM. 2021년 10월 11일에 원본 문서에서 보존된 문서. 2024년 3월 4일에 확인함.
- ↑ Janet Abbate. “Vinton ("Vint") Gray Cerf - A.M. Turing Award Laureate”. ACM. 2021년 10월 11일에 원본 문서에서 보존된 문서. 2024년 3월 4일에 확인함.
- ↑ Janet Abbate. “Robert (Bob) Elliot Kahn - A.M. Turing Award Laureate”. ACM. 2019년 7월 13일에 원본 문서에서 보존된 문서. 2024년 3월 4일에 확인함.
- ↑ Edgar G. Daylight. “Peter Naur - A.M. Turing Award Laureate”. ACM. 2018년 6월 12일에 원본 문서에서 보존된 문서. 2024년 3월 4일에 확인함.
- ↑ Guy Steele. “Frances ("Fran") Elizabeth Allen - A.M. Turing Award Laureate”. ACM. 2022년 4월 7일에 원본 문서에서 보존된 문서. 2024년 3월 4일에 확인함.
- ↑ “2007 Turing Award Winners Announced”. 2009년 11월 2일에 원본 문서에서 보존된 문서. 2008년 12월 9일에 확인함.
- ↑ Ted Kirkpatrick. “Edmund Melson Clarke - A.M. Turing Award Laureate”. ACM. 2024년 1월 4일에 원본 문서에서 보존된 문서. 2024년 3월 4일에 확인함.
- ↑ Thomas Wahl. “E. Allen Emerson - A.M. Turing Award Laureate”. ACM. 2024년 2월 26일에 원본 문서에서 보존된 문서. 2024년 3월 4일에 확인함.
- ↑ Cristian S. Calude. “Joseph Sifakis - A.M. Turing Award Laureate”. ACM. 2023년 11월 28일에 원본 문서에서 보존된 문서. 2024년 3월 4일에 확인함.
- ↑ “Charles P. (Chuck) Thacker - A.M. Turing Award Laureate”. ACM. 2021년 10월 10일에 원본 문서에서 보존된 문서. 2024년 3월 4일에 확인함.
- ↑ “Leslie Gabriel Valiant - A.M. Turing Award Laureate”. ACM. 2021년 11월 17일에 원본 문서에서 보존된 문서. 2024년 3월 4일에 확인함.
- ↑ Pearl, Judea (2007). 《ACM Turing Award Lectures》. doi:10.1145/1283920. ISBN 978-1-4503-1049-9. 2020년 10월 21일에 원본 문서 (mp4)에서 보존된 문서. 2020년 11월 16일에 확인함.
- ↑ Stuart J. Russell. “Judea Pearl - A.M. Turing Award Laureate”. ACM. 2017년 8월 26일에 원본 문서에서 보존된 문서. 2012년 3월 15일에 확인함.
- ↑ “Turing award 2012”. ACM. 2013년 3월 18일에 원본 문서에서 보존된 문서.
- ↑ Avi Wigderson. “Silvio Micali - A.M. Turing Award Laureate”. ACM. 2023년 12월 11일에 원본 문서에서 보존된 문서. 2024년 3월 4일에 확인함.
- ↑ “Turing award 2013”. ACM. 2016년 1월 16일에 원본 문서에서 보존된 문서. 2014년 3월 18일에 확인함.
- ↑ Lamport, L. (1978). 《Time, clocks, and the ordering of events in a distributed system》 (PDF). 《커뮤니케이션스 오브 더 ACM》 21. 558–565쪽. CiteSeerX 10.1.1.155.4742. doi:10.1145/359545.359563. S2CID 215822405. 2008년 10월 31일에 원본 문서 (PDF)에서 보존된 문서. 2015년 8월 28일에 확인함.
- ↑ Dahlia Malkhi; Martin Abadi; Hagit Attiya; Idit Keidar; Nancy Lynch; Nir Shavit; George Varghese; Len Shustek. “Leslie Lamport - A.M. Turing Award Laureate”. ACM. 2023년 6월 1일에 원본 문서에서 보존된 문서. 2024년 3월 4일에 확인함.
- ↑ “Turing award 2014”. ACM. 2017년 7월 3일에 원본 문서에서 보존된 문서. 2015년 3월 25일에 확인함.
- ↑ Thomas Haigh. “Michael Stonebreaker - A.M. Turing Award Laureate”. ACM. 2024년 1월 25일에 원본 문서에서 보존된 문서. 2024년 3월 4일에 확인함.
- ↑ Diffie, W.; Hellman, M. (1976). 《New directions in cryptography》 (PDF). 《IEEE Transactions on Information Theory》 22. 644–654쪽. Bibcode:1976ITIT...22..644D. CiteSeerX 10.1.1.37.9720. doi:10.1109/TIT.1976.1055638. 2017년 12월 3일에 원본 문서 (PDF)에서 보존된 문서. 2016년 3월 4일에 확인함.
- ↑ “Cryptography Pioneers Receive 2015 ACM A.M. Turing Award”. ACM. 2017년 7월 4일에 원본 문서에서 보존된 문서. 2016년 3월 1일에 확인함.
- ↑ Jeffrey R. Yost. “Martin Hellman - A.M. Turing Award Laureate”. ACM. 2022년 9월 22일에 원본 문서에서 보존된 문서. 2024년 3월 4일에 확인함.
- ↑ “Turing award 2016”. ACM. 2017년 4월 6일에 원본 문서에서 보존된 문서. 2017년 4월 4일에 확인함.
- ↑ “Pioneers of Modern Computer Architecture Receive ACM A.M. Turing Award”. ACM. 2018년 3월 25일에 원본 문서에서 보존된 문서. 2018년 3월 21일에 확인함.
- ↑ Charles H. House. “John L Hennessy - A.M. Turing Award Laureate”. ACM. 2018년 3월 22일에 원본 문서에서 보존된 문서. 2024년 3월 4일에 확인함.
- ↑ Charles H. House. “Charles Patterson - A.M. Turing Award Laureate”. ACM. 2024년 1월 7일에 원본 문서에서 보존된 문서. 2024년 3월 4일에 확인함.
- ↑ “Fathers of the Deep Learning Revolution Receive ACM A.M. Turing Award”. ACM. 2021년 8월 23일에 원본 문서에서 보존된 문서. 2019년 3월 27일에 확인함.
- ↑ Thomas Haigh. “Yoshua Bengio - A.M. Turing Award Laureate”. ACM. 2020년 11월 27일에 원본 문서에서 보존된 문서. 2024년 3월 4일에 확인함.
- ↑ Thomas Haigh. “Geoffrey E. Hinton - A.M. Turing Award Laureate”. ACM. 2021년 12월 6일에 원본 문서에서 보존된 문서. 2024년 3월 4일에 확인함.
- ↑ Thomas Haigh. “Yann LeCun - A.M. Turing Award Laureate”. ACM. 2023년 3월 27일에 원본 문서에서 보존된 문서. 2024년 3월 4일에 확인함.
- ↑ “2019 ACM A.M. Turing Award Laureates” (영어). ACM. 2020년 3월 18일에 원본 문서에서 보존된 문서. 2023년 2월 11일에 확인함.
- ↑ “Edwin E. Catmull - A.M. Turing Award Laureate”. ACM. 2023년 11월 23일에 원본 문서에서 보존된 문서. 2024년 3월 4일에 확인함.
- ↑ “Patrick M. Hanrahan - A.M. Turing Award Laureate”. ACM. 2024년 1월 4일에 원본 문서에서 보존된 문서. 2024년 3월 4일에 확인함.
- ↑ “Columbia's Alfred Aho and Stanford's Jeffrey Ullman receive 2020 ACM A.M. Turing Award” (영어). ACM. 2021년 3월 31일에 원본 문서에서 보존된 문서. 2023년 2월 11일에 확인함.
- ↑ Thomas Haigh. “Alfred Vaino Aho - A.M. Turing Award Laureate”. ACM. 2024년 1월 13일에 원본 문서에서 보존된 문서. 2024년 3월 4일에 확인함.
- ↑ Thomas Haigh. “Jeffrey David Ullman - A.M. Turing Award Laureate”. ACM. 2024년 1월 22일에 원본 문서에서 보존된 문서. 2024년 3월 4일에 확인함.
- ↑ “Open Graph Title: University of Tennessee's Jack Dongarra receives 2021 ACM A.M. Turing Award” (영어). ACM. 2022년 5월 5일에 원본 문서에서 보존된 문서. 2022년 3월 30일에 확인함.
- ↑ Thomas Haigh. “Dr. Jack Dongarra - A.M. Turing Award Laureate”. ACM. 2024년 1월 22일에 원본 문서에서 보존된 문서. 2024년 3월 4일에 확인함.
- ↑ “Robert Melancton Metcalfe - A.M. Turing Award Laureate”. ACM. 2024년 1월 13일에 원본 문서에서 보존된 문서. 2024년 3월 4일에 확인함.
- ↑ “Avi Wigderson of the Institute for Advanced Study is the recipient of the 2023 ACM A.M. Turing Award” (영어). 《awards.acm.org》. 2024년 4월 10일에 원본 문서에서 보존된 문서. 2024년 4월 10일에 확인함.
- ↑ “Avi Wigderson - A.M. Turing Award Laureate”. 《amturing.acm.org》. 2025년 10월 18일에 확인함.
- ↑ “Andrew Barto - A.M. Turing Award Laureate”. 《amturing.acm.org》. 2025년 10월 18일에 확인함.
- ↑ “Dr. Richard Sutton - A.M. Turing Award Laureate”. 《amturing.acm.org》. 2025년 10월 18일에 확인함.
추가 자료
[편집]- Akmut, Camille (2018년 6월 12일). “Social conditions of outstanding contributions to computer science : a prosopography of Turing Award laureates (1966-2016)”. 《hal.science》. 2024년 12월 12일에 확인함.


