ミレニアム懸賞問題の頂点「P対NP問題」。多項式時間、クック=レビンの定理、暗号と最適化の運命を徹底解説。
マンデルブロ集合、海岸線のパラドックス、1次元と2次元の狭間にある分数次元。幾何学と測度論が解き明かす自然の秩序。
現代OSとCPUの根幹を支える仮想記憶システム。4段ページテーブルウォーク、TLBキャッシュ、ページフォールトの深層からメモリ回収アルゴリズムまで。
論理学の証明とコンピュータプログラムの完全な一致。直観主義論理、単純型付きラムダ計算からSystem F、依存型、そしてホモトピー型論(HoTT)が拓くバグなき世界までの完全解説。
平面地図の塗り分け問題を巡る数学史。ケンペの偽証明からアッペル&ハーケンの史上初コンピュータ証明、数学的「美」の再定義まで。
甘利俊一が創始した世界的理論。確率分布空間を幾何学化するフィッシャー情報計量、自然勾配法、機械学習への架け橋。
アラン・チューリング晩年の最高傑作。反応拡散方程式から立ち現れる動物の縞模様や幾何学パターンの驚異のメカニズム、線形安定性解析からPythonによる数値シミュレーション、最新の分子生物学に至るまでを完全網羅。
風の谷のナウシカから君たちはどう生きるかまで。日本が世界に誇るスタジオジブリの歴史、アニメーション技術、そしてテーマの変遷を全8章で完全解説。
人類史上最大のインフラはいかにして動いているのか。歴史、プロトコル、物理層から未来の通信までを徹底解剖。
スクラム、カンバン、そしてアジャイルソフトウェア開発宣言の真髄。
要件定義から運用まで。大規模プロジェクトを支える滝のようなプロセス。
マイケルソン・モーリーの実験からアインシュタインの相対性理論へ。
唯物史観の確立と労働者階級の現実。影の立役者の生涯と哲学。
デベロッパー、仲介、リート(REIT)。都市を創り、動かす人々のビジネスモデル。
東インド会社から現代のアルゴリズム取引に至る、金融市場の進化。
仮想マシンとの違い、イメージのレイヤー構造、そしてコンテナオーケストレーション。物理学、歴史、経済学の視点からコンテナ技術の本質を解き明かす。
2011年の東日本大震災を契機に生まれ、スタンプ文化や独自の通信アーキテクチャを通じて、アジアを代表するスーパーアプリへと成長したLINEの歴史と技術の全貌。
エンドツーエンド暗号化(E2EE)と、シンプルさを極めたUI/UXの哲学。
CFOP法から神の数字「20」まで、立体パズルに隠された数学の美。
テロメアの短縮、活性酸素、そして最新の抗老化(アンチエイジング)科学。