「P vs NP問題」の全貌と計算複雑性クラス：ミレニアム懸賞問題の解説とプログラミング的意義
カテゴリ
70 ページ目
コンピュータサイエンス
オートマトンと形式言語理論：正規表現の裏側とチョムスキー階層
チューリングマシンと計算可能性理論：アラン・チューリングの思考実験と「停止性問題」
ラムダ計算（Lambda Calculus）と関数型プログラミングの起源：アロンゾ・チャーチの理論からLisp、Haskellへ
コンウェイのライフゲーム：単純なルールから生命のような複雑さが生まれるセル・オートマトン
四色問題（Four Color Theorem） - どんな地図も4色あれば塗り分けられるか
ゲーデルの不完全性定理：「絶対に証明できない真理」の数学的証明
停止性問題（Halting Problem）：絶対に作れない最強のプログラム
ロバート・フロイドの循環検出法（ウサギとカメのアルゴリズム）
素因数分解の限界と計算量のビッグオー(O)表記解説
