B-트리와 데이터베이스 인덱스 이론 (왜 DB는 B-Tree를 선택하는가?)
섹션
1083 페이지
Posts
그래프 이론과 다익스트라법·A* 알고리즘: 경로 탐색의 수학적 기반과 구현
비잔틴 장군 문제와 합의 알고리즘의 심연: Paxos, Raft, BFT의 구조
정보 이론과 섀넌의 엔트로피: 데이터 압축과 통신의 한계 탐구
"P vs NP 문제"의 전모와 계산 복잡도 클래스: 밀레니엄 현상 문제 해설과 프로그래밍적 의의
람다 대수(Lambda Calculus)와 함수형 프로그래밍의 기원: 알론조 처치의 이론에서 Lisp, Haskell까지
양자 컴퓨터의 원리와 쇼어의 알고리즘: 왜 양자 계산은 암호를 깰 수 있을까?
오토마타와 형식 언어 이론: 정규 표현식의 이면과 촘스키 계층
튜링 머신과 계산 가능성 이론: 앨런 튜링의 사고 실험과 '정지 문제'
CAP 정리와 분산 시스템：분산 DB가 안고 있는 본질적인 딜레마
암호화폐와 비트코인: 그 역사, 수리적 기반, 그리고 미래
게르트 팔팅스: 모델 추측을 해결한 현대 정수론의 거장
앤드루 와일즈: 페르마의 마지막 정리를 증명한 고독한 수학자
앨런 베이커: 초월수론에 혁명을 일으킨 필즈상 수상 수학자
히로나카 헤이스케: 특이점 해소 정리와 창조성의 탐구
고다이라 구니히코: 일본 최초의 필즈상 수상자와 그의 기하학의 교향곡
시무라 고로: 현대 수학에 우뚝 솟은 거봉의 생애와 업적
알렉산더 그로텐디크: 20세기 위대한 수학자의 생애와 업적
이토 기요시: 확률미분방정식의 아버지와 현대 금융을 지탱하는 수학
타니야마 유타카: 미해결 문제에 도전한 천재 수학자의 생애와 업적
