한국과학기술기획평가원(KISTEP) 외 2명
동진문화사
과학일반
0
2000년대 어느 날부터인가 양자컴퓨터, 양자통신, 양자센서 등이 많이 등장하기 시작했다. 양자물리학적 특성을 적용하면 초고속 연산, 초신뢰 통신, 초정밀 계측 등이 가능해져 다양한 분야에서 첨단 산업을 견인할 것으로 예측된다. 그러나 한편에서는 기존 암호체계의 무력화, 기술의 오남용 등에 대한 우려도 함께 제기 되고 있다. 이에 2023년 기술영향평가에서는 ‘양자과학기술’을 선정하여, 전문가와 시민이 함께 기술의 다양한 파급효과를 예측해 보고
소장 무료
신정수
지오북스
수학
“수학이 중요하다고 들었으나 수학도 그 중요성도 잘 이해할 자신이 없었다면, 이 책의 <제1부 수학의 기초원리>를 읽어 보면 좋습니다. 수학의 핵심을 이렇게 이해하기 쉽게 설명할 수 있다니 놀랍습니다. 인공지능의 발전에 놀라며 과학기술과 수학에 대해 막연한 불안감을 느끼고 있다면, 이 책의 <제2부 과학기술철학>을 읽어 보십시오. 저자가 경험한 기초 다지기 과정을 따라가다 보면 어느새 4차산업혁명 현장에서도 흔들리지 않을 자신감이 생길 것입니다
한국과학기술기획평가원 외 1명
주식회사 동진문화사
정부 연구개발 예산으로 추진한 국가 연구개발과제를 통해 다방면에서 성과가 창출되었습니다. 그 중 우수한 성과를 금년 한 해 동안 엄선하여 2023년 국가연구개발 우수성과 100선으로 선정·발표하고, 이를 소개하는 사례집을 발간하여 국민 여러분과 공유하며 널리알리고자 합니다.
원자력바로알기 편찬위원회 외 3명
한국에너지정보문화재단
우리 삶의 모든 활동에는 에너지가 필요합니다. 가정, 일터, 사회적 활동이 이루어지는 공공 영역 모두 에너지가 없다면 존속할 수 없습니다. 이처럼 에너지가 우리 삶의 근간을 이루기에 에너지에 대한 논의는 늘 중요한 사회적 담론이었습니다. 그래서 우리를 둘러싼 환경이 변화함에 따라 에너지에 대한 인식도 끊임없이 변화합니다. 상황에 맞는 에너지가 있을 뿐, 에너지에 옮고 그름이 없는 이유이기도 합니다. 그렇다면 지금 우리는 어떤 에너지 환경에 있을
이재범
지식함지
앨런 뉴얼은 미국의 컴퓨터 과학자이고 허버트 사이먼은 미국의 정치 과학자이다. 1975년에 튜링상을 공동 수상했다. 두 사람은 최초의 인공지능 프로그램인 로직 시어리스트를 만들었고 휴리스틱 방법론을 도입했다.
대여 무료
마이클 래빈은 이스라엘의 수학자이자 컴퓨터 과학자이고 데이나 스콧은 미국의 수학자이자 컴퓨터 과학자이다. 1976년에 튜링상을 공동 수상했다. 두 사람은 비결정적 유한 상태 기계를 제안해서 오토마타 이론에 큰 계기를 마련했다. 마이클 래빈은 새로운 오토마타 이론을 추가로 발표했으며 계산복잡도 이론을 처음 시작했다. 데이나 스콧은 표시적 의미론을 개척했다.
존 배커스는 미국의 컴퓨터 과학자이다. 1977년에 튜링상을 수상했다. 포트란 언어를 개발했으며 BNF 형식을 제안했다. 함수형 프로그래밍 언어 개발에도 힘썼다.
로버트 플로이드는 1978년에 튜링상을 수상한, 미국의 컴퓨터 과학자이다. 컴파일러를 위한 파싱 이론을 개척했으며 프로그래밍 언어를 위한 의미론 연구에 큰 공헌을 했다. 흑백 이미지 인쇄를 위한 디더링 알고리듬 개발로도 유명하다.
케네스 아이버슨은 1979년에 튜링상을 수상한, 미국의 컴퓨터 과학자이다. 그는 APL 언어를 개발했다.
토니 호어는 영국의 컴퓨터 과학자로 1980년에 튜링상을 수상했다. 퀵 정렬(Quicksort)을 발명했으며 프로그래밍 언어의 공리적 의미론, CSP 등 많은 업적을 남겼다.
에드거 커드는 미국의 컴퓨터 과학자로 1981년에 튜링상을 수상했다. 관계형 데이터베이스를 제안했으며 관계 대수, 관계 논리, 관계 정규화 등에 큰 기여를 했다.