採点ルーブリック
目的
このルーブリックは、前提診断・章末確認・演習の採点基準を揃えるためのものです。単に正誤を見るのではなく、次の4点を分離して評価します。
- 記号を正しく読めるか。
- 定義を使って説明できるか。
- 証明・計算・擬似コードを自力で構成できるか。
- 本体教科書で出る形へ接続できるか。
共通採点スケール
説明問題・証明問題・計算量問題は、原則として4点満点で採点します。
| 点 |
判定 |
基準 |
| 4 |
完全 |
定義・理由・結論が揃っている。記号の誤りがない。 |
| 3 |
実用上合格 |
主要な考え方は正しい。軽微な記号誤りや説明不足がある。 |
| 2 |
部分理解 |
方向性は合っているが、定義・条件・境界ケースの欠落がある。 |
| 1 |
断片的 |
用語や式を一部知っているが、論理の筋が通っていない。 |
| 0 |
不正解 |
誤り、未回答、または別概念との混同。 |
合格判定は、原則として平均 3.0点以上です。ただし、証明技法と漸近記法は本体読解への影響が大きいため、平均 3.2点以上を推奨します。
1. 集合・論理の採点基準
| 観点 |
4点 |
2点 |
0点 |
| 集合記法 |
∈, ⊆, ∪, ∩, \ を正しく使える |
計算はできるが記号説明が曖昧 |
記号の意味を取り違える |
| 量化 |
∀, ∃ と含意を正しく組み合わせる |
量化の向きは合うが条件部が曖昧 |
全称と存在を取り違える |
| 否定 |
De Morgan と量化の否定を適用できる |
一部のみ正しい |
否定対象がずれる |
| 含意 |
逆・裏・対偶を区別できる |
対偶は分かるが逆と混同する |
P→Q と Q→P を同一視する |
重大エラーは、全称命題の否定を「すべて〜でない」としてしまうこと、対偶と逆を混同することです。
2. 関数・関係の採点基準
| 観点 |
4点 |
2点 |
0点 |
| 関数 |
定義域・値域・像を区別できる |
入出力の対応としては説明できる |
関数と関係を区別できない |
| 単射・全射 |
量化記号で定義を書ける |
直観説明のみ |
単射と全射を逆にする |
| 同値関係 |
反射律・対称律・推移律を確認できる |
3条件は言えるが検証が弱い |
条件を列挙できない |
| 順序 |
反射律・反対称律・推移律を区別できる |
全順序と半順序が曖昧 |
同値関係と順序を混同する |
3. 証明問題の採点基準
| 観点 |
4点 |
3点 |
2点 |
1点 |
| 定義の展開 |
必要な定義を明示して使う |
ほぼ使えている |
一部だけ使う |
定義を使わない |
| 論理構造 |
仮定から結論まで飛躍がない |
軽微な飛躍 |
主要ステップが欠落 |
例示のみ |
| 量化の扱い |
任意性・存在性を正しく扱う |
軽微な省略 |
対象の固定が曖昧 |
量化を無視する |
| 結論 |
示すべき命題へ戻って閉じる |
結論は分かる |
結論が曖昧 |
何を示したか不明 |
証明の合格ラインは「定義を開いている」「仮定と結論が対応している」「例示で終わっていない」の3条件です。
4. 漸近記法・計算量の採点基準
| 観点 |
4点 |
2点 |
0点 |
| O/Ω/Θ の定義 |
定数 c, n0 を含む定義を書ける |
直観説明のみ |
大小比較として誤解している |
| 支配項 |
定数・低次項を正しく落とせる |
結論は合うが説明不足 |
支配項を誤る |
| ループ解析 |
反復回数と各回のコストを分けられる |
典型例だけ解ける |
ネストや対数ループを誤る |
| 再帰式 |
単純な再帰式を木または展開で読める |
形だけ分かる |
再帰回数を追えない |
O(n) と Θ(n) の混同、最悪計算量と平均計算量の混同は減点対象です。
5. 擬似コード・再帰の採点基準
| 観点 |
4点 |
2点 |
0点 |
| 状態追跡 |
変数・配列・戻り値を正確に追える |
小さい例なら追える |
実行順序を追えない |
| 停止性 |
減少量・基底条件を説明できる |
基底条件のみ言える |
無限再帰を見抜けない |
| 正しさ |
不変条件または帰納法で説明できる |
直観説明のみ |
仕様と実装を対応させられない |
| 計算量 |
実行回数を数えられる |
結論だけ |
見積もり不可 |
6. グラフ・データ構造の採点基準
| 観点 |
4点 |
2点 |
0点 |
| 定義 |
G=(V,E) で説明できる |
図としては分かる |
辺・頂点の区別が曖昧 |
| 探索 |
BFS/DFS の手順と計算量を説明できる |
手順のみ |
両者を混同する |
| 表現 |
隣接行列・隣接リストの違いを説明できる |
メモリ量が曖昧 |
表現差を説明できない |
| ADT |
操作仕様と実装を分けられる |
例なら分かる |
ADTと実装を混同する |
7. 組合せ・確率の採点基準
| 観点 |
4点 |
2点 |
0点 |
| 数え上げ |
積の法則・和の法則・包除を使い分ける |
典型だけ解ける |
重複を数える |
| 条件付き確率 |
Pr[A|B] の条件を含めて書ける |
式は合うが条件省略 |
分母を誤る |
| 独立性 |
独立と排反を区別できる |
直観のみ |
混同する |
| 期待値 |
線形性と指示変数を使える |
計算だけ |
期待値を最頻値と混同する |
8. 数論・代数・線形代数の採点基準
| 観点 |
4点 |
2点 |
0点 |
| 合同算術 |
n | (a-b) として定義できる |
mod計算のみ |
剰余と合同を混同する |
| 逆元 |
gcd(a,n)=1 条件を使える |
小さい例だけ解ける |
逆元の意味が不明 |
| 群・体 |
条件と例を説明できる |
用語説明のみ |
演算集合として見られない |
| 行列 |
写像・ランク・行基本変形を説明できる |
計算だけ |
次元を誤る |
9. 形式言語・並行性の採点基準
| 観点 |
4点 |
2点 |
0点 |
| 文字列と言語 |
Σ, Σ*, ε, ∅ を区別できる |
記号の一部は分かる |
ε と ∅ を混同する |
| DFA/NFA |
5要素と受理条件を説明できる |
図なら追える |
ランダム遷移と混同する |
| 状態遷移 |
S, →, s0 を説明できる |
図なら分かる |
遷移関係を関数と決めつける |
| Safety/Liveness |
反例の形で区別できる |
直観説明のみ |
逆に理解する |
前提診断の領域別換算
| 領域 |
問題 |
点数 |
60% |
70% |
85% |
| 集合・論理 |
Q1-Q6 |
6 |
4 |
5 |
6 |
| 関数・関係 |
Q7-Q12 |
6 |
4 |
5 |
6 |
| 証明 |
Q13-Q20 |
8 |
5 |
6 |
7 |
| 漸近記法 |
Q21-Q26 |
6 |
4 |
5 |
6 |
| 擬似コード |
Q27-Q32 |
6 |
4 |
5 |
6 |
| グラフ |
Q33-Q40 |
8 |
5 |
6 |
7 |
| 組合せ |
Q41-Q47 |
7 |
5 |
5 |
6 |
| データ構造 |
Q48-Q54 |
7 |
5 |
5 |
6 |
| 形式言語 |
Q55-Q60 |
6 |
4 |
5 |
6 |
| 確率 |
Q61-Q66 |
6 |
4 |
5 |
6 |
| 数論・代数 |
Q67-Q71 |
5 |
3 |
4 |
5 |
| 線形代数 |
Q72-Q76 |
5 |
3 |
4 |
5 |
| 並行性 |
Q77-Q80 |
4 |
3 |
3 |
4 |
合否判定
前提診断の合否と本体教科書への進行条件は、共通の進行判定ポリシーを正本とします。領域別得点は補強先を選ぶために使い、対象章別 readiness で必須領域を最終確認します。
| 判定 |
条件 |
対応 |
| 診断ゲート達成 |
総合85%以上(68/80以上) |
残りの進行ゲートを確認する |
| Mostly Ready |
総合70%以上、弱点領域が2つ以内 |
弱点章だけ補強 |
| Partial |
総合55〜69%、または弱点領域が3つ以上 |
Core/Standard を優先補強 |
| Not Ready |
総合55%未満、または証明が60%未満 |
Core を最初から通す |
総合点だけで本体教科書への進行可としないでください。統合テスト、証明問題、対象章別 readiness のゲートも必要です。