Quest Ladder
TeachFORGE.ai
Quest Ladder / プレビューと検証
プレビュー、新しい例、描画検証
学習者が実際に得るものを、他の誰かより先に何度も見る。
サンプルしていない種類は、書いていない種類である。
プレビューと洗練
レビュー 段階が開くのは プレビューとAI洗練：種類の実際に生成されたインスタンスで、学習者の見え方で描画される。
- プレビューを更新 が編集後に現在のサンプルを再描画する。
- 新しい例 が新しい値をサンプルし、別の版が見える。ラベルは 例 1、 例 2 のように続く。
- トグルがトークン化テンプレートと、生徒ビューに一致する解決済みプレビューを切り替える。
押す 新しい例 パラメトリックなものは公開前に少なくとも5回。悪い組み合わせは隠れる：4回は割り切れ、5回目で厄介になる割り算、2変数が両方大きいときだけ重なる図。1サンプルは何も証明しない。
描画検証
描画検証は種類のすべての部分が実際に描かれるかを調べる：LaTeXがコンパイルし、図が描画し、チャートにデータがあり、失敗するブロックがない。バッジは4状態の1つを報告する。
| バッジ | 意味 |
|---|---|
| 検証済み — クリーン | すべて描画された。 |
| 再検証が必要 | クリーンだったが、何かを編集した。もう一度走らせる。 |
| 描画エラー {{count}} 件 | 何かが描かれない。一覧が何かを言う。 |
| 未検証 | 一度も調べていない。 |
これは警告ではなくゲートである。エラーが残る間は公開が拒否され、コントロールが理由を言う：公開前に描画検証エラーを直せ。
エラーの通常の原因
原因の大半は3つである。
- 構文エラーのあるLaTeXまたはTikZ式。編集後の余分な括弧が多い。
- その後リネームまたは削除された変数を指すトークンで、何も解決しない。
- 変数から来る座標が退化ケースを生み得る図 — 面積のない三角形、範囲のないチャート。
3つ目が注意すべきもので、ほとんどのサンプルでは通る。複数の値セットをサンプルする検証実行がそれを見つけ、学習者が20回に1度出会うまさにその失敗である。
準備完了にする
準備完了にする は、サンプルしたプレビューに満足したら状態を公開済みにする。種類が一覧され割り当て可能になる瞬間である — 参照： 公開、非公開、完全性チップ それが変えることについて。