あとがき
『理論計算機科学教科書』は、数学的基礎から計算理論・複雑性理論・情報理論・暗号・並行計算までを、同一の視点（定義・証明・計算モデル）で辿れるように整理した教材です。
本書の狙い
理論計算機科学は「できること」と「できないこと」を、曖昧さのない形で切り分けるための言語です。本書では、各章の概念を暗記項目としてではなく、前提（定義）→主張（定理）→根拠（証明・帰着）という検証可能な単位として理解できる状態を目標にしています。
AI支援時代の位置づけ
AI（LLM）による生成や改修が高速化するほど、最終判断は検証手段（反例探索、テスト、形式仕様、証明、計算量の見積り）に寄せる必要があります。本書で扱う計算モデル・還元・複雑性の考え方は、生成物を評価するための基準（何を仮定し、何が保証できるか）を与えます。
AI支援執筆と検証方針
本書の改訂では、AI（LLM）を下書き・校正・整理の補助として利用する場合があります。ただし、AIの出力は未検証であることを前提に、次の方針で取り扱います。
- 一次情報優先: 定義・定理・標準・実務的注意点は、教科書・論文・公式仕様等の一次・準一次情報に寄せる。
- 再現性の確保: CI でのビルド・リンク/画像チェック等により、公開成果物として破綻しないことを優先する。
- レビュー可能性: 前提・境界条件・例示（仮定）を明記し、第三者が差分レビューできる形で更新する。
フィードバックと更新
誤植・不適切な表現・改善提案は、フィードバックページに記載の窓口から連絡してください。
- フィードバック（誤植・改善提案）: フィードバックページ
更新内容は更新履歴に記載します。参照・引用する場合は、対象バージョン（例: 1.1.0）を併記してください。
株式会社アイティードゥ
最終更新: 2026-01-28