採点ルーブリック

目的

このルーブリックは、前提診断・章末確認・演習の採点基準を揃えるためのものです。単に正誤を見るのではなく、次の4点を分離して評価します。

  1. 記号を正しく読めるか。
  2. 定義を使って説明できるか。
  3. 証明・計算・擬似コードを自力で構成できるか。
  4. 本体教科書で出る形へ接続できるか。

共通採点スケール

説明問題・証明問題・計算量問題は、原則として4点満点で採点します。

判定 基準
4 完全 定義・理由・結論が揃っている。記号の誤りがない。
3 実用上合格 主要な考え方は正しい。軽微な記号誤りや説明不足がある。
2 部分理解 方向性は合っているが、定義・条件・境界ケースの欠落がある。
1 断片的 用語や式を一部知っているが、論理の筋が通っていない。
0 不正解 誤り、未回答、または別概念との混同。

合格判定は、原則として平均 3.0点以上です。ただし、証明技法と漸近記法は本体読解への影響が大きいため、平均 3.2点以上を推奨します。

1. 集合・論理の採点基準

観点 4点 2点 0点
集合記法 , , , , \ を正しく使える 計算はできるが記号説明が曖昧 記号の意味を取り違える
量化 , と含意を正しく組み合わせる 量化の向きは合うが条件部が曖昧 全称と存在を取り違える
否定 De Morgan と量化の否定を適用できる 一部のみ正しい 否定対象がずれる
含意 逆・裏・対偶を区別できる 対偶は分かるが逆と混同する P→QQ→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 のゲートも必要です。