二分探索 — ソート済み配列を半分ずつ削る二分探索の仕組みを、探索範囲を毎回半分にするという不変条件から解説します。実装の落とし穴 (中央値の求め方・境界条件・無限ループ)、時間計算量と空間計算量、反復と再帰で空間が変わる理由、適用条件を扱います。