컴퓨터과학의 선구자 목록

List of pioneers in computer science

이것은 컴퓨터가 할 수 있는 것을 창조하고, 개발하고, 상상하는 데 있어서 획기적인 발전을 이룬 사람들의 목록입니다.

파이오니어스

목록을 연도별 또는 사용자별 알파벳순(상승 또는 하강)으로 정렬하려면 해당 열의 작은 "상향" 아이콘을 클릭합니다.
성취
날짜.		 사람인 성취
1977 애들맨, 레너드 기발한 기여와 공개 키 암호를 실제로 유용하게 만드는 것.
1944 아이켄, 하워드 하버드 마크 I을 구상하고 공동 디자인했습니다.
830~ 알콰리즈미 알고리즘이라는 용어는 알콰리즈미가 그의 저서 "힌두 숫자를 사용한 계산에 관하여"에서 대중화한 힌두 아라비아 숫자로 산술을 수행하는 기술인 알고리즘에서 유래했습니다.[1][2][3]
1970, 1989 알렌, 프란시스 E. 비트 벡터 표기법 및 프로그램 제어 흐름 그래프 개발; 최초의 여성 IBM Fellow(1989); ACM의 튜링 어워드(2006) 최초의 여성 수상자.
1939 아타나소프, 존 최초의 전자 디지털 컴퓨터인 Atanasoff–Berry Computer를 만들었지만 프로그래밍이 가능하지도 않고 튜링이 가능하지도 않았습니다.
1822, 1837 배비지, 찰스 프로그래밍이 가능한 범용 컴퓨터의 개념을 고안했습니다. 해석 엔진을 설계하고 성능이 떨어지는 기계식 계산기의 프로토타입을 제작했습니다.
1973 바흐만, 찰스 데이터베이스 기술에 대한 탁월한 기여.[4]
1954, 1963 백어스, 존 최초의 실용적인 고급 프로그래밍 언어인 FORTRAN(Formula Translation)을 개발하고 공식 언어 구문을 설명하는 Backus-Naur 양식을 작성한 팀을 이끌었습니다.
850~ 바누 무사 프로그램이 가능한 최초의 기계, 자동 플루트 연주기로 보이는 것에 대해 설명하면서, "Book of Ingious Devices"[5]를 쓴 세 형제.
1960–1964 바란,폴 인터넷을 포함한 현대 컴퓨터 네트워킹에서 사용되는 디지털 패킷 교환 개념의 두 독립적인 발명가 중 한 명.[6][7]정보를 "메시지 블록"으로 나누고 분산 네트워크를 통해 전송하는 것에 대한 일련의 브리핑과 논문을 발표(1960-1964).[8][9]
1874 보도 프랑스의 전신 기술자; 디지털 통신의 최초의 수단인 보도 코드의 특허를 받았습니다.[10]모뎀 속도 단위 보드는 그의 이름을 따서 붙여졌습니다.
1960년대 바우어, 프리드리히 L. Edsger W. Dijkstra와 함께 식 평가를 위한 스택을 제안했습니다.컴퓨터 과학을 과학의 독립적인 학문으로 확립하는 데 영향을 미쳤습니다; 소프트웨어 공학이라는 용어를 만들었습니다.수치 분석, 프로그래밍 언어 해석 및 번역의 기초, 프로그램 개발의 체계성, 프로그램 변환 및 암호화에 기여하였습니다.
1953 벨먼, 리처드 E. 동적 프로그래밍을 도입한 미국의 응용수학자(1953)
2018 벤지오, 요슈아, 힌튼, 제프리, 르쿤, 얀 심층 신경망을 컴퓨팅의[11] 중요한 구성 요소로 만든 개념 및 엔지니어링 혁신
1989, 1990 버너스리, 팀 월드 와이드 웹을 발명하고 클라이언트와 서버 사이에 최초의 HTTP 통신을 보냈습니다.[12]
1995 블럼, 마누엘 계산 복잡도 이론의 기초와 암호학 및 프로그램 검사에[13] 대한 응용에 대한 공헌
1966 ö, 코라도 구조화된 프로그래밍의 개념을 이론화했습니다.
1847, 1854 부울, 조지 디지털 논리학과 컴퓨터 과학의 기초인 정형화된 부울 대수.
1947 부스, 캐슬린 최초의 어셈블리어를 발명했습니다.
1969, 1978 브린치 한센, 퍼 운영체제 커널의 개념과 정책과 메커니즘의 분리를 도입한 RC 4000 멀티프로그래밍 시스템 개발; 사실상 최초의 마이크로커널 아키텍처.[14]Tony Hoare와 함께 모니터를 공동 개발하고 최초로 모니터 구현을 만들었습니다.[15]RC 4000에서 원격 프로시저 호출의 첫 번째 형태를 구현했으며,[14] 분산 컴퓨팅을 위한 구조 개념으로 원격 프로시저 호출을 처음 제안했습니다.[16]
1959, 1995 브룩스,프레드 IBM System/360 및 OS/360 프로젝트의 관리자; The Mindic Man-Month의 저자.
1908 브라우어, 루첸 에그베투스 얀 직관적 논리를 확립했고, 나중에 증명 보조자들에게 널리 쓰이게 되었습니다.
1954 버크, 아서 1954년 돈 워런과 제시 라이트와 함께 리버스 폴란드 표기법을 제안했는데, 1941년 콘라드 쥐세가 Z3에서 포스트픽스 표기법을 사용한 사실을 몰랐고, 나중에 프리드리히 L. 바우어와 에드거 W. 다이크스트라가 스택과 함께 사용하기 위해 독립적으로 재창조했습니다.
1930 부시 바네바르 아날로그 컴퓨팅의 선구자; 하이퍼텍스트의 발전을 이끈 메멕스 개념의 창시자
1951 캐미너, 데이비드 J. Lyons and Co.를 위해 최초의 비즈니스 컴퓨터인 LEO 컴퓨터를 John Pinkerton과 함께 개발하였습니다.
1974 캣멀, 에드윈 텍스처 매핑을 개발한 컴퓨터 생성 이미지(CGI) 및 3D 그래픽 선구자, (짐 클라크와 함께) 캣멀-클락 세분화 표면 알고리즘, (라파엘 롬과 함께) 캣멀-롬 스플라인.전 인더스트리얼 라이트앤매직 부사장, 픽사 공동창업자 겸 전 사장
1978 Cerf, Vint 인터넷과 다른 컴퓨터 네트워크의 주요 데이터 통신 프로토콜인 전송 제어 프로토콜과 인터넷 프로토콜(TCP/IP)을 설계한 Bob Kahn과 함께
1956 촘스키, 노암 언어학 연구로 컴퓨터 과학에 기여했습니다.Chomsky 계층 구조를 발전시켜 프로그래밍 언어 이론과 컴퓨터 과학의 다른 분야에 직접적인 영향을 끼쳤습니다.
1936 교회, 알론조 이론 컴퓨터 과학, 특히 람다 미적분학의 형태로 계산 가능성 이론의 발전에 근본적인 기여를 했습니다.앨런 튜링과는 독립적으로, 현재 교회-튜링 논제로 알려진 것을 공식화했고 1차 논리는 결정할 수 없다는 것을 증명했습니다.
1962 클라크, 웨슬리 A. LINC 설계, 최초의 기능성 컴퓨터로 개인 사용자를 위해 규모를 축소하고 가격을 책정했습니다(1963).많은 기능들은 개인용 컴퓨터의 필수 요소들의 원형으로 여겨집니다.
1981 클라크, 에드먼드 M. E와 함께 개발된 모델 점검 및 소프트웨어와 하드웨어의 정식 검증. 앨런 에머슨.
1987 코크, 존 컴파일러 설계 및 이론, 대형 시스템의 아키텍처, RISC(Red Instruction Set Computer) 개발에 상당한 기여를 했습니다.
1970 코드, 에드거 F. 관계형 데이터베이스의 이론적 기반인 데이터 관리의 관계형 모델을 제안하고 공식화하였습니다.
1971 콘웨이, 린 다중 문제가 발생하는 순서 외 동적 명령 스케줄링 기능을 갖춘 슈퍼스칼라 아키텍처
1967 쿡,스티븐 NP-완전성의 개념을 공식화하여 계산 복잡도 이론에 대한 많은 연구에 영감을 주었습니다.
1965 쿨리, 제임스 존 W와 함께. Tukey, 고속 푸리에 변환 생성
1944 쿰스, 앨런 Mark II Colosus 컴퓨터 설계 및 제작; Mark I 버전 대체(세계 최초의 디지털 전자 컴퓨팅 장치)
1989 코르바토, 페르난도 J. 개념을 정리하고 범용, 대규모, 시분할 및 자원공유 컴퓨터 시스템 CTSS 및 Multics의 개발을 주도하는 선구적인 작업
1964 – 1996 크레, 시모어 수십 년간 세계에서 가장 빠른 컴퓨터 시리즈를 설계하고, 그 중 많은 컴퓨터를 만든 Cray Research를 설립했습니다. 슈퍼컴퓨터 산업을 만든 것으로 인정받습니다.
1978, 1993 커틀러, 데이비드 N. Digital Equipment Corporation과 Microsoft에서 VMS 및 Windows NT 커널(각각)의 책임 엔지니어로 근무하며 운영 체제 설계의 주요 선구자
1962 달, 올레조한 Kristen Nygaard와 함께, 원형 물체 지향 언어 SIMULA를 발명했습니다.
1965 데이비스 도날드 인터넷을 포함한 현대 컴퓨터 네트워킹에서 사용되는 디지털 패킷 교환 개념의 두 독립적인 발명가 중 한 명.[6][17]데이터 통신망에 대한 개념을 구상하고 이름 지었습니다(1965-66).[18][19]ARPANET을 포함한 1970년대의 많은 광역 패킷 교환 네트워크는 그의 원래 1965년 설계와 "거의 모든 면에서" 유사했습니다.[20]
1976 디피, 휘트필드 현대 암호학에 대한 근본적인 기여.Diffie와 Hellman의 획기적인 1976년 논문 "암호학의 새로운 방향"[21]은 오늘날 인터넷에서 사용되는 보안 프로토콜의 기초인 공개 키 암호와 디지털 서명의 아이디어를 소개했습니다.[22]
1968 데이크스트라, 에드거 W. 알고리즘의 발전; 구조화된 프로그래밍이라는 용어를 개척하고 만들어냄; 세마포어를 발명함; GOTO 문이 유해한 것으로 간주되어야 한다는 유명한 제안.
1918 에클스, 윌리엄 앤드 조던, 프랭크 윌프레드 Eccles-Jordan 트리거 회로의 특허를 받았습니다.[23] 소위 "bistable flip-flop"이라 불리는 모든 디지털 메모리 셀의 구성 요소입니다.진공관으로 제작된 그들의 컨셉은 콜로수스 암호 해독 컴퓨터의 성공에 필수적이었습니다.
1943, 1951 에커트, J. 프레스퍼 존 모츨리와 함께 최초의 현대적인 (모든 전자, 튜링 완성형) 컴퓨터인 에니악을 설계하고 제작하였습니다. 그리고 상업적으로 이용 가능한 최초의 컴퓨터인 유니박 I.
1981 에머슨, E. 앨런 Edmund M. Clarke와 함께 소프트웨어 및 하드웨어의 모델 점검 및 공식 검증 개발
1963 엥겔바트 더글러스 빌 잉글리쉬와 함께 컴퓨터 마우스를 개발한 것으로 가장 잘 알려져 있습니다. Augment 팀이 하이퍼텍스트, 네트워크 컴퓨터 및 GUI의 선구자를 개발한 인간과 컴퓨터 상호 작용의 선구자입니다.
1971 파긴 최초의 상용 마이크로프로세서 인텔 4004 설계
1994 파이겐바움 대규모 인공지능 시스템 설계 및 구축 개척, 인공지능 기술의[24] 현실적 중요성 및 잠재적 상업적 영향력 입증
1974 파인러, 엘리자베스 도메인 네임 시스템이 된 인터넷 호스트 이름에 대한 간단한 텍스트 파일 형식을 정의한 리드 팀; 그녀의 그룹은 .mil, .gov, .edu, .org, .com의 최상위 도메인에 대한 명명 권한이 되었습니다.
1943 꽃, 타미 세계 최초의 프로그래밍 가능한 디지털 전자 컴퓨팅 장치인 Mark I Colosus 컴퓨터를 설계 및 제작
1978 플로이드, 로버트 W. 효율적이고 신뢰할 수 있는 소프트웨어를 만들기 위한 방법론에 명확한 영향을 미쳤습니다; 파싱 이론, 프로그래밍 언어의 의미론, 자동 프로그램 검증, 자동 프로그램 합성, 알고리즘[25] 분석과 같은 컴퓨터 과학의 중요한 하위 분야를 발견하는 데 도움을 주었습니다.
1994 플로이드, 샐리 Active Queue Management 분야 설립; 거의 모든 인터넷 라우터에서 사용되는 공동 발명 Random Early Detection
1879 프레지, 고틀롭 계산 가능성 이론의 중요한 선구자인 찰스 샌더스 피어스와는 독립적으로 1차 술어 미적분학을 가진 확장된 아리스토텔레스 논리학; 또한 인공지능에 대한 초기 연구, 논리 프로그래밍과 관련이 있습니다.
1985 퍼버, 스티븐
소피 윌슨 		ARM 32비트 RISC 마이크로프로세서[26] 개발 주도
1958, 1961, 1967 긴즈버그 시모어 "상관없는" 회로 최소화가 반드시 최적의 결과를 낳는 것은 아님을 증명; ALGOL 프로그래밍 언어가 문맥이 없음을 증명; (형식 언어 이론을 컴파일러 쓰기 문제와 연결); AFL 이론을 발명.
1931 괴델, 쿠르트 페아노 산술이 1차 술어 연산에서 논리적으로 일관되고 완전할 수 없다는 것을 증명했습니다.Church, Kleene, 그리고 Turing은 Gödel의 연구에 대한 결과를 바탕으로 계산 이론의 기초를 발전시켰습니다.
1989 골드와서 샤피 Micicali와 Rackoff와 함께 제로 지식 증명을 발명했습니다. 그녀와 Micicali는 이것과 다른 작업으로 튜링 상(2012)을 받았습니다.
2011 그레이엄, 수잔 L.[undue 몸무게?– 의논] "프로그래밍 언어 설계 및 구현에 기여하고 컴퓨터 과학 분야에 모범적인 서비스를 제공한 공로"로 2009년 IEEE 존 폰 노이만 메달을 수상했습니다.
1953 그레이,프랭크 물리학자이자 벨 연구소의 연구원은 반사된 이진 코드(RBC) 또는 그레이 코드를 개발했습니다.[27]Gray의 방법론은 디지털 가입자 회선 네트워크의 QAM과 같은 디지털 통신 시스템의 오류 검출 및 수정을 위해 사용됩니다.
1974, 2005 그레이,짐 데이터베이스 시스템 및 트랜잭션 처리 구현 분야의 혁신가
1986, 1990 그로스 바바라[undue 몸무게?– 의논] 최초의 담론 전산 모델 개발, 연구 분야 구축 및 언어 처리 기술에 영향력 행사, 멀티 에이전트 시스템에서의 협업을 위한 Shared Plans 모델 개발
1988, 2015 구스타프슨, 존 병렬 컴퓨팅의 실행 가능성을 실험적 및 이론적으로 입증, Gustafson의 법칙 공식화, 실수 Unum과 Posit를 표현하기 위한 고효율 포맷 개발
1971 해밀턴, 마가렛 비동기 소프트웨어, 우선순위 스케줄링, 엔드 투 엔드 테스트, 우선순위 디스플레이와 같은 인간-인-더-루프(Human-in-the-loop) 의사결정 기능의 개념을 개발하여 신뢰성 높은 소프트웨어 설계의 기초가 되었습니다.
1950 해밍, 리처드 오류 정정 코드, 해밍 코드, 해밍 행렬, 해밍 창, 해밍 숫자, 구 패킹(또는 해밍 경계), 해밍 거리 필드 생성;[28][29] 완벽한 코드[30][31] 개념 확립
1956, 1958, 1974 헨들러 오토마타 이론, 병렬 컴퓨팅, 인공 지능, 인간-기계 인터페이스 및 컴퓨터 그래픽에 대한 선구적인 연구; TR 4 [de] 슈퍼컴퓨터의 주요 설계자 중 한 명; 논리 함수 최소화를 위한 헨들러 다이어그램 발명; 병렬 컴퓨터를 위한 ECS(Erlangen Classification System [de]) 고안
2019 한라한, 팻 영화 제작 및 기타 응용 분야에서 컴퓨터 생성 이미지(CGI)에 획기적인 영향을 미치는 3D 컴퓨터 그래픽에 대한 근본적인 기여
1993 하트마니스 계산 복잡도 이론 분야의[32] 기초
1981, 1995, 1999 헤일스베르크 Borland의 Turbo Pascal 저자, 델파이 수석 설계자, Microsoft C# 설계자 및 수석 설계자
1976 헬먼, 마틴 현대 암호학에 대한 근본적인 기여.Diffie and Hellman의 획기적인 1976년 논문 "암호학의 새로운 방향"은 오늘날[22] 인터넷 보안 프로토콜의 토대인 공개 키 암호학과 디지털 서명의 아이디어를 소개했습니다.[21]
2017 헤네시, 존 L. 마이크로프로세서 산업에 지속적인 영향을 미치는 컴퓨터 아키텍처의 설계 및 평가에 대한 체계적이고 정량적인 접근 방식을 개척
2008, 2012, 2018 힌튼 제프리 현대 인공 지능 노력에서 가장 성공적인 도구 중 하나인 인공 신경망과 딥 러닝의 사용을 대중화하고 가능하게 함; 딥 신경망을[11] 컴퓨팅의 중요한 구성 요소로 만든 개념 및 엔지니어링 혁신으로 튜링 상(2018)을 받았습니다.
1961, 1969, 1978, 1980 호어, C.A.R. 공식언어 CSP(Communicationing Sequential Processes) 개발, 프로그램 정확성 검증을 위한 Hoare 로직 및 Quicksort 개발; 프로그래밍 언어의 정의 및 설계에 대한 기초적 기여
1968 홀버튼, 베티 Univac에서 최초의 메인프레임 정렬 병합 작성
1889 할리스, 허먼 현대 기계 데이터 처리의 아버지로 널리 여겨지는 그의 천공 카드 표집기 발명은 반자동 데이터 처리 시스템 시대의 시작을 알렸습니다.
1986 홉크로프트, 존 알고리즘과 데이터 구조의 설계와 분석에 있어서의 근본적인 성과
1952 호퍼, 그레이스 그녀가 자동 프로그래밍이라고 부르는 고급 프로그래밍 언어의 필요성에 대한 선구적인 연구; 코볼 언어에 큰 영향을 미친 A-O 컴파일러를 썼습니다.
1997 허풍슝 Deep Thought 체스 컴퓨터를 만든 작업; 건축가이자 수석 디자이너인 IBM Deep Blue 체스 컴퓨터는 1997년에 세계 체스 챔피언인 Garry Kasparov를 물리쳤습니다.
1952 허프먼, 데이비드 작성한 허프만 코딩
1952 허드, 커스버트 IBM이 최초의 범용 컴퓨터인 IBM 701을 개발하는 데 도움을 주었습니다.
1945, 1953 허스키,해리 ENIAC, EDVAC, Pilot ACE, EDVAC, SEAC, SWAC 및 Bendix G-15를 포함한 초기 컴퓨터 설계에 기여( 후자는 최초의 개인용 컴퓨터로 한 사람이 조작할 수 있음)
1954, 1962 아이버슨, 케네스 (하버드에서) 컴퓨터 과학 최초의 대학원 과정 설립 및 강의 지원, APL 프로그래밍 언어 개발, 인터랙티브 컴퓨팅 기여
1801 자카드, 조셉 마리 Jacquard 직기를 제작하고 시연하였으며, 천공 카드로 제작된 테이프로 프로그래밍 가능한 기계화 직기입니다.
1206 알자자리 프로그래밍이 가능한 휴머노이드 로봇을 포함한 프로그래밍이 가능한 기계와 [33]최초의 프로그래밍이 가능한 아날로그 컴퓨터로[34] 여겨지는 천문 시계인 캐슬 시계를 발명했습니다.
1989 카한, 윌리엄 수치 분석에 대한 근본적인 기여; 부동 소수점 계산에 대한 최고의 전문가; "수치 계산을 위해 세계를 안전하게 만드는 것"에 전념합니다.
1978 칸,밥 인터넷 및 기타 컴퓨터 네트워크의 주요 데이터 통신 프로토콜인 TCP/IP(Transmission Control Protocol) 설계
1952, 1953 카노 모리스 Edward Veitch의 Veitch 차트에서 변형된 Karnaugh 맵의 작성자; 논리 함수 최소화를 위해 사용된 Allan Marquand의 훨씬 이전 논리 다이어그램의 재발견
1985 카프, 리처드 M. 네트워크 흐름에 대한 효율적인 알고리즘 개발 및 기타 조합 최적화 문제를 포함한 알고리즘 이론에 대한 기여; 알고리즘 효율성의 직관적 개념으로 다항 시간 계산 가능성 확인; NP-완전성 이론에 기여
1973 카핀스키, 제섹 트랜지스터를 이용한 최초의 차동분석기 개발, 문자 및 이미지 인식을 위한 최초의 기계학습 알고리즘 중 하나 개발, 최초의 미니컴퓨터 중 하나인 K-202 개발
1970~ 케이,앨런 객체 지향 프로그래밍 언어의 근원에 있는 많은 아이디어를 개척하고, 스몰토크를 개발한 팀을 이끌며, 퍼스널 컴퓨팅에 근본적인 기여를 하였습니다.
1972–1994 킬달, 게리 컴파일러 최적화에 있어 데이터 흐름 분석 이론을 소개(글로벌 표현 최적화, Kildall의 방법)명령어 세트 에뮬레이터(INTERP)를 연구하여 혁신적인 소프트웨어 재배치 방법(페이지 경계 재배치)을 발견하고 이진 재컴파일(XLT86) 개념의 기초를 마련하였습니다.최초의 고급 프로그래밍 언어 및 마이크로컴퓨터용 컴파일러(PL/M)와 최초의 메인스트림 마이크로컴퓨터용 운영체제(CP/M)를 개발하였습니다. BIOS라는 하드웨어 추상화 계층의 개념을 창안하여 개념적으로 개인용 컴퓨터의 모든 DOS 기반 운영체제의 기초를 다졌습니다.디스켓 트랙 버퍼링 체계, 미리 읽기 알고리즘, 가상 디스크 드라이브 및 파일 시스템 캐싱 작업.비디오 디스크를 위한 최초의 컴퓨터 인터페이스를 개발하고 CD-ROM 파일 시스템을 개척하여 컴퓨터를 위한 최초의 백과사전(The Electronic Encyclopedia)을 소개했습니다.유선전화와 휴대폰(Intelliphone)을 통합한 모듈형 PBX 통신 시스템을 개척하고 가전제품과 원격으로 연결합니다.
1957 커쉬, 러셀 그레이 NBS(National Bureau of Standards)에서 일하는 동안, Kirsch는 최근에 개발된 이미지 스캐너를 사용하여 최초의 디지털 사진을 스캔하고 저장했습니다.[35]그가 스캔한 3개월 된 아들의 사진은 라이프지에 의해 "세상을 바꾼 100장의 사진" 중 하나로 여겨졌습니다.
1961~1970년대 클라인록, 레너드 1964년 책으로 출판된 1961-1962년 박사 논문에서 메시지 전환 네트워크의 지연을 모델링하기 위해 대기열 이론의 적용을 개척했습니다.[36]그는 나중에 그 주제에 관한 표준 작품들을 몇 편 출판했습니다.1970년대 초, 그는 패킷 교환 네트워크의 성능을 모델링하기 위해 대기열 이론을 적용했습니다.이 작업은 인터넷의 전신인 ARPANET의 발전에 영향력 있는 역할을 했습니다.그는 ARPANET의 초기 통신 프로토콜을 연구하는 대학원생들을 감독했습니다.1970년대 후반 학생 파룩 카문과 함께 한 계층적 라우팅에 대한 그의 이론적 연구는 오늘날 인터넷 운영에 매우 중요합니다.
1936 클린, 스티븐 콜 알론조 교회와 함께 람다 미적분학에 대한 선구적인 연구를 통해 계산 이론의 기초를 처음 세웠습니다.
1968, 1989 크누스, 도날드 컴퓨터 프로그래밍 기술을 쓰고 TeX를 만들었습니다."알고리즘 분석"이라는 용어를 만들어 빅오 표기법의 대중화 등 해당 분야에 큰 기여를 했습니다.
1950-1960 라마르, 헤디 제2차 세계 대전이 시작될 무렵, 그녀와 작곡가 조지 안틸은 추축국에 의한 교란 위협을 물리치기 위해 확산 스펙트럼과 주파수 호핑 기술을 사용한 연합군 어뢰의 무선 유도 시스템을 개발했습니다.비록 미국 해군이 1960년대까지 이 기술을 채택하지 않았지만, 그들의 작업 원리는 블루투스와 GPS 기술에 통합되어 있으며 CDMA와 Wi-Fi의 레거시 버전에서 사용되는 방법과 유사합니다.이 작업으로 인해 2014년에는 미국 국립 발명가 명예의 전당에 입성했습니다.
1974, 1978 램포트, 레슬리 분산 시스템의 많은 근본적인 문제를 해결하기 위해 공식화된 알고리즘(예: 베이커리 알고리즘).
논리적 시계의 개념을 개발하여 이들이 통신하는 이벤트를 기반으로 분산 엔티티 간의 동기화를 가능하게 했습니다.LaTeX를 만들었습니다.
1992 램슨, 버틀러 W. 분산형 개인용 컴퓨팅 환경과 그 구현을 위한 기술 개발: 워크스테이션, 네트워크, 운영 체제, 프로그래밍 시스템, 디스플레이, 보안 및 문서 출판.
1964-1966 랜딘, 피터 람다 미적분학을 사용하여 프로그래밍 언어의 의미를 공식적으로 명시하고 ISWIM이라는 초기 함수형 프로그래밍 언어를 개발했습니다.
1951 레베데프 세르게이 알렉세예비치 우크라이나 키예프에 있는 소련 최초의 전자 컴퓨터인 MESM을 독자적으로 설계했습니다.
1670~ 라이프니츠 고트프리트 Gottlob Frege에게 큰 영향을 미친 미적분학 ratiocinator와 같은 상징적 논리학의 발전을 이루었습니다.그는 컴퓨터 과학의 이론적 기초에 결정적이었던 1차 술어 미적분학의 나중의 발전을 예상했습니다.
1960 리클라이더, J.C.R. 인간과 컴퓨터의 상호작용에 대한 조사를 시작하여 컴퓨터 인터페이스는 물론 사이버네틱스 및 인공지능 분야에서도 많은 발전을 이루었습니다.
1987 리스코프 계층 구조에서 데이터 유형의 의미적 상호운용성을 보장하는 리스코프 치환 원리 개발.
1300~ 럴, 라몬 여러 개의 상징적 표현 기계를 설계하고, 지식을 생산하기 위한 상징적 표현과 조작의 개념을 개척했습니다. 이 둘은 라이프니츠에 큰 영향을 미쳤습니다.
1852 러브레이스, 에이다 주로 찰스 배비지가 제안한 기계 범용 컴퓨터인 해석 엔진에 대한 연구로 유명한 영국의 수학자이자 작가입니다.그녀는 그 기계가 순수한 계산 이상의 응용 프로그램을 가지고 있다는 것을 처음으로 인식했고, 그러한 기계에 의해 수행되도록 의도된 최초의 알고리즘을 만들었습니다.그 결과, 그녀는 종종 "컴퓨팅 머신"의 완전한 잠재력을 인정한 최초의 컴퓨터 프로그래머로 여겨집니다.
1909 러드게이트 1843년의 찰스 배비지(Charles Babbage)와 1909년의 퍼시 러드게이트(Percy Ludgate)는 역사상 최초로 두 개의 해석 엔진을 설계했습니다.Ludgate의 엔진은 (자신의 이산 아일랜드 로그를 사용하여) 곱셈을 기본으로 사용했고, 최초의 곱셈기-누적기(MAC)를 가지고 있었고, 분할을 수행하기 위해 MAC를 처음으로 이용했고, 숫자를 셔틀의 로드의 변위로 저장했으며, 프로그램 제어를 포함한 여러 가지 새로운 기능을 가지고 있었습니다.
1971 마르틴 뢰프 많은 증명 보조자들이 바탕이 되는 유형 이론에 대한 초기 초안을 발표했습니다.
1943, 1951 모츨리, 존 J. Presper Eckert와 함께 최초의 현대적인 (모든 전자, 튜링-완전한) 컴퓨터인 ENIAC을 설계하고 제작했습니다. 그리고 상업적으로 이용 가능한 최초의 컴퓨터인 UNIVAC I.또한 초기 저장된 프로그램 컴퓨터를 개발하기 위해 BINAC(1949), EDVAC(1949), UNIVAC(1951)을 Grace Hopper 및 Jean Bartik과 함께 작업했습니다.
1958 매카시, 존 기능적 프로그래밍 언어인 LISP를 발명했습니다.
1956, 2012 매클러스키, 에드워드 J. 디지털 로직 합성을 위한 최초의 알고리즘인 Quine-McCluskey 로직 최소화 방법을 포함하여 디지털 시스템의 설계와 테스트를 형성한 기본적인 기여.
1986 마이어, 베르트랑 에펠 프로그래밍 언어를 가장해 계약에 의해 디자인을 개발했습니다.
2012 미칼리, 실비오 암호학 과학의 복잡성 이론적 토대를 마련한 변혁적 작업을 위해, 그리고 그 과정에서 복잡성 이론에서 수학적 증명의 효율적인 검증을 위한 새로운 방법을 개척했습니다.
1991 밀너, 로빈 1) Scott's Logic of Computable Functions의 기계화인 LCF는 아마도 기계 보조 증명 구성을 위한 최초의 이론적 기반이지만 실용적인 도구일 것입니다. 2) ML, 유형 안전 예외 처리 메커니즘과 함께 다형성 유형 추론을 포함하는 최초의 언어, 3) 동시성의 일반 이론인 CCS.또한, 그는 조작적 의미론과 지시적 의미론의 관계에 대한 연구인 완전한 추상화를 공식화하고 강력하게 발전시켰습니다.[37]
1963 민스키, 마빈 인공지능과 철학에 관한 여러 문헌의 저자인 매사추세츠 공과대학교의 인공지능 연구소의 공동 설립자.퍼셉트론에 대한 비평가.


