v1.2.0

What's Changed

• Fix comprehensive review issues #1 and #2 by @ootakazuhiko in #3
• Convert Mermaid diagrams to professional SVG format by @ootakazuhiko in #4
• SVG図の見やすさを大幅改善 by @ootakazuhiko in #5
• Convert remaining Mermaid diagrams to professional SVG format by @ootakazuhiko in #6
• Convert remaining Mermaid diagrams to SVG format (Part 2) by @ootakazuhiko in #7
• 全章のMermaid図をSVG化して完全移行を完了 by @ootakazuhiko in #8
• 完全なMermaid図→SVG変換: 全残存図の最終処理完了 by @ootakazuhiko in #10
• 第2章SVG図表の校正修正 by @ootakazuhiko in #11
• Fix SVG diagram layout issues in chapters 1-2 by @ootakazuhiko in #12
• Complete remaining SVG diagram layout improvements by @ootakazuhiko in #13
• Fix SVG diagram layout issues based on GitHub issue #9 feedback by @ootakazuhiko in #15
• Unify book format with Book Publishing Template v3.0 by @ootakazuhiko in #16
• 理論計算機科学教科書用SVG図表の追加 by @ootakazuhiko in #18
• ライセンス更新: Creative Commons BY-NC-SA 4.0 対応 by @ootakazuhiko in #19
• docs: book-formatter v3 由来のCSS/JSに同期（Phase 3） by @ootakazuhiko in #62
• coNPの検証的特徴付けの厳密化とUNSAT例の明確化 (fix #36) by @ootakazuhiko in #42
• NP困難/NP完全の説明の厳密化と図の修正・TSP最適化の位置付け (fix #37) by @ootakazuhiko in #43
• Dijkstra法の非負辺前提を明記し、Bellman-Ford実装と誘導を追加 (fix #38) by @ootakazuhiko in #44
• 暗号利用モードの注意点追記＋AEAD推奨・RSA-OAEPの明記 (fix #39) by @ootakazuhiko in #45
• 情報理論の式の底をlog2に統一（AWGN・Shannon–Hartley・エントロピー上界）(fix #40) by @ootakazuhiko in #46
• 多テープ→1テープのO(t^2)シミュレーションの前提を補足 (fix #41) by @ootakazuhiko in #47
• 用語集の主要項目に関連章への内部リンクを追加 (fix #34) by @ootakazuhiko in #48
• 検索i18nの日本語化と共通用語データの整理（文字化け除去）(fix #20) by @ootakazuhiko in #49
• 正規表現→NFA(Thompson)の実装上の落とし穴と検証用テストケースを追記 by @ootakazuhiko in #50
• 署名方式の運用注意を追記（DSA/ECDSAのk再利用禁止・RFC6979・Schnorrの注意） by @ootakazuhiko in #51
• Riceの定理の適用例を追加（無限・固定語の包含・補有限） by @ootakazuhiko in #52
• Myhill–Nerodeと最小DFAの関係を補足（右同値類=最小状態数の直観） by @ootakazuhiko in #53
• Cook–Levin定理の構成スケッチを追記（CNFへの符号化の直観） by @ootakazuhiko in #54
• マスター定理の直観を補足（支配レベルと再帰木の簡易図） by @ootakazuhiko in #55
• 相互情報量の直観を補足（Venn風の重なり比喩と注意点） by @ootakazuhiko in #56
• 章末問題に短いヒントを追加（Ch.2/Ch.3） by @ootakazuhiko in #57
• データ構造の実務メモを追記（動的配列の再確保/ハッシュ負荷率・再ハッシュ/局所性/イテレータ無効化） by @ootakazuhiko in #58
• グラフの実務メモを追記（表現/CSR・最短路のバリアント/PQ選択/実装上の落とし穴） by @ootakazuhiko in #59
• 並行計算の実務メモを追記（メモリモデル/デッドロック回避/優先度逆転/ロックフリーの落とし穴） by @ootakazuhiko in #60
• READMEに本書の流儀を追記（log₂方針・内部リンク・実務メモの位置付け） by @ootakazuhiko in #61
• chore(license): unify to CC BY-NC-SA 4.0 via central license by @ootakazuhiko in #63
• chore(intro): remove unused placeholder chapters; unify under docs/src/introduction by @ootakazuhiko in #64
• docs(ch5): clarify UNSAT refuter; note standard multi-tape assumption by @ootakazuhiko in #68
• docs(ch11): add operational checklist (AEAD, IV/Nonce, RSA-OAEP, signatures) by @ootakazuhiko in #69
• docs(appendix D): expand cross-links to relevant chapters by @ootakazuhiko in #70
• fix: 前へ/次へナビゲーションの復旧 by @ootakazuhiko in #71
• figs(batch1): ch5 Big-O growth curves + ch10 binary entropy curve by @ootakazuhiko in #72
• figs(batch2): ch3 Thompson steps + ch8 Dijkstra step trace by @ootakazuhiko in #73
• docs: 内部リンク統一とパンくず統一（Phase #33/#27） by @ootakazuhiko in #74
• figs(batch3): PDA stack operation + BFS vs DFS compare by @ootakazuhiko in #75
• chore(svg): add svg-lint script (title/desc/viewBox) by @ootakazuhiko in #77
• figs(ch5 v2 pass1): accessibility headers for key diagrams by @ootakazuhiko in #78
• figs(batch4): ch10 AWGN capacity curve + ch5 style unification (arrows/legend) by @ootakazuhiko in #79
• figs(ch5 v2 pass2): accessibility + arrow width unification by @ootakazuhiko in #80
• chore(svg): accessibility headers for legacy diagrams; lint passes by @ootakazuhiko in #81
• figs(batch5): ch11 ECB/AEAD + ch12 HB/Deadlock/ABA by @ootakazuhiko in #82
• fix: 本文下の前へ/次へリンクの復旧（chapterベース） by @ootakazuhiko in #84
• fix: 前へ/次へリンクのフォールバック強化 by @ootakazuhiko in #83
• figs(ch5): polish inclusions diagram (multi-line labels, fit within boxes) by @ootakazuhiko in #85
• Unify format v3: defaults/permalink update by @ootakazuhiko in #90
• Unify bottom navigation (prev/next) with fallback logic by @ootakazuhiko in #88
• docs(ch3): 学習目標・まとめ・演習リンクの追加、付録Cに安定アンカー付与、用語統一 by @ootakazuhiko in #91
• docs: 全章に学習目標・まとめを追加、付録Cに章アンカーを追加、ch1-6に章末→付録導線 by @ootakazuhiko in #92
• figs(batch6): ch5 gadget, ch8 Kruskal/UF, ch3 PDA acceptance by @ootakazuhiko in #86
• Add navigation.yml for consistent prev/next order by @ootakazuhiko in #93
• docs: 用語統一（共通部分・ポンピング補題）と要点補足の追加 by @ootakazuhiko in #94
• chore(svg): 画像レスポンシブ対応 + 在庫棚卸し/リンタ整備（ISSUE #76） by @ootakazuhiko in #95
• ch5(svg): legendスタイル統一と注記明確化（ISSUE #76） by @ootakazuhiko in #96
• chore(ci): add nav + pages link check workflow by @ootakazuhiko in #100
• chore(ci): add nav + pages link check workflow by @ootakazuhiko in #101
• chore(ci): add nav + pages link check workflow by @ootakazuhiko in #99
• ch5(svg): パネル角丸の統一（rx 8px, ISSUE #76） by @ootakazuhiko in #98
• ch2(svg): テキストのはみ出し修正（2.1.2/2.6） by @ootakazuhiko in #102
• chore(ci): robust baseurl parse (YAML) + PyYAML install by @ootakazuhiko in #103
• ch5(svg): BPPラベルの二行化（可読性改善, ISSUE #76) by @ootakazuhiko in #97
• ch2(svg): 最下段パネルの左はみ出し修正（2.5/2.6 別PR） by @ootakazuhiko in #104
• fix(svg): 複数図のはみ出し・重なり修正（ch9/ch10/ch5/ch7） by @ootakazuhiko in #105
• fix(nav): add navigation.yml for src/* paths by @ootakazuhiko in #106
• docs(ch2): TM遷移規則の厳密化（境界例の追補） by @ootakazuhiko in #114
• docs(ch5): Cook–Levin直観図と還元チェックリストを追加 by @ootakazuhiko in #115
• docs(ch9): DPLL vs CDCL 比較図の追加 + 用語集追補 by @ootakazuhiko in #116
• chore: add CODEOWNERS (format/nav/CI) by @ootakazuhiko in #117
• fix(nav): sort chapters by numeric order by @ootakazuhiko in #118
• chore: add stale issue workflow + TRIAGE guide; update a11y report and HANDOFF by @ootakazuhiko in #119
• fix(nav): correct chapter order in navigation.yml by @ootakazuhiko in #120
• docs: glossary anchors (AEP, Prefix Code) + footnotes in Chapter 10 by @ootakazuhiko in #121
• fix(appendices): unify layout + fix sidebar links (no more 404s) by @ootakazuhiko in #122
• docs(4.2): add reduction template checklist + mini-example by @ootakazuhiko in #123
• docs(exercises): add ch4/ch6/ch3 exercises + Appendix C solutions by @ootakazuhiko in #124
• docs: glossary batch 2 + ch10 footnotes; 3-SAT→CLIQUE ex/solution by @ootakazuhiko in #126
• fix(nav): align prev/next titles; remove empty navigation.yml by @ootakazuhiko in #129
• docs(exercises-2): ch6 recurrence variants, ch3 mod-7 DFA, ch5 Independent-Set + solutions by @ootakazuhiko in #130
• fix(nav): align prev/next titles; remove empty navigation.yml by @ootakazuhiko in #128
• fix(nav): align prev/next titles; remove empty navigation.yml by @ootakazuhiko in #127
• feat(js): add safe-main.js and enable safe enhancements by @ootakazuhiko in #136
• chore: set CODEOWNERS (formatter/nav include vs others) by @ootakazuhiko in #139
• Fix issue #140 review corrections by @ootakazuhiko in #141
• Unify notation per Issue #142 and apply additional text improvements by @ootakazuhiko in #143
• fix(nav): align prev/next titles; remove empty navigation.yml by @ootakazuhiko in #135
• Stage2: 構成レビュー Round1（提案のみ） by @ootakazuhiko in #148
• fix(stage2): chapter titleをH1に整合 by @ootakazuhiko in #149
• fix: 第4章の見出し番号重複を解消 by @ootakazuhiko in #150
• fix: 導入ページのfront matter重複とH1不足を解消 by @ootakazuhiko in #151
• docs: 導入front matter整理と対角線論法の直感的説明の補強 by @ootakazuhiko in #146
• fix(stage2): 第6章のまとめ/章末問題を末尾へ移動 by @ootakazuhiko in #152
• feat/unify content and structure by @ootakazuhiko in #147
• Stage3: 第2章 表現・スタイル調整 by @ootakazuhiko in #153
• Stage3: 第1章 表現・スタイル調整 by @ootakazuhiko in #155
• docs: CONTRIBUTING.md の文末表記を整形 by @ootakazuhiko in #157
• docs: README の導入文末尾を整形 by @ootakazuhiko in #158
• Stage3: polish learning guide punctuation by @ootakazuhiko in #154
• Stage3: 第3章 冒頭のラベル行を整形 by @ootakazuhiko in #156
• Stage3: 第4章まとめの箇条書き表記を整合 by @ootakazuhiko in #160
• Stage3: 第5章の章末問題リンク表記を整合 by @ootakazuhiko in #161
• fix: 第7章のまとめ/章末問題を章末へ移動 by @ootakazuhiko in #163
• Stage3: 学習期間の範囲表記を統一（estimated_time） by @ootakazuhiko in #162
• Stage3: 範囲表記を統一（全体） by @ootakazuhiko in #164
• feat: 章末演習の補強と付録Cの略解追補（#112） by @ootakazuhiko in #165
• Move project-management out of docs/ by @ootakazuhiko in #166
• CI: docs禁止物チェックを追加 by @ootakazuhiko in #168
• Move docs/src to root src by @ootakazuhiko in #167
• fix: 公開サイトのGitHubリンクを非表示化しフィードバック導線を追加 by @ootakazuhiko in #183
• fix: 図版/画像の参照を baseurl 対応に統一 by @ootakazuhiko in #184
• fix: 付録参照/用語脚注をMarkdownリンク化 by @ootakazuhiko in #185
• fix: サイドバーの部立て/章タイトルをPurposeページに整合 by @ootakazuhiko in #186
• ci: 内部リンク/画像のリンク切れをhtmltestで検知 by @ootakazuhiko in #187
• docs: 付録C（解答）の対象範囲を明記（現時点: 第1〜6章） by @ootakazuhiko in #189
• docs: 学習ガイドにLLM活用プロトコル（検証必須）を追加 by @ootakazuhiko in #190
• 第11章: RC4の扱い明確化 + PQC追記 by @ootakazuhiko in #188
• feat: 実装課題の参照実装 + pytest/Hypothesis テスト + CI統合 by @ootakazuhiko in #191
• docs: 形式検証の最小実行例（Z3/TLA+/Lean）を追加 by @ootakazuhiko in #192
• [P2] 定義/定理等にstable ID付与 + index.json生成 by @ootakazuhiko in #193
• [P2] PDF/EPUBのオフライン配布（Release添付）+ CHANGELOG by @ootakazuhiko in #194
• [P2] 数学記法の表記揺れを整理 + 自動チェック by @ootakazuhiko in #195
• fix: SVG内テキストの< >をエスケープ（Release Artifacts向け） by @ootakazuhiko in #196
• fix: SVG内テキストの&をエスケープ by @ootakazuhiko in #197
• [P3] 付録G: AI/ML と理論計算機科学の接続 by @ootakazuhiko in #198
• fix: SVG内テキストの未エスケープな<を修正 by @ootakazuhiko in #199
• fix: PDFオフライン生成で集合差の\表記を正規化 by @ootakazuhiko in #200
• fix: Release PDF build (normalize Q\F etc) by @ootakazuhiko in #201
• Add downloads/changelog and Appendix G to main sidebar by @ootakazuhiko in #220
• Extend Appendix C solutions through Chapter 12 by @ootakazuhiko in #221
• Update CHANGELOG for 1.1.0 by @ootakazuhiko in #222
• [UX] 共通コア適用とprofile付与 by @ootakazuhiko in #223
• [UX] top page slots alignment by @ootakazuhiko in #224
• docs: トップページの想定読者・前提知識・所要時間を記載 by @ootakazuhiko in #225
• chore(qa): allowlist U+2212 minus sign by @ootakazuhiko in #226
• fix(docs): repair broken reference link by @ootakazuhiko in #227
• Sync shared assets v3.2.2 (theme safety + a11y) by @ootakazuhiko in #228
• chore: add book QA workflow (unicode + links) by @ootakazuhiko in #229
• chore: add .book-formatter placeholders by @ootakazuhiko in #230
• chore: make textlint blocking in Book QA by @ootakazuhiko in #231
• chore: add Jekyll build + site smoke to Book QA by @ootakazuhiko in #232
• chore: add PR template (QA/Pages checklist) by @ootakazuhiko in #233
• chore(ci): add layout risk scan to Book QA by @ootakazuhiko in #234
• chore(ci): bump book-formatter pin by @ootakazuhiko in #235
• chore(ci): bump book-formatter pin by @ootakazuhiko in #236
• chore(ci): bump book-formatter pin by @ootakazuhiko in #237
• fix(docs): update Ruby/Node prerequisites by @ootakazuhiko in #238
• Book QA に Markdown構造チェックを追加 by @ootakazuhiko in #239
• ci: actions/setup-python を v6 に更新 by @ootakazuhiko in #240
• ci: actions/setup-node を v6 に更新（workflow） by @ootakazuhiko in #241
• docs: resolve markdown-structure warnings by @ootakazuhiko in #242
• docs: resolve markdown-structure warnings in source docs by @ootakazuhiko in #243
• chore(ci): bump book-formatter pin to da2a49e by @ootakazuhiko in #244
• fix(docs): remove changelog placeholder by @ootakazuhiko in #245
• fix(nav): prev/next が prefix パスで崩れる問題を修正 by @ootakazuhiko in #246
• fix: GitHub/Edit links on Pages by @ootakazuhiko in #247
• docs: align README + npm scripts with GitHub Pages Jekyll by @ootakazuhiko in #248
• docs: normalize internal links to Pretty URLs by @ootakazuhiko in #249
• chore: enable cspell spellcheck by @ootakazuhiko in #250
• feat: improve keyboard accessibility by @ootakazuhiko in #251
• feat: add build-time search-data.json generator by @ootakazuhiko in #252
• feat: use search-data.json for site-wide search by @ootakazuhiko in #253
• Normalize SVG font-family stacks (align with book fonts) by @ootakazuhiko in #254
• chore(svg): normalize font-family stacks by @ootakazuhiko in #255
• afterword を navigation.yml に追加して前後リンクを有効化 by @ootakazuhiko in #256
• Drawer（TOC）: 現在位置を自動スクロール by @ootakazuhiko in #257
• Drawer: active TOC を優先して focus by @ootakazuhiko in #258
• docs: サイドバーの表記をページタイトルに揃える by @ootakazuhiko in #277
• Docs: clarify halting problem diagonalization diagram by @ootakazuhiko in #278
• docs: 付録Fの見出し絵文字を除去 by @ootakazuhiko in #279
• QA: 表記ゆれ修正（付録F: 冪集合） by @ootakazuhiko in #280
• docs: proofread and clarify chapter 12 by @ootakazuhiko in #281
• Docs: standardize callouts and clarify Chapter 7 lower bound by @ootakazuhiko in #283
• Docs: normalize Myhill–Nerode notation and appendix C lint by @ootakazuhiko in #287
• Docs: redesign front matter for primary readers by @ootakazuhiko in #294
• Docs: add part openers and chapter bridges by @ootakazuhiko in #295
• Docs: add chapter-end reading guides by @ootakazuhiko in #296
• Docs: improve appendix and offline guidance by @ootakazuhiko in #297
• Docs: add recurring case guidance by @ootakazuhiko in #298
• Docs: expand appendix D glossary coverage by @ootakazuhiko in #301
• Docs: realign repo-facing documentation by @ootakazuhiko in #302
• Docs: add reader-facing figure guide appendix by @ootakazuhiko in #304
• Docs: fix Appendix C math rendering regression by @ootakazuhiko in #306
• Docs: add reader-facing Appendix C quick navigation by @ootakazuhiko in #308
• Docs: add reader-facing Appendix D quick navigation by @ootakazuhiko in #310
• Docs: add chapter profile cards by @ootakazuhiko in #312
• Docs: add chapter-end problem guides by @ootakazuhiko in #314
• Docs: add chapter profile shortcuts by @ootakazuhiko in #316
• Docs: add Appendix F quick navigation by @ootakazuhiko in #318
• [P1] 付録Hを目的別に図を引ける reader-facing ガイドへ拡張する by @ootakazuhiko in #320
• [P1] 付録Cに解法パターン索引を追加し、解答への入り口を reader-facing にする by @ootakazuhiko in #322
• [P1] 前提知識ページに症状別の本書内戻り先リンクを追加する by @ootakazuhiko in #324
• [P1] 付録Hの補足を reader-facing な案内へ整理する by @ootakazuhiko in #326
• [P1] 付録索引ページの使い分け目安に付録Gを追加する by @ootakazuhiko in #329
• [P1] 導入トップからオフライン版とフィードバックへの入口を補う by @ootakazuhiko in #331
• [P1] 付録Eに章別クイックナビを追加する by @ootakazuhiko in #333
• [P1] 付録Bに章別クイックナビを追加する by @ootakazuhiko in #335
• [P1] 付録Aに使い方とクイックナビを追加する by @ootakazuhiko in #337
• [P1] 付録DにA-Zクイックナビを追加する by @ootakazuhiko in #339
• [P1] 付録Gに使い方とクイックナビを追加する by @ootakazuhiko in #341
• [P1] オフライン版ページにクイックナビを追加する by @ootakazuhiko in #343
• chore: opt GitHub Actions into Node 24 runtime by @ootakazuhiko in #344
• Add concept map entry point and appendix concept map by @ootakazuhiko in #346
• [codex] improve theoretical computer science index guidance by @ootakazuhiko in #347
• [codex] Rename PR link label on top page by @ootakazuhiko in #348
• Rename PR link label on top page by @ootakazuhiko in #349
• [codex] Review all chapters for accuracy by @ootakazuhiko in #350
• [codex] clarify 3-SAT vertex-cover clause form by @ootakazuhiko in #351
• [codex] clarify vertex-cover reduction pedagogy by @ootakazuhiko in #357
• [codex] establish markdownlint baseline by @ootakazuhiko in #358
• [codex] document editorial maintenance plans by @ootakazuhiko in #360
• [codex] clarify Chapter 7 hashing assumptions by @ootakazuhiko in #368
• [codex] clarify Chapter 7 AVL guarantees by @ootakazuhiko in #369
• [codex] clarify Chapter 7 amortized analysis by @ootakazuhiko in #370
• [codex] clarify Chapter 5 reductions and PH by @ootakazuhiko in #371
• [codex] clarify Chapter 9 logic and model-checking scope by @ootakazuhiko in #372
• [codex] clarify Chapter 11 crypto and PQC scope by @ootakazuhiko in #373
• [codex] clarify Chapter 12 distributed model definitions by @ootakazuhiko in #374
• 付録Cの章末問題解答整合性を監査する by @ootakazuhiko in #383
• 章横断の用語整合性を監査する by @ootakazuhiko in #384
• 第1〜4章の基礎理論前提を明確化する by @ootakazuhiko in #385
• 第6章・第8章の解析前提とグラフ条件を明確化する by @ootakazuhiko in #386
• 第10章の情報理論前提と記法を明確化する by @ootakazuhiko in #387
• [codex] Check navigation coverage for docs pages by @ootakazuhiko in #388
• chore: strengthen theoretical CS book quality gates by @ootakazuhiko in #389
• Fix mobile sidebar overlap by @ootakazuhiko in #390
• Fix mobile sidebar visibility guard by @ootakazuhiko in #391
• Align BST terminology and audit overrides by @ootakazuhiko in #392
• chore: active workflowsをNode.js 24対応Actionへ更新 by @ootakazuhiko in #406
• ci: update audited book-formatter pin by @ootakazuhiko in #408
• Align TM model and complexity definitions by @ootakazuhiko in #409
• Complete epsilon-NFA to NFA conversion by @ootakazuhiko in #410
• Fix work-efficient parallel prefix scan by @ootakazuhiko in #411
• Separate code exponents from the reliability function by @ootakazuhiko in #412
• Formalize foundational cryptographic security definitions by @ootakazuhiko in #413
• Resolve Faraday retry dependency warning by @ootakazuhiko in #414
• Align Chapter 6 analysis methods and max-flow LP by @ootakazuhiko in #415
• Centralize chapter effort metadata by @ootakazuhiko in #416
• Centralize publication metadata for v1.2.0 by @ootakazuhiko in #417

Full Changelog: https://github.com/itdojp/theoretical-computer-science-textbook/commits/v1.2.0