미래를 바꾼 아홉 가지 알고리즘

미래를 바꾼 아홉 가지 알고리즘

한줄 서평 : 배경으로 숨은 기술을 전경으로 끌어올려 프로그래머와 컴퓨터과학자가 어떻게 다른지 알려주는 책

내가 바라보는 대상에 관한 이해가 만족감과 경탄을 낳기 마련이다.(29p)

인간은 가십과 비밀을 사랑한다.그리고 암호학의 목표는 비밀 사항을 전달하는 것이기에 우리는 모두 타고난 암호학자인 셈이다.(74p)

고급 암호 표준(AES, Advanced Encryption Standard)는 다양한 설정으로 이용할 수 있지만 일반적으로는 16자짜리 블록을 128비트 키와 함께 이용해 10차례의 혼합 계산을 하는 방식으로 사용한다.(80p)

컴퓨터가 실제로 이를 행할 때 혼합 계산은 이산 누승법이라 부르고 원 상태로 돌리는 계산은 이산 로그라 부른다. 그리고 컴퓨터가 이산 로그를 효율적으로 계산할 방법이 없기에 이산 누승법은 일방향 행위의 종류가 된다.(92p)

누군가에게 그가 오류에 빠져 있다고 보여주는 것과 진리를 그 사람에게 안겨주는 것은 다르다. - 존 로크, 『인간지성론』(103p)

신뢰할 수 없는 메시지라도 충분히 많이 반복하면 이를 우리가 원하는 정도로 신뢰할 만한 메시지로 만들 수 있다.(110p)

대부분 과학자는 클로드 섀년의 1948년 논문을 정보 이론 분야의 탄생으로 간주한다. <수학적 통신 이론>이라고 명명된 이 탁월한 논문은 섀넌의 전기에 '정보 시대의 대헌장'이라고 기술되었다.

1990년대 이래 저밀도 패리티 검사 코드로 알려진 접근이 상당한 주목을 받아 왔으며, 오늘날 위성 TV로부터 심우주 탐사에 이르는 애플리케이션에서 이 코드를 이용한다. 그러므로 이번 주말에 고화질 위성 TV를 보면서 이 기분 좋은 아이러니를 한 번 생각해 보라. 재미있게도, 지금 우리가 즐거운 주말을 보낼 수 있는 것은 바로 리처드 해임이 주말 업무에서 느낀 좌절감에서 출발했으니.(131p)

해석기관은 무언가를 고안해 내는 척도 하지 못한다. 하지만 인간이 명령하는 접을 안담ㄴ 모든 것을 해낼 수 있다. - 에이다 러브레이스(133p)

'인접이웃' 거리를 이용하는 시스템은 약 97%의 정확도로 잘 작동한다. 연구자들은 '인접이웃' 거리에 대한 더 정교한 정의를 찾고자 막대한 노력을 쏟았다. 인정이웃 분류자는 최신 거리 측정 기술을 이용해 손으로 쓴 숫자의 99.5% 이상의 정확도를 달성할 수 있다.(144p)

인간 뇌로 들어가 뉴런 간의 연결 강도를 분석해 본다면 거의 대부분이 무작위로 나타날 것이다. 그러나 이 연결 강도의 허술한 집합이 총체적으로 작동할 때 인간의 지적 행동을 산출한다!(161p)

직관이 좌우하는 업무에서 기계적인 업무로의 점진적 변화는 꾸준히 이어지고 있다. 인공지능과 패턴 인식은 서서히 범위를 확장하고 있으며 성능을 향상시키고 있다.(165p)

정보를 저장하는 여타 방식으로부터 데이터베이스를 구별하는 핵심 속성은 데이터베이스에 있는 정보가 사전에 정의된 구조를 가진다는 점이다.(194p)

트랜잭션은 데이터베이스 세계에서 가장 중요한 개념일 것이다. 그러나 트랜잭션의 정의와 필요성을 이해하려면 컴퓨터에 관한 두 가지 사실을 받아들여야 한다. 첫 번째는 누구에게나 익숙한 사실이다. 이는 프로그램이 충돌한다는 점이다. 그리고 프로그램은 충돌하면, 기존에 하던 모든 일을 잊는다. 컴퓨터 파일 시스템에 직접 저장한 정보만 보존된다. 두 번째 사실은 잘 알려져 있지 않지만 매우 중요하다. 이는 하드 드라이브와 플래시 메모리 스틱 같은 컴퓨터 저장 장치는 적은 양의 데이터만을 동시에 쓸 수 있다는 점이다. 이는 약 500자 정도에 해당한다. 컴퓨터 사용자는 한 번에 저장하는 데이터의 양에 이렇게 작은 크기의 제한이 있다는 사실을 눈치채지 못한다. 이는 오늘날 드라이브가 이런 500자 쓰기를 1초에 수백, 수천 번을 실행할 수 있기 때문이다. 그러나 디스크의 내용은 한 번에 수백 글자만 바뀐다는 사실에는 변함이 없다.(196p)

모든 사람이 체계적이지는 않다. 하지만 체계적인지 여부와 상관없이 매우 체계적인 사람이 가진 훌륭한 무기 중 하나는 알고 있을 것이다. 바로 '할 일' 목록이다. […] 컴퓨터과학자들도 유사한 개념으로 '미리 쓰기 로그(write-ahead logging)'란 용어를 쓴다.(202p)

IBM 연구원 E. F. 코드가 매우 영향력 있는 그의 1970년대 논문 <대규모 공유 데이터 뱅크를 위한 관계 모형>에서 관계형 데이터베이스를 주장했다.(225)

데이터베이스는 연산 도중에 하드웨어가 망가질 염려 때문에 만들어졌지만, 효율성과 신뢰성을 지닌다.(226p)

지수 자물쇠 및 지수 키 체계는 1970년대에 이 시스템을 처음 발표한 고안자의 이름(로날드 라이베스트, 아디 샤미르, 레너드 에이들먼)을 따라 RSA 디지털 서명 체계로 알려져 있다.(252p)

RSA가 정말로 안전한지에 관한 사안은 컴퓨터과학 전체에서 가장 흥미로운 질문 중 하나다. 이런 이유 중 하나는 이 질문이 고대의 풀리지 않은 수학 문제인 소인수분해와 최근의 물리학과 컴퓨터과학 연구 간 교차점에 있는 관심 주제인 양자 컴퓨팅에 모두 의존한다는 점이다.(252p)

"컴퓨터 프로그램은 계산을 끝내고 멈출 수 있을까? 아니면 멈추지 않고 영원히 계속해서 계산할 수 있을까?" 컴퓨터 프로그램이 결국 종료되는지, 즉 정지(halt)하는지에 관한 질문은 정지 문제(Halting Problem)라고 알려져 있다. 튜링의 위대한 업적은 컴퓨터과학자들이 '결정 불가능성'이라고 부르는, 다양하게 변형된 형태의 정지 문제를 증명해냈다는 것이다. 결정 불가능한 문제란, 컴퓨터 프로그램을 작성해서 해결할 수 없는 문제다.(293p)

모든 컴퓨터와 인간이 동등한 계산력을 가진다는 개념은 현대 철학 용어로 처치-튜링 명제로 알려져 있다.(297p)

결정 불가능성의 한계는 우리 앞에 놓인 천재뿐 아니라 우리 안의 천재, 즉 정신에도 적용될 수 있다.(298p)