2008 나카모토, 사토시 최초의 P2P 디지털 화폐인 비트코인의 익명 창작자 또는 창작자.나카모토의 2008년 백서에서는 암호화폐의 분산·분산형 공공거래 장부에 대한 완전한 신뢰가 가능한 데이터베이스 구조인 블록체인의 개념을 소개했습니다.[38]
1934, 1938 나카시마 아키라 NEC 엔지니어는 1934년부터 1936년까지 논문에서 스위칭 회로 이론을 소개하여 디지털 컴퓨터와 현대 기술의 다른 분야에서 디지털 회로 설계의 기초를 마련했습니다.
1960 나우르, 피터 Backus-Naur 양식을 소개하는 ALGOL 60 수정 보고서 편집
1945 노이만, 요한 폰 대부분의 현대 컴퓨터가 기반이 되는 폰 노이만 아키텍처를 공식화했습니다.
1956 뉴웰, 앨런 J.C.와 함께. 세[39] 사람은 LISP에 영향을 준 최초의 진정한 AI 프로그램인 논리 이론가(Logic Theorist)를 첫 번째 목록 처리 언어로 공동 집필했습니다.
1943 뉴먼,맥스 블레츨리 공원에서 거상 컴퓨터의 제작을 유도했습니다.제2차 세계대전 이후 그는 맨체스터 대학에 컴퓨팅 머신 연구소를 설립했고 그곳에서 세계 최초의 저장 프로그램 컴퓨터인 맨체스터 베이비를 만든 프로젝트를 만들었습니다.
1962 니가드, 크리스틴 Ole-Johan Dahl과 함께 프로토 오브제 지향 언어 SIMULA를 발명했습니다.
1642 파스칼 블레즈 기계식 계산기를 발명했습니다.
기원전 5세기 파 ṇ니 최초의 공식 문법을 발명했습니다.또한 초기 형태의 Backus-Naur 형태를[40] 제공했습니다.
2017 패터슨, 데이비드 마이크로프로세서 산업에 지속적인 영향을 미치는 컴퓨터 아키텍처의 설계 및 평가에 대한 체계적이고 정량적인 접근 방식을 개척하기 위해.
2011 주얼리 확률적,[41] 인과적 추론을 위한 미적분학 개발을 통해 인공지능에 대한 근본적인 기여
1952 펄리스, 앨런 ALGOL 프로그래밍 언어를 개발한 팀의 일원이자 튜링상의 첫 수상자인 Project Wwirth에 대하여
1985 펄먼, 라디아 Digital Equipment Corporation에서 근무하면서 네트워크 브리지 운영에 필수적인 STP(Spanning Tree Protocol)를 개발했습니다.특히 암호화 및 네트워킹에 대해 광범위하고 혁신적인 연구를 수행했습니다.그녀는 2007년 USENIX Lifetime Achievement Award를 수상했습니다.
1964 페로토, 피에르 조르지오[undue 몸무게?– 의논] Olivetti의 컴퓨터 디자이너, 최초의 전자 프로그램 가능 계산기 중 하나인 Programma 101을[42][43][44] 디자인했습니다.
1932 페테르, 로사 재귀 이론을 수학적 연구의 별도 영역으로 기초한 일련의 논문을 발표하여 이론적 컴퓨터 과학의 기초를 세웠습니다.
1995 피카르, 로잘린드[undue 몸무게?– 의논] 정의 컴퓨팅(Afficient Computing)을 설립하고 컴퓨터에 감성 지능 기술을 제공할 수 있는 기반을 마련했습니다.
1996 푸넬리, 아미르 컴퓨터 과학에 시간 논리를 도입하고 프로그램 및 시스템 검증에 탁월한 기여를 합니다.[45]
1936 포스트, 에밀 L. 튜링과는 별개로 포스트 머신을 계산 모델로 개발했습니다.Post의 정리로 알려진 것을 증명할 뿐만 아니라 재귀 이론에 사용되는 Post 대응 문제는 진리표를 개발하는 것으로도 알려져 있습니다.
1976 라빈, 마이클 O. 비결정론적 기계에 대한 아이디어를 소개한 공동논문 "Finite Automata and Their Decision Problems"[46]는 매우 가치 있는 개념임이 입증되었습니다.그들(Scott & Rabin)의 고전 논문은 이 분야의 후속 연구에 지속적인 영감을 주고 있습니다.[47][48]
1994 레디, 라지 대규모 인공지능 시스템의 설계 및 구축을 개척하여 인공지능 기술의 현실적 중요성과 잠재적인 상업적 영향력을 입증합니다.[24]
1967–2011 리치, 데니스 켄 톰슨과 함께 벨 연구소에서 C 프로그래밍 언어와 유닉스 컴퓨터 운영 체제를 개척했습니다.
1977 리베스트, 론 기발한 기여와 공개 키 암호를 실제로 유용하게 만드는 것.
1958–1960 로젠, 사울 최초의 트랜지스터 기반 컴퓨터의 소프트웨어를 설계했습니다.ALGOL 프로그래밍 언어에도 영향을 미쳤습니다.
1975, 1985 루빈 필립 조음 합성 및 사인파 합성을 포함한 음성 인식 및 생산의 실험적 연구에 사용하기 위한 선구적인 컴퓨터 음성 합성 시스템 개발.MATLAB의 전신인 HADES 신호처리 시스템도 설계하였습니다.
1910 러셀, 버트랜드 수학적 논리학에 대한 그의 연구로 컴퓨터 과학에 기여했습니다(예: 진리 함수).유형 이론의 개념을 소개했습니다.그는 또한 그의 작품 Principia Mathematica에서 (Alfred North Whitehead와 함께) 활자 체계를 소개했습니다.
1975 솔튼, 제라드[undue 몸무게?– 의논] 벡터 공간 모델과 반전 지수를 제안한 자동 정보 검색의 선구자.
1962 샘멧, 진 E. FORMAC 프로그래밍 언어를 개발했습니다.그녀는 또한 1969년에 프로그래밍 언어의 역사와 분류에 대해 광범위하게 쓴 최초의 여성이었으며 1974년에 컴퓨팅 머신 협회의 첫 여성 회장이 되었습니다.
1880, 1898 샌더스 피어스 찰스 NOR 게이트의 기능적 완성도를 입증했습니다.클로드 섀넌보다 수십 년 전에 전기 회로를 통한 논리 구현을 제안했습니다.계산 가능성 이론의 중요한 전구체인 고틀롭 프레게와는 독립적으로 1차 술어 미적분학으로 확장된 아리스토텔레스 논리학.또한 인공지능에 대한 초기 작업인 로직 프로그래밍과 관련이 있습니다.
1976 스콧, 다나 비결정론적 기계에 대한 아이디어를 소개한 공동논문 "Finite Automata and Their Decision Problems"[46]는 매우 가치 있는 개념임이 입증되었습니다.그들(Scott & Rabin)의 고전 논문은 이 분야의 후속 연구에 지속적인 영감을 주고 있습니다.[47][48]
1977 샤미르, 아디 기발한 기여와 공개 키 암호를 실제로 유용하게 만드는 것.
1937, 1948 샤넌, 클로드 정보 이론을 정립하고, 실용적인 디지털 회로 설계를 위한 기초를 다졌습니다.
1971 시마 마사토시 최초의 상용 마이크로프로세서인 인텔 4004를 [49][50]비롯해 인텔 8080, Zilog Z80 및 Zilog Z8000 마이크로프로세서, 인텔 8259, 8255, 8253, 8257 및 8251 칩을 설계했습니다.[51]
2007 시파키스 요제프 하드웨어와 소프트웨어 산업에서 널리 채택되고 있는 매우 효과적인 검증 기술로 모델 검사를 발전시키고 있습니다.[52]
1956, 1957 사이먼, 허버트 A. 인공지능을 개척한 정치학자이자 경제학자.논리 이론 기계와 일반 문제 해결 프로그램의 공동 개발자입니다.
1953 스패크 존스[undue 몸무게?– 의논] 정보 검색과 자연어 처리의 선구자 중 한 명.
1972 스톨먼, 리처드 스톨먼은 1983년 9월 자유 소프트웨어로 구성된 유닉스 계열 컴퓨터 운영 체제를 만들기 위해 GNU 프로젝트를 시작했습니다.이를 계기로 그는 자유 소프트웨어 운동도 시작했습니다.
1993 스턴스, 리처드 E. 계산 복잡도 [32]이론 분야의 기초
1981 스테파노프 Stepanov는 Generic Programming의 선구자 중 한 명이며 C++ Standard Template Library의 주요 설계자이자 구현자이기도 합니다.
1937, 1941 스티비츠, 조지 R. 현대 디지털 컴퓨팅과 원격 일자리 진입의 아버지."디지털"이라는 용어를 만들었습니다.그레이 코드로 알려진 반사된 이진 코드를 발견했습니다.Excess-3 코드는 그의 이름을 따서 명명되기도 합니다(Stibitz 코드).
1982 스톤브레이커, 마이클 DBMS(Database Management Systems) 분야의 혁신과 다수의 성공적인 데이터베이스 기업 설립
1979 스트루스트럽, 비아른 Bell Labs에서 C++ 발명
1963 서덜랜드 현대 컴퓨터 지원 제도(CAD) 프로그램의 조상이자 객체 지향 프로그래밍의 초기 사례 중 하나인 스케치패드의 저자.
1986 타잔, 로버트 알고리즘과 데이터 구조의 설계와 분석에 있어서의 근본적인 성과.
1973 태커, 찰스 P. 최초의 현대식 개인용 컴퓨터인 제록스 알토의 선구적인 디자인과 실현, 그리고 이더넷과 태블릿 PC에 대한 그의 공헌.
1972, 1973 Thi, André Truong Trong and François Gernell[undue weight? – discuss] 마이크로프로세서를 기반으로 한 최초의 상업용 비키트 개인용 컴퓨터인 마이크로 N의 발명.
1967 톰프슨, 켄 유닉스 운영 체제, B 프로그래밍 언어, 플랜 9 운영 체제, 체스에서 마스터 등급을 획득한 최초의 기계, 벨 연구소의 UTF-8 인코딩, 구글의 바둑 프로그래밍 언어를 만들었습니다.
1993 토차이경 모바일 애드혹 네트워킹 개발; 1998년 리눅스 OS, Lucent WaveLan 802.11 라디오 및 TCP/UDP/IP에 투명한 새로운 분산 라우팅 프로토콜을 사용하여 노트북 컴퓨터 최초로 작동하는 무선 애드혹 네트워크 구현.
1912, 1914 토레스 케베도, 레오나르도 1912년 레오나르도 토레스 케베도는 체스를 할 수 있는 최초의 자율 기계 중 하나인 엘 아제드레시스타(체스 선수)를 만들었습니다.인간이 운영하는 The Turk and Ajeeb과 대조적으로, El Ajedrecista는 인간의 지도 없이 체스를 두도록 만들어진 진정한 오토마톤이었습니다.체스 3개로 엔드게임을 진행해 자동으로 백인왕과 루크를 움직여 인간 상대가 움직인 흑인왕을 견제했습니다.1914년에 출판된 그의 작품 자동화에 관한 에세이에서 토레스 퀘베도는 새로운 공학의 한 분야가 될 것을 공식화했습니다: 자동화와 부동 소수점 산술을 도입한 배비지의 분석 기계의 전기 기계적 버전을 설계한 것입니다.
1991 토벌즈 리눅스 커널의 첫 번째 버전을 만들었습니다.
1965 터키, 존 W. 제임스 쿨리와 함께 빠른 푸리에 변환을 만들었습니다.그는 "비트"라는 용어를 발명했습니다.[53]
1936 튜링, 앨런 튜링 머신 계산 모델, 저장된 프로그램 개념 구상, 고속 ACE 설계 등 이론적 컴퓨터 과학에 몇 가지 근본적인 기여를 했습니다.알론조 교회와는 별개로, 그는 교회-튜링 논문을 작성했고 1차 논리는 결정할 수 없다는 것을 증명했습니다.그는 또한 현재 튜링 테스트로 알려진 것을 제안하면서, 인공지능에 관한 철학적인 문제들을 탐구했습니다.
2010 발리언트, 레슬리 아마도 정확한(PAC) 학습의 이론, 열거 및 대수 계산의 복잡성, 병렬 및 분산 컴퓨팅 이론을 포함한 계산 이론에 대한 변형적 기여.
1875, 1875 베레아, 라몬 최초의 기계식 직접 곱셈기인 Verea 직접 곱셈기를 설계하고 특허를 받았습니다.
1950~ 왕안 마그네틱 코어 메모리 개발에 큰 기여를 했습니다.
1955,1960,1974 웨어, 윌리스 JOHNIAC의 공동 디자이너입니다.1974년 개인정보보호법을 제정하고, 공정정보실천강령을 제정한 위원회 의장.프라이버시 보호 연구 위원회의 부의장입니다.
1964, 1966 바이젠바움, 요셉 현대 인공지능의 아버지 중 한 명입니다.심리학자와의 대화를 모방하기 위해 자연어 처리를 사용하는 ELIZA 프로그램 제작자.
1968 빈가르덴, 아드리아 판 ALGOL 68의 정의에서 최초로 사용된 W-문법의 개발자
1949 윌크스 모리스 몇몇 고급 프로그래밍 언어 구조의 아이디어를 인정받아 완성된 최초의 실용적 저장형 프로그램 컴퓨터(EDSAC)를 제작하였습니다.
1970 윌킨슨, 제임스 H. 선형대수학과 "역방향" 오류해석학에서 계산에 대한 그의 업적으로 특별한 인정을 받은 고속 디지털 컴퓨터의 사용을 촉진하기 위한 수치해석학 연구.[54]
1970, 1978 니클라우스 주, 워스 파스칼, 모듈라-2, 오베론 프로그래밍 언어를 설계했습니다.
2000 야오, 앤드루 의사 난수 생성의 복잡도 기반 이론, 암호학 및 통신 복잡도를 포함한 계산 이론에 대한 근본적인 기여.
1955–1958 제마넥, 하인츠 초기에 완전히 트랜지스터화된 컴퓨터인 Mailüfterl을 개발했습니다.프로그래밍 언어 PL/I의 공식적인 정의를 만드는 데 중요합니다.
1938, 1945 쥐세 주 최초로 자유롭게 프로그램 할 수 있는 디지털 컴퓨터 Z1을 만들었습니다.1941년에 최초의 기능적 프로그램 제어 컴퓨터인 Z3를 만들었습니다.[55]Z3는 이미 나중에 Reverse Polish Notation이라고 알려진 것을 사용했고, 그것은 1998년에 튜링-완전한 것으로 증명되었습니다.세계 최초의 상업용 컴퓨터 Z4를 생산했습니다.최초의 고급 프로그래밍 언어인 Plankalkül을 설계했습니다.

