学習ルート

基本方針

この教材は、全員が全章を同じ順序で読むための教材ではない。前提診断で弱点を特定し、必要な章だけを重点的に読む。

標準ワークフロー

前提診断
  ↓
採点ルーブリック
  ↓
弱点別リカバリールート
  ↓
該当章を読む
  ↓
図表で直観を確認
  ↓
Python examples で小さい入力を動かす
  ↓
章末確認チェック
  ↓
演習
  ↓
統合到達確認テスト
  ↓
ミニプロジェクト
  ↓
本体教科書 readiness checklist

得点別ルート

Core ルート

対象:

• 集合・論理の記号が不安定
• 証明をどう書けばよいか分からない
• O記法を感覚でしか理解していない
• 再帰・擬似コードを追うのが遅い

読む章:

1. 第1章 集合と論理
2. 第2章 関数と関係
3. 第3章 証明技法
4. 第4章 漸近記法
5. 第5章 擬似コードと再帰

補助:

• 図表: 証明・漸近記法・再帰
• Python: 再帰トレース
• 演習: Core 演習、証明ドリル、漸近記法ドリル、擬似コード・再帰ドリル

Standard ルート

対象:

• グラフ・木・探索が弱い
• 組合せや場合数の見積もりが弱い
• 基本データ構造の操作と計算量が不安定
• DFA/NFA、文法、文字列言語の記法に慣れていない

読む章:

1. 第6章 グラフと木
2. 第7章 組合せと数え上げ
3. 第8章 データ構造と基本アルゴリズム
4. 第9章 形式言語の入口

補助:

• 図表: BFS、Union-Find、DFA、NFA
• Python: BFS、Union-Find、DFAシミュレータ
• 演習: Standard 演習
• プロジェクト: P2 BFS、P3 Union-Find、P4 DFA

Extended ルート

対象:

• 情報理論、暗号、線形符号、並行計算へ進む予定がある
• 確率、剰余計算、線形代数、状態遷移の記法に不安がある

読む章:

1. 第10章 確率の基礎
2. 第11章 数論・代数の基礎
3. 第12章 線形代数の最小限
4. 第13章 並行性と形式モデルの入口

補助:

• 図表: 条件付き確率、Hamming距離、状態インターリーブ
• Python: 確率実験、合同算術、Hamming距離、状態遷移系
• 演習: Extended 演習
• プロジェクト: P5 Hamming距離、P6 RSAデモ、P7 確率実験、P8 状態遷移系

ミニプロジェクトの使い方

全プロジェクトを実装する必要はない。本体教科書へ進む前の到達確認として、次の組み合わせを推奨する。

完了条件

本体教科書への進行条件は、本体教科書への進行判定ポリシーを正本とします。前提診断、統合テスト、証明問題、対象章別 readiness の4つの必須ゲートをすべて判定してください。

本教材を完了したと記録する場合は、同ポリシーに従い、Core 演習とミニプロジェクトの完了条件も満たします。

学習支援ページ

次のページから目的別に戻れます。

受講者運用、リリース、監査、品質ゲートなどの保守資料は、書籍サイトの導線から外し、GitHub リポジトリで管理します。