논리학의 증명과 컴퓨터 프로그램의 완벽한 일치. 직관주의 논리, 단순 타입 람다 대수에서 System F, 의존 타입, 그리고 호모토피 타입 이론(HoTT)이 여는 버그 없는 세계까지 완벽 해설.
망델브로 집합, 해안선의 역설, 1차원과 2차원 사이에 있는 분수 차원. 기하학과 측도론이 밝혀내는 자연의 질서.
바람계곡의 나우시카부터 그대들은 어떻게 살 것인가까지. 일본이 세계에 자랑하는 스튜디오 지브리의 역사, 애니메이션 기술, 그리고 주제의 변천을 총 8장으로 완전 해설.
인류 역사상 최대의 인프라는 어떻게 움직이고 있는가. 역사, 프로토콜, 물리 계층부터 미래의 통신까지 철저하게 해부한다.
스크럼, 칸반, 그리고 애자일 소프트웨어 개발 선언의 정수.
마이컬슨-몰리의 실험에서 아인슈타인의 상대성이론으로.
요구사항 정의부터 운영까지. 대규모 프로젝트를 지탱하는 폭포수 같은 프로세스.
유물사관의 확립과 노동자 계급의 현실. 숨은 주역의 생애와 철학.
디벨로퍼, 중개업자, 그리고 리츠. 도시를 만들고 움직이는 사람들의 비즈니스 모델.
동인도 회사에서 현대의 알고리즘 거래에 이르는, 금융 시장의 진화.
가상 머신과의 차이, 이미지의 레이어 구조, 그리고 컨테이너 오케스트레이션. 물리학, 역사, 경제학의 관점에서 컨테이너 기술의 본질을 파헤친다.
2011년 동일본 대지진을 계기로 탄생해, 스티커 문화와 독자적인 통신 아키텍처를 통해 아시아를 대표하는 슈퍼 앱으로 성장한 LINE의 역사와 기술의 전모.
종단간 암호화(E2EE)와 극강의 심플함을 추구하는 UI/UX 철학.
텔로미어의 단축, 활성 산소, 그리고 최신 항노화(안티에이징) 과학.
CFOP 해법에서 신의 숫자 '20'까지, 입체 퍼즐에 숨겨진 수학의 아름다움.
무두질 기술부터 에이징(경년 변화)의 메커니즘까지.
보석부터 산업용 희소 금속까지, 암석에 숨겨진 지질학의 로망.
펜타프리즘의 광학 뷰파인더인가, EVF의 전자 처리인가. 사진기의 진화.
일반상대성이론, 사건의 지평선, 그리고 호킹 복사의 수수께끼.
독자적인 문화는 어떻게 육성되어, 근대 국가로 변모를 이루었는가.
