コンピュータはなぜ0.1＋0.2を正確に計算できないのか：浮動小数点と誤差の科学
カテゴリ
77 ページ目
コンピュータサイエンス
計算を巻き戻せば、消費エネルギーを減らせるのか：可逆計算の可能性と限界
電源を入れてから画面が出るまで、何が起きているのか：コンピュータ起動の全過程
別々に書いたプログラムは、どうやって一つになるのか：リンカーとローダーの仕組み
P対NP問題の完全解剖：計算量理論の金字塔と未解決の深淵
型理論とカリー＝ハワード同型対応：命題＝型、証明＝プログラムの深遠なる調和
四色定理と計算機数学の革命：100年の難問と機械による証明の哲学
量子コンピュータの基礎：量子的重ね合わせとショアのアルゴリズム
公開鍵暗号の数学：RSAから楕円曲線暗号（ECC）へ
ブロックチェーンとコンセンサスアルゴリズム
MapReduceの哲学：Googleが世界を変えた分散処理
ガベージコレクション（GC）の進化史
コンテキストスイッチの代償と非同期処理（async/await）
コンパイラ最適化技術：SSA（静的単一代入）とは
ハッシュ関数の衝突耐性とSHA-3 (Keccak)
B木とB+木：データベースのインデックスがなぜあんなに速いのか
CAP定理とPACELC定理：分散データベースが抱えるジレンマ
確率的データ構造：Bloom FilterとHyperLogLog
正規表現エンジンと有限オートマトン
動的計画法（DP）とベルマン方程式
