목차
72 처지: ACM, 데니스 리치, 데이나 스콧, 더글러스 엥겔바트, 도널드 커누스, 라이브러리, 레슬리 램포트, 로버트 칸, 로버트 플로이드, 로널드 라이베스트, 리처드 해밍, 마빈 민스키, 마이클 스톤브레이커, 멀틱스, 모리스 윌크스, 미하엘 라빈, 객체 지향 프로그래밍, 개인용 컴퓨터, 버틀러 램슨, 검증, 고성능 컴퓨팅, 관계형 데이터베이스, 분산 컴퓨팅, 기계 학습, 빈트 서프, 구글, 니클라우스 비르트, 스티븐 쿡, 운영 체제, 페르난도 J. 코바토, 페테르 나우르, 이반 서덜랜드, 인공지능, 인텔, 제임스 H. 윌킨슨, 존 매카시 (컴퓨터 과학자), 존 배커스, 짐 그레이, 찰스 바크만, 찰스 앤터니 리처드 호어, 축소 명령어 집합 컴퓨터, 컴파일러, 컴퓨터 과학, 컴퓨터 그래픽스, 컴퓨터 구조, 컴퓨터 네트워크, 컴퓨터 프로그래밍, 켄 톰프슨, 케네스 아이버슨, 유리스 하르트마니스, ... 색인을 확장하십시오 (22 더) »
- 시스템 과학상
- 앨런 튜링
- 컴퓨터 과학상
ACM
ACM(Association for Computing Machinery)은 1947년에 설립된 세계 최초의 컴퓨터 분야의 학술과 교육을 목적으로 하는 각 분야 학회들의 연합체이.
보다 튜링상와 ACM
데니스 리치
스 매캘리스테어 리치(1941년 9월 9일 ~ 2011년 10월 12일)는 미국의 저명한 전산학자이자 현대 컴퓨터의 선구자이.
보다 튜링상와 데니스 리치
데이나 스콧
이나 스튜어트 스콧(1932~)은 미국의 컴퓨터 과학자·수리논리학자이.
보다 튜링상와 데이나 스콧
더글러스 엥겔바트
스 엥겔바트(Douglas C. Engelbart, 1925년 1월 30일 ~ 2013년 7월 2일, 오리건 주 출생)는 노르웨이/스웨덴계 미국인 발명가이.
도널드 커누스
어빈 커누스(Donald Ervin Knuth,, 1938년 1월 10일 위스콘신 주 밀워키 출생)는 미국의 저명한 컴퓨터 과학자이며, 현재 스탠퍼드 대학교의 명예교수이.
보다 튜링상와 도널드 커누스
라이브러리
이브러리(library)는 영어로 도서관을 뜻하며, 다음을 가리.
보다 튜링상와 라이브러리
레슬리 램포트
슬리 램포트 (1941년 2월 7일 뉴욕 시 출생)는 미국의 컴퓨터 과학자이.
보다 튜링상와 레슬리 램포트
로버트 칸
버트 칸 로버트 칸(Robert E. Kahn, 1938년 12월 23일-)은 빈튼 써프와 함께 인터넷에서 정보 전달을 위해 사용되는 기술인 TCP/IP 프로토콜을 만들었.
보다 튜링상와 로버트 칸
로버트 플로이드
버트 플로이드 (Robert W Floyd, 1936년 6월 8일 – 2001년 9월 25일)는 1978년에 튜링상을 수상한 저명한 전산학자이.
로널드 라이베스트
린 라이베스트(Ronald Lorin Rivest, 1947년 ~)는 미국의 암호학자이.
리처드 해밍
리처드 웨슬리 해밍(1915년 2월 11일 ~ 1998년 1월 7일)은 미국의 수학자이.
보다 튜링상와 리처드 해밍
마빈 민스키
마빈 리 민스키(Marvin Lee Minsky, 1927년 8월 9일 ~ 2016년 1월 24일)는 인공지능(AI) 분야를 개척한 미국인 과학자이.
보다 튜링상와 마빈 민스키
마이클 스톤브레이커
마이클 스톤브레이커(Michael Stonebraker, 1943년 10월 11일~)는 데이터베이스 연구를 전문으로 하는 컴퓨터 과학자이.
멀틱스
멀틱스(Multics, Multiplexed Information and Computing Service)는 현대의 운영 체제에 큰 영향을 미친 초기 시분할 운영 체제이.
보다 튜링상와 멀틱스
모리스 윌크스
모리스 빈센트 윌크스 경(Sir Maurice Vincent Wilkes, 1913년 6월 26일~2010년 11월 29일)은 컴퓨팅의 일부 발전에 중대한 기여를 한 영국의 컴퓨터 과학자이.
보다 튜링상와 모리스 윌크스
미하엘 라빈
미하엘 오제르 라빈(1931년 9월 1일 ~)은 이스라엘의 저명한 전산학자이.
보다 튜링상와 미하엘 라빈
객체 지향 프로그래밍
객체 지향 프로그래밍()은 컴퓨터 프로그래밍의 패러다임의 하나이.
개인용 컴퓨터
Smaky-100 개인용 컴퓨터(는 기업이나 가정에서 개인이 사용하는 컴퓨터를 말한다. 보통 책상 위에 놓고 사용할 수 있을 정도의 크기로, PC라는 이름은 1970년대 초 미국의 IBM사와 휴렛 팩커드사가 발매한 기종에 처음 사용되었다. 이때는 트랜지스터 방식이었으나 그 후 마이크로 컴퓨터의 등장으로 본격적인 PC 시대를 맞게 되었다.
보다 튜링상와 개인용 컴퓨터
버틀러 램슨
버틀러 W. 램슨(Butler W. Lampson, 1943년 12월 23일~)은 저명한 컴퓨터 과학자.
보다 튜링상와 버틀러 램슨
검증
증(檢證)은 법관이 자기의 감각으로 어떤 대상의 성질이나 상태 따위를 인식하여 증거를 조사하는 일을 말. 형사소송법에서는 사람, 장소, 물건의 성질, 형상을 오감의 작용에 의하여 인식하는 강제처분을 의미하며, 법원의 검증과 수사기관이 하는 검증으.
보다 튜링상와 검증
고성능 컴퓨팅
스케일 센터에 있는 고급 펜텀 소스 고성능 컴퓨팅()은 고급 연산 문제를 풀기 위하여 슈퍼컴퓨터 및 컴퓨터 클러스터를 사용하는 것을 말. 최근에는 테라플롭스 이상의 규모를 HPC에 사용되는 컴퓨터를 구분하는 기준으로 쓴.
보다 튜링상와 고성능 컴퓨팅
관계형 데이터베이스
형 데이터베이스(關係形 Database, Relational Database,, RDB)는 키(key)와 값(value)들의 간단한 관계를 테이블화 시킨 매우 간단한 원칙의 전산정보 데이터베이스이.
분산 컴퓨팅
분산 컴퓨팅(Distributed computing)은 인터넷에 연결된 여러 컴퓨터들의 처리 능력을 이용하여 거대한 계산 문제를 해결하려는 분산처리 모델이.
보다 튜링상와 분산 컴퓨팅
기계 학습
학습(機械學習) 또는 머신 러닝()은 인공 지능의 한 분야로, 컴퓨터가 학습할 수 있도록 하는 알고리즘과 기술을 개발하는 분야를 말. 가령, 기계 학습을 통해서 수신한 이메일이 스팸인지 아닌지를 구분할 수 있도록 훈련할 수 있.
보다 튜링상와 기계 학습
빈트 서프
2007년, 벵갈루루에서 연설하는 빈트 서프 빈트 그레이 서프(Vinton Gray Cerf, 1943년 6월 23일~)는 인터넷과 TCP/IP 프로토콜의 탄생에 기여한 공로로 '인터넷의 아버지' 중 한 사람으로 꼽히는 미국의 전산학자이.
보다 튜링상와 빈트 서프
구글
LLC()는 전 세계의 정보를 체계화하여 모든 사용자가 편리하게 이용할 수 있도록 하는 것을 목표로 하는 미국의 다국적 기업이.
보다 튜링상와 구글
니클라우스 비르트
우스 에밀 비르트(1934년 2월 15일~)는 파스칼을 포함해 다양한 프로그래밍 언어를 설계했으며 소프트웨어 공학의 고전적 주제들을 선도해온 스위스의 컴퓨터 과학자이다. 1984년 그는 일련의 혁신적인 컴퓨터 언어들을 개발한 공로로 튜링상을 받았다.
스티븐 쿡
스티븐 아서 쿡(Stephen Arthur Cook, 1939년 12월 14일~)은 미국의 전산학자이다. 1971년 ACM 《SIGACT Symposium on the Theory of Computing》에 실린 논문 〈The Complexity of Theorem Proving Procedures〉에서 NP-완전의 개념을 확립한 것으로 유명하다. 이 논문에 들어있는 쿡의 정리는 충족 가능성 문제가 NP-완전임을 증명하는 것이다.
보다 튜링상와 스티븐 쿡
운영 체제
운영 체제(運營 體制) 또는 오퍼레이팅 시스템(OS)은 시스템 하드웨어를 관리할 뿐 아니라 응용 소프트웨어를 실행하기 위하여 하드웨어 추상화 플랫폼과 공통 시스템 서비스를 제공하는 시스템 소프트웨어이.
보다 튜링상와 운영 체제
페르난도 J. 코바토
르난도 조세 "코비" 코바토(Fernando José "Corby" Corbató, 1926년 7월 1일~)는 저명한 미국의 컴퓨터 과학자로서, 시분할 운영 체제의 선구자로 잘 알려져 있.
페테르 나우르
르 나우르(Peter Naur, 1928년 10월 25일 ~ 2016년 1월 3일)는 덴마크 출신으로 전산학의 선구자 중 한 명이.
보다 튜링상와 페테르 나우르
이반 서덜랜드
이반 에드워드 서덜랜드(Ivan Edward Sutherland, 1938년 5월 16일 ~, 네브래스카 주 헤이스팅스 출생)는 미국의 컴퓨터 과학자이자 인터넷과 컴퓨터 그래픽의 선구자이.
보다 튜링상와 이반 서덜랜드
인공지능
인공지능(人工知能)은 기계로부터 만들어진 지능을 말. 컴퓨터 공학에서 이상적인 지능을 갖춘 존재, 혹은 시스템에 의해 만들어진 지능, 즉 인공적인 지능을 뜻. 일반적으로 범용 컴퓨터에 적용한다고 가정.
보다 튜링상와 인공지능
인텔
인텔(Intel)은 반도체의 설계와 제조를 하는 미국의 다국적 기업이.
보다 튜링상와 인텔
제임스 H. 윌킨슨
제임스 하디 윌킨슨(James Hardy Wilkinson) FRS (1919년 9월 27일 ~ 1986년 10월 5일)은 특히 물리학과 공학에 유용한 응용수학과 컴퓨터 과학의 경계에 위치한 수치 해석 분야에서 저명한 인물이.
존 매카시 (컴퓨터 과학자)
존 매카시(John McCarthy, 1927년 9월 4일 - 2011년 10월 24일)는 미국의 전산학자이자 인지과학자이.
존 배커스
존 워너 배커스(John Warner Backus, 1924년 12월 3일 ~ 2007년 3월 17일)는 미국의 컴퓨터 과학자이.
보다 튜링상와 존 배커스
짐 그레이
제임스 니콜라스 "짐" 그레이(James Nicholas "Jim" Gray, 1944년 1월 12일 ~ 2007년 1월 28일 바다에서 실종, 2012년 5월 16일 사망 선언)는 미국의 컴퓨터 과학자로, 1998년 데이터베이스와 트랜잭션 처리 연구 및 시스템 구현에 기여한 점을 인정 받아 튜링상을 수상..
보다 튜링상와 짐 그레이
찰스 바크만
스 윌리엄 찰리 바크만(Charles William "Charlie" Bachman, 1924년 12월 11일 ~ 2017년 7월 13일)은 미국의 컴퓨터 과학자이.
보다 튜링상와 찰스 바크만
찰스 앤터니 리처드 호어
스 앤터니 리처드 호어 경, Kt (Sir Charles Antony Richard Hoare, 1934년 1월 11일 ~)은 영국의 컴퓨터 과학자이.
축소 명령어 집합 컴퓨터
축소 명령어 집합 컴퓨터(Reduced Instruction Set Computer, RISC)는 CPU 명령어의 개수를 줄여 하드웨어 구조를 좀 더 간단하게 만드는 방식으로, 마이크로프로세서를 설계하는 방법 가운데 하나이며, SPARC, MIPS 등의 아키텍처에서 사용.
컴파일러
일반적인 다중 언어, 다중 대상 컴파일러의 동작 모습. 컴파일러(compiler, 순화 용어: 해석기, 번역기)는 특정 프로그래밍 언어로 쓰여 있는 문서를 다른 프로그래밍 언어로 옮기는 프로그램을 말. 원래의 문서를 소스 코드 혹은 원시 코드라고 부르고, 출력된 문서를 목적 코드라고 부른.
보다 튜링상와 컴파일러
컴퓨터 과학
학()은 전산 이론, 하드웨어 및 소프트웨어에 중점을 둔 정보과학의 한 분야이.
보다 튜링상와 컴퓨터 과학
컴퓨터 그래픽스
유타 주전자의 현대적 렌더링. 컴퓨터 그래픽스(Computer Graphics, CG)은 컴퓨터를 이용해 실제 세계의 영상을 조작하거나 새로운 영상을 만들어내는 기술을 가리.
컴퓨터 구조
250px 컴퓨터 구조(computer architecture)는 컴퓨터 공학에서 개념의 설계요, 컴퓨터 시스템의 근간이 되는 운영 구조이.
보다 튜링상와 컴퓨터 구조
컴퓨터 네트워크
퓨전테크놀로지센터에서 차세대 네트워크에 대해 세미나중인 일본정보통신연구소 연구원 컴퓨터 네트워크(computer network) 또는 컴퓨터망()은 노드들이 자원을 공유할 수 있게 하는 디지털 전기통신망의 하나이.
컴퓨터 프로그래밍
밍() 또는 간단히 프로그래밍(programming) 혹은 코딩(coding)은 하나 이상의 관련된 추상 알고리즘을 특정한 프로그래밍 언어를 이용해 구체적인 컴퓨터 프로그램으로 구현하는 기술을 말. 프로그래밍은 기법, 과학, 수학, 공학적 속성들을 가지고 있.
켄 톰프슨
스 레인 톰프슨(Kenneth Lane Thompson, 1943년 2월 4일 ~)은 미국의 컴퓨터 프로그래머로, AT&T 벨 연구소에서 유닉스와 플랜 9 운영 체제의 개발을 주. C언어의 모체가 된 B언어를 개발.
보다 튜링상와 켄 톰프슨
케네스 아이버슨
스 E. 아이버슨(Kenneth Eugene Iverson, 1920년 12월 17일 ~ 2004년 10월 19일)은 전산학자였.
유리스 하르트마니스
유리스 하르트마니스(Juris Hartmanis, 1928년 7월 7일)는 라트비아의 과학자이.
유디 펄
유디 펄(Judea Pearl, 1936년 9월 4일~)은 이스라엘계 미국인 컴퓨터 과학자이자 철학자이며, 인공지능에 대한 확률적 접근과 베이즈 네트워크라는 용어를 만든 것으로 잘 알려져 있. 구조 모델에 기반한 인과적, 반(反)사실적 추론에 대한 이론을 발전시킨 공로를 인정받.
보다 튜링상와 유디 펄
유닉스
유닉스()는 교육 및 연구 기관에서 즐겨 사용되는 범용 다중 사용자 방식의 시분할 운영 체제이.
보다 튜링상와 유닉스
휫필드 디피
베일리 휫필드 ‘휘트’ 디피(Bailey Whitfield “Whit” Diffie, 1944년 6월 5일 ~)는 미국의 암호학자이.
보다 튜링상와 휫필드 디피
팀 버너스리
버너스리 경(1955년 6월 8일 ~)은 영국의 컴퓨터 과학자이.
보다 튜링상와 팀 버너스리
수치해석학
바빌로니아 점토판 YBC 7289(기원전 1800–1600경) http://www.math.ubc.ca/~cass/Euclid/ybc/ybc.html. (Image by Bill Casselman) 수치해석학(數値解析學, numerical analysis)은 해석학 문제에서 수치적인 근삿값을 구하는 알고리즘을 연구하는 학문이.
보다 튜링상와 수치해석학
오류 검출 정정
오류 검출 정정(誤謬檢出訂正) 또는 오류 제어(誤謬制御)는 컴퓨터 과학과 전기 통신 분야 응용에서의 정보 이론과 코딩 이론에서 신뢰할 수 없는 통신 채널 위에서 디지털 데이터를 신뢰성 있게 전달하는 기술이.
호환 시분할 시스템
호환 시분할 시스템(Compatible Time-Sharing System, CTSS)은 최초의 시분할 운영 체제들 가운데 하나이.
에드거 F. 커드
에드거 프랭크 "테드" 커드(Edgar Frank "Ted" Codd, 1923년 8월 23일 ~ 2003년 4월 18일)는 관계형 데이터베이스 이론에 중요한 공헌을 한 영국의 컴퓨터 과학자이.
에츠허르 데이크스트라
에츠허르 비버 데이크스트라(1930년 5월 11일 ~ 2002년 8월 6일)는 네덜란드의 컴퓨터 과학자이.
허버트 사이먼
버트 알렉산더 사이먼(Herbert Alexander Simon, 1916년 6월 15일 ~ 2001년 2월 9일)은 독일계 미국인으로 제한된 상황에서의 의사 결정 모델에 관한 이론으로 1978년 노벨 경제학상을 수상한 미국의 심리학자/경제학자 및 인지과학자.
보다 튜링상와 허버트 사이먼
프로그래밍 언어
C 프로그래밍 언어로 작성된 단순한 컴퓨터의 프로그램의 소스 코드. 컴파일되어 실행되었을 때 헬로 월드 메시지를 보여주고 있다. 구문 강조는 프로그래머들이 소스 코드의 요소를 인지할 수 있게 도움을 준다. 프로그래밍 언어는 컴퓨터 시스템을 구동시키는 소프트웨어를 작성하기 위한 언어이.
소프트웨어 공학
A-380 은 상당한 양의 소프트웨어를 사용하여 "종이 없는" 조종석을 창조하였다. 소프트웨어 공학으로 항공기 소프트웨어를 이루는 수백만행의 소스코드를 변환하고 계획하였다. 소프트웨어 공학(-工學)은 소프트웨어의 개발, 운용, 유지보수 등의 생명 주기 전반을 체계적이고 서술적이며 정량적으로 다루는 학문이다; 즉, 공학을 소프트웨어에 적용하는 것이.
앤드루 야오
앤드루 치치 야오(Andrew Chi-Chih Yao,, 1946년 12월 24일 -)는 저명한 전산학자이.
보다 튜링상와 앤드루 야오
앨런 뉴얼
앨런 뉴얼(Allen Newell, 1927년 3월 19일 - 1992년 7월 19일)은 초기의 인공지능 연구자이.
보다 튜링상와 앨런 뉴얼
앨런 튜링
앨런 매티슨 튜링(OBE, FRS, 1912년 6월 23일 ~ 1954년 6월 7일)은 영국의 수학자, 암호학자, 논리학자이자 컴퓨터 과학의 선구적 인물이.
보다 튜링상와 앨런 튜링
앨런 펄리스
앨런 제이 펄리스(Alan Jay Perlis, 1922년 4월 1일 ~ 1990년 2월 7일)는 프로그래밍 언어 분야에서 선구적인 공로를 했으며, 이를 인정받아 튜링상을 최초로 수상한 미국의 컴퓨터 과학자이.
보다 튜링상와 앨런 펄리스
앨런 케이
앨런 커티스 케이(1940년 5월 17일 ~)는 미국의 전산학자이.
보다 튜링상와 앨런 케이
알고리즘
알고리즘(라틴어, 독일어: Algorithmus)은 수학과 컴퓨터 과학, 언어학 또는 관련 분야에서 어떠한 문제를 해결하기 위한 일련의 절차를 공식화한 형태로 표현한 것을 말. 알고리즘은 연산, 데이터 진행 또는 자동화된 추론을 수행.
보다 튜링상와 알고리즘
암호학
200px 암호학(暗號學)은 정보를 보호하기 위한 언어학적 및 수학적 방법론을 다루는 학문으로 수학을 중심으로 컴퓨터, 통신 등 여러 학문 분야에서 공동으로 연구, 개발되고 있. 초기의 암호는 메시지 보안에 초점이 맞추어져 군사 또는 외교적 목적으로 사용되었지만, 현재는 메시지 보안이외에도 인증, 서명 등을 암호의 범주에 포함시켜 우리의 일상에서 떼 놓을 수 없는 중요한 분야가 되었.
보다 튜링상와 암호학
아디 샤미르
아디 샤미르(1952년 7월 6일 ~)는 이스라엘의 암호학자이.
보다 튜링상와 아디 샤미르
NP-완전
NP-완전(NP-complete, NP-C, NPC)은 NP 집합에 속하는 결정 문제 중에서 가장 어려운 문제의 부분집합으로, 모든 NP 문제를 다항 시간 내에 NP-완전 문제로 환산할 수 있. NP-완전 문제 중 하나라도 P에 속한다는 것을 증명한다면 모든 NP 문제가 P에 속하기 때문에, P-NP 문제가 P.
보다 튜링상와 NP-완전
RSA 암호
RSA는 공개키 암호시스템의 하나로, 암호화뿐만 아니라 전자서명이 가능한 최초의 알고리즘으로 알려져 있. RSA가 갖는 전자서명 기능은 인증을 요구하는 전자 상거래 등에 RSA의 광범위한 활용을 가능하게 하였.
보다 튜링상와 RSA 암호
참고하세요
시스템 과학상
- 튜링상
앨런 튜링
컴퓨터 과학상
또한 ACM 튜링상, 튜링 상로 알려져 있다.