~ 타일로 표시된 아이템은 원형입니다.

참고 항목

참고문헌

  1. ^ Mario Tokoro, ed. (2010). "9". e: From Understanding Principles to Solving Problems. pp. 223–224. ISBN 978-1-60750-468-9.
  2. ^ Cristopher Moore; Stephan Mertens (2011). The Nature of Computation. Oxford University Press. p. 36. ISBN 978-0-19-162080-5.
  3. ^ A. P. Ershov, Donald Ervin Knuth, ed. (1981). Algorithms in modern mathematics and computer science: proceedings, Urgench, Uzbek SSR, 16–22 September 1979. Springer. ISBN 978-3-540-11157-3.
  4. ^ Bachman, C. W. (1973). "The programmer as navigator". Communications of the ACM. 16 (11): 653–658. doi:10.1145/355611.362534.
  5. ^ Koetsier, Teun (2001). "On the prehistory of programmable machines: musical automata, looms, calculators". Mechanism and Machine Theory. 36 (5): 589–603. doi:10.1016/S0094-114X(01)00005-2.
  6. ^ a b "The real story of how the Internet became so vulnerable". Washington Post. 2015-05-30. Archived from the original on 2015-05-30. Retrieved 2020-02-18. Historians credit seminal insights to Welsh scientist Donald W. Davies and American engineer Paul Baran
  7. ^ "Inductee Details - Paul Baran". National Inventors Hall of Fame. Archived from the original on 2017-09-06. Retrieved 2017-09-06.
  8. ^ Baran, Paul (2002). "The beginnings of packet switching: some underlying concepts" (PDF). IEEE Communications Magazine. 40 (7): 42–48. doi:10.1109/MCOM.2002.1018006. ISSN 0163-6804. Essentially all the work was defined by 1961, and fleshed out and put into formal written form in 1962. The idea of hot potato routing dates from late 1960.
  9. ^ Monica, 1776 Main Street Santa; California 90401-3208. "Paul Baran and the Origins of the Internet". www.rand.org. Retrieved 2020-02-15.
  10. ^ "Jean-Maurice- Emile Baudot. Système de télégraphie rapide, June 1874. Brevet 103,898; Source: Archives Institut National de la Propriété Industrielle (INPI)".
  11. ^ a b 딥러닝 혁명의 아버지들 ACMA를 받습니다.튜링상
  12. ^ McPherson, Stephanie Sammartino (2009-09-01). Tim Berners-Lee: Inventor of the World Wide Web. Twenty-First Century Books. ISBN 978-0-8225-7273-2.
  13. ^ "A.M. Turing Award Laureate – Manuel Blum". amturing.acm.org. Retrieved 2018-11-04.
  14. ^ a b "Per Brinch Hansen • IEEE Computer Society". Computer.org. Retrieved 2015-12-15.
  15. ^ Brinch Hansen, Per (April 1993). "Monitors and Concurrent Pascal: a personal history" (PDF). 2nd ACM Conference on the History of Programming Languages.
  16. ^ Brinch Hansen, Per (November 1978). "Distributed processes: a concurrent programming concept" (PDF). Communications of the ACM. 21 (11): 934–941. CiteSeerX 10.1.1.107.3108. doi:10.1145/359642.359651. S2CID 11610744.
  17. ^ "Inductee Details - Donald Watts Davies". National Inventors Hall of Fame. Archived from the original on 2017-09-06. Retrieved 2017-09-06.
  18. ^ Roberts, Dr. Lawrence G. (November 1978). "The Evolution of Packet Switching". Archived from the original on 2016-03-24. Retrieved 2017-09-05. Almost immediately after the 1965 meeting, Donald Davies conceived of the details of a store-and-forward packet switching system; Roberts, Dr. Lawrence G. (May 1995). "The ARPANET & Computer Networks". Archived from the original on 2016-03-24. Retrieved 2016-04-13. Then in June 1966, Davies wrote a second internal paper, "Proposal for a Digital Communication Network" In which he coined the word packet,- a small sub part of the message the user wants to send, and also introduced the concept of an "Interface computer" to sit between the user equipment and the packet network.
  19. ^ Donald Davies (2001), "A Historical Study of the Beginnings of Packet Switching", Computer Journal, British Computer Society[데드링크]
  20. ^ Roberts, Dr. Lawrence G. (November 1978). "The Evolution of Packet Switching" (PDF). IEEE Invited Paper. Retrieved 2017-09-17. In nearly all respects, Davies' original proposal, developed in late 1965, was similar to the actual networks being built today.
  21. ^ a b Diffie, W.; Hellman, M. (1976). "New directions in cryptography" (PDF). IEEE Transactions on Information Theory. 22 (6): 644–654. CiteSeerX 10.1.1.37.9720. doi:10.1109/TIT.1976.1055638.
  22. ^ a b "Cryptography Pioneers Receive 2015 ACM A.M. Turing Award". ACM.
  23. ^ 윌리엄 헨리 에클스(William Henry Eccles)와 프랭크 윌프레드 조던(Frank Wilfred Jordan), "이온성 릴레이의 개선" 영국 특허 번호: GB 148582 (출원: 1918-06-21; 공개: 1920-08-05).온라인 사이트: http://v3.espacenet.com/origdoc?DB=EPODOC&IDX=GB148582&F=0&QPN=GB148582 .
  24. ^ a b Reddy, R. (1996). "To dream the possible dream". Communications of the ACM. 39 (5): 105–112. doi:10.1145/229459.233436.
  25. ^ Floyd, R. W. (1979). "The paradigms of programming". Communications of the ACM. 22 (8): 455–460. doi:10.1145/359138.359140.
  26. ^ "Computer History Museum Fellow Awards – Steve Furber". Archived from the original on 2013-04-02.
  27. ^ Gray, Frank (1953-03-17). "Pulse code communication" (PDF). 미국특허 제2,632,058호
  28. ^ 모건 1998, 페이지 973-975
  29. ^ 해밍 1950, 페이지 147-160.
  30. ^ Ling & Xing 2004, 페이지 82–88.
  31. ^ 1982년 편, 21-24쪽.
  32. ^ a b Stearns, R. E. (1994). "Turing Award lecture: It's time to reconsider time". Communications of the ACM. 37 (11): 95–99. doi:10.1145/188280.188379.
  33. ^ "articles58". Shef.ac.uk. 2007-06-29. Archived from the original on 2007-06-29. Retrieved 2017-10-25.
  34. ^ "Ancient Discoveries, Episode 11: Ancient Robots". History Channel. Retrieved 2008-09-06.[죽은 유튜브 링크]
  35. ^ Kirsch, Russell A., "Earliest Image Processing", NISTS Museum; SEAC and the Start of Image Processing at the National Bureau of Standards, National Institute of Standards and Technology, archived from the original on 2014-07-19
  36. ^ Kleinrock, Leonard (1961), "Information flow in large communication nets", RLE Quarterly Progress Report (1)
  37. ^ Milner, R. (1993). "Elements of interaction: Turing award lecture". Communications of the ACM. 36: 78–89. doi:10.1145/151233.151240.
  38. ^ Nakamoto, Satoshi (2009-05-24). ""Bitcoin: A Peer-to-Peer Electronic Cash System" (PDF)" (PDF). bitcoin.org.
  39. ^ Fred Joseph Gruenberger, JOHNIAC의 역사, 랜드 메모 5654
  40. ^ Kak, Subhash C. (January 1987). "The Paninian approach to natural language processing". International Journal of Approximate Reasoning. 1 (1): 117–130. doi:10.1016/0888-613X(87)90007-7.
  41. ^ "Judea Pearl". ACM.
  42. ^ "Olivetti Programma 101 Electronic Calculator". The Old Calculator Web Museum. technically, the machine was a programmable calculator, not a computer.
  43. ^ "2008/107/1 Computer, Programma 101, and documents (3), plastic / metal / paper / electronic components, hardware architect Pier Giorgio Perotto, designed by Mario Bellini, made by Olivetti, Italy, 1965–1971". www.powerhousemuseum.com. Retrieved 2016-03-20.
  44. ^ "Olivetti Programma 101 Electronic Calculator". The Old Calculator Web Museum. It appears that the Mathatronics Mathatron calculator preceeded [sic] the Programma 101 to market.
  45. ^ "A.M. Turing Award Laureate – Amir Pnueli". amturing.acm.org. Retrieved 2018-11-04.
  46. ^ a b Rabin, M. O.; Scott, D. (1959). "Finite Automata and Their Decision Problems". IBM Journal of Research and Development. 3 (2): 114. doi:10.1147/rd.32.0114. S2CID 3160330.
  47. ^ a b Rabin, M. O. (1977). "Complexity of computations". Communications of the ACM. 20 (9): 625–633. doi:10.1145/359810.359816.
  48. ^ a b Scott, D. S. (1977). "Logic and programming languages". Communications of the ACM. 20 (9): 634–641. doi:10.1145/359810.359826.
  49. ^ Nigel Tout. "The Busicom 141-PF calculator and the Intel 4004 microprocessor". Retrieved 2009-11-15.
  50. ^ Federico Faggin, 최초의 마이크로프로세서 제작, IEEE 솔리드 스테이트 서킷 매거진, Winter 2009, IEEE Xplore
  51. ^ Japan, Information Processing Society of. "Shima Masatoshi-Computer Museum". museum.ipsj.or.jp. Retrieved 2017-10-25.
  52. ^ 2007 튜링상 수상자 발표
  53. ^ Claude Shannon (1948). "Bell System Technical Journal". Bell System Technical Journal.
  54. ^ Wilkinson, J. H. (1971). "Some Comments from a Numerical Analyst". Journal of the ACM. 18 (2): 137–147. doi:10.1145/321637.321638. S2CID 37748083.
  55. ^ Copeland, B. Jack (2017-10-25). Zalta, Edward N. (ed.). The Stanford Encyclopedia of Philosophy. Metaphysics Research Lab, Stanford University. Retrieved 2017-10-25 – via Stanford Encyclopedia of Philosophy.

원천

외부 링크