84 / 90

Day 84: 統合・評価レビュー — 科学的エージェント評価

ブロックを統合する:プロトコルとメトリクス概念を記憶から想起し、検証可能な数値を再計算し、4 言語評価レポートを組み立てる。

エージェント工学と科学的評価 480 分(8時間)
01 120 分

統合レビュー:証跡の種類・事前登録・ベースライン規律

Agent支援エンジニアリングチェック

前提条件

Day 83 の解釈メモ。

学習目標

ノートに触れる前に、ブロックの中核的区別 — 決定論的フィクスチャ証跡対ブロック済みライブ証跡・事前登録対事後の物語・成果メトリクス対ツール行動メトリクス — を記憶から想起する。

手順

1. 想起練習:記憶から 4 つのメトリクス群・6 つの契約タスク ID・evidence_kind が deterministic と live で異なる点を書き出す。
2. live_eval_contract.json と照合して想起を検査し、外れた項目はすべて補習計画に記録する。
3. blocked-awaiting-authorization 状態を 1 段落で要約する:存在するもの(決定論的実行・契約・バリデータ)と存在しないもの(あらゆるライブ測定値)。
4. ベースライン規律 — スイート・ベースライン・仮説を先に凍結すること — がブロックの中心習慣である理由を説明する。

演習と予測記録

4 つのメトリクス群・全 6 タスク ID・決定論対ライブの証跡ルールを記憶から書き、契約と照合して自己採点した recall_log.md を作成する。

独立習得基準

ブロックの中核概念を記憶から正確に再現し、ギャップを誠実に記録する。

公式ソースリソースと権利証跡

linking Open Access / CC BY 4.0

AgentBench: Evaluating LLMs as Agents

著者・提供機関: Xiao Liu, Hao Yu, Hanchen Zhang, Yifan Xu, Xuanyu Lei, Hanyu Lai, Yu Gu, Hangliang Ding, Kaiwen Men, Kejuan Yang, et al. | オリジナル出所URL ↗

該当セクション・タイムスタンプ: Section 4.1 Evaluation Setup and Section 4.3 Analysis

検証バージョンと日付: ICLR 2024 / arXiv:2308.03688v2 (Verified: 2026-10-30)

選定理由:

First systematic multi-environment benchmark measuring LLM-as-agent ability across eight interactive settings, establishing fixed task suites, environment-specific scoring, and comparable evaluation conventions.

ソース前提知識:

LLM prompting, tool-use environments, and multi-step task decomposition.

安全フォールバック(オフライン回復性):

The curriculum fixes its own six-task evaluation suite with deterministic-v1 fixture analogs, so all protocol-design practice runs offline without reproducing AgentBench environments.

比較対象候補リソースと選定評価 (2)

Real computer-control benchmark for open-ended desktop tasks; AgentBench covers a wider environment spectrum for foundational evaluation design.

Mind2Web: Towards a Generalist Agent for the Web ↗ compared_alternative [Open Access]

Generalist web-agent benchmark with 2,350 tasks; AgentBench provides broader multi-domain coverage for studying evaluation protocol design.

linking Open Access / CC BY 4.0

SWE-bench: Can Language Models Resolve Real-World GitHub Issues?

著者・提供機関: Carlos E. Jimenez, John Yang, Alexander Wettig, Shunyu Yao, Kexin Pei, Ofir Press, Karthik R. Narasimhan | オリジナル出所URL ↗

該当セクション・タイムスタンプ: N/A

検証バージョンと日付: ICLR 2024 / arXiv:2310.06770v3 (Verified: 2026-10-30)

選定理由:

Defines the standard pattern this block teaches: a bounded issue statement paired with executable fail-to-pass tests as verifiable acceptance criteria for agent-produced changes.

ソース前提知識:

Unit testing, issue descriptions, and repository evaluation vocabulary.

安全フォールバック(オフライン回復性):

The acceptance-criteria pattern is exercised locally through the Ticket 22 fixture scorer and the Ticket 24 regression exercise without external datasets.

比較対象候補リソースと選定評価 (2)
HumanEval: Evaluating Large Language Models Trained on Code ↗ compared_alternative [arXiv non-exclusive license / Open Access]

Function-level synthesis benchmark; SWE-bench models the repository-scoped issue-to-diff workflow that this delivery block rehearses.

Multi-SWE-bench: A Multilingual Benchmark for Issue Resolving ↗ compared_alternative [Open Access / CC BY 4.0]

Extends issue resolution to multiple programming languages; the original Python-centric SWE-bench provides a cleaner pedagogical anchor.

02 120 分

メトリクス再計算ドリル:生トレースから検証可能な数値へ

独立習得チェック(AI 支援なし)

前提条件

Day 84 Activity 1 の想起ログ。

学習目標

生の記録成果物 — フィクスチャレポート・アクション/観測トレース・カウンタ — からすべての契約メトリクスを再計算し、各数値が独立に検証可能であることを実証する。

手順

1. 決定論的ベースラインコマンドを再実行し、生成された report.txt をハッシュして契約の expected_report_sha256 と比較する。
2. アクション/観測トレースを走査し、すべてのアクション名が allowed_tools に含まれ、すべての引数ペイロードが JSON オブジェクトであることを検証する。
3. 記録済みステップ・リトライカウンタと宣言上限を突き合わせて予算遵守を再計算する。
4. 失敗処理を検証する:失敗した観測のすべてが構造化エラー値を持ち、termination_reason が誠実である。
5. 各メトリクスについて入力成果物・実施した検査・結果を記す再計算ノートを作成する。

演習と予測記録

4 つのメトリクスそれぞれを、出所成果物・実施検査・再計算値に対応づけた recomputation_notes.md を作成する。

独立習得基準

4 つのメトリクスすべてを生の成果物から再計算し、各数値の証跡連鎖を示す。

公式ソースリソースと権利証跡

linking Open Access / CC BY 4.0

tau-bench: A Benchmark for Tool-Agent-User Interaction in Real-World Domains

著者・提供機関: Shunyu Yao, Noah Shinn, Pedram Razavi, Karthik Narasimhan | オリジナル出所URL ↗

該当セクション・タイムスタンプ: Section 3 τ-bench: A benchmark for Tool-Agent-User Interaction (pass^k definition); Section 4.2 Key Characteristics; Section 5 Experiments (pass^k results)

検証バージョンと日付: ICLR 2025 / arXiv:2406.12045v2 (Verified: 2026-10-30)

選定理由:

Introduces pass^k consistency metrics and database-state outcome checks for tool-agent-user interaction, separating reliable task completion from single lucky runs.

ソース前提知識:

Tool-calling APIs, conversational agents, and policy-following evaluation.

安全フォールバック(オフライン回復性):

Consistency metrics and state-based outcome checking are re-implemented on the curriculum deterministic fixture for offline practice.

比較対象候補リソースと選定評価 (2)

Stateful tool-use evaluation with milestone events; tau-bench additionally models a simulated user and reports pass^k reliability.

Berkeley Function-Calling Leaderboard (BFCL) ↗ compared_alternative [Apache 2.0 (Gorilla project)]

Live leaderboard for function-call correctness across languages and parallel calls; tau-bench adds policy adherence and multi-trial consistency.

linking arXiv non-exclusive license / Open Access

WebArena: A Realistic Web Environment for Building Autonomous Agents

著者・提供機関: Shuyan Zhou, Frank F. Xu, Hao Zhu, Xuhui Zhou, Robert Lo, Abishek Sridhar, Xianyi Cheng, Tianyue Ou, Yonatan Bisk, Daniel Fried, Uri Alon, Graham Neubig | オリジナル出所URL ↗

該当セクション・タイムスタンプ: Section 3.2 Evaluation Annotation (functional correctness checks)

検証バージョンと日付: ICLR 2024 / arXiv:2307.13854v4 (Verified: 2026-10-30)

選定理由:

Defines reproducible web tasks scored by functional outcome rather than reference-string matching, grounding observable action/observation evidence for agent evaluation.

ソース前提知識:

Web navigation, browser action spaces, and functional correctness checking.

安全フォールバック(オフライン回復性):

The curriculum records action/observation traces on its own deterministic fixture, reproducing outcome-check discipline without hosting web environments.

比較対象候補リソースと選定評価 (2)

Enterprise-workflow web benchmark; WebArena offers broader self-hosted site diversity for foundational protocol study.

Extends WebArena to visual grounding; WebArena remains the base reference for action-space and functional scoring design.

03 120 分

4 言語科学評価レポートの組み立て

Agent支援エンジニアリングチェック

前提条件

Day 84 Activity 2 の再計算ノート。

学習目標

プロトコル・ベースライン再計算・交絡変数・失敗分類・コスト会計・宣言的非主張を網羅する、ブロックの 4 言語評価レポートを組み立てる。

手順

1. 成果物を集める:eval_protocol.md, baseline_ledger.json, confounder_register.md, failure_taxonomy.json, cost_ledger.csv, memo.md。
2. 4 言語レポート雛形(英語・日本語・簡体字中国語・繁体字中国語)に、すべての版で同一の数値と同一の主張を記入する。
3. 版間の用語一致性を検証する:事前登録・ベースライン・交絡・失敗帰因・終了誠実性・証跡の種類が一貫して訳されていること。
4. レポートが blocked-awaiting-authorization と null のライブ値を 4 言語すべてで同一に記していることを確認する。どの版も証跡を静かに格上げしてはならない。

演習と予測記録

4 言語科学評価レポートを公開する。各版が同一のメトリクス・同一の null ライブ値・同一の非主張を載せていることを検証する。

独立習得基準

メトリクス一致性を検証済みで、どの版も証跡を誇張しない 4 言語レポートを提出する。

公式ソースリソースと権利証跡

linking MIT

OpenAI Evals: Framework for Evaluating LLMs and Contamination Checks

著者・提供機関: OpenAI Research | オリジナル出所URL ↗

該当セクション・タイムスタンプ: README sections 'Running evals' and 'Writing evals'

検証バージョンと日付: OpenAI Evals Repository (Verified: 2026-10-30)

選定理由:

Standardized evaluation repository specifying rigorous separation of eval prompts, canary GUID strings, and contamination test protocols.

ソース前提知識:

Python, evaluation harnesses (MMLU, GSM8K), JSONL datasets.

安全フォールバック(オフライン回復性):

Canary GUID matching, token set intersection, and leak detection scripts are implemented in the curriculum.

比較対象候補リソースと選定評価 (2)
EleutherAI LM Evaluation Harness ↗ compared_alternative [MIT]

Widely adopted evaluation harness; OpenAI Evals provides explicit canary guidance and contamination check specifications.

Hugging Face Lighteval ↗ compared_alternative [MIT]

Modern lightweight eval framework; OpenAI Evals illustrates standard test-set integrity guarantees.

linking Open Access / CC BY 4.0

AgentBench: Evaluating LLMs as Agents

著者・提供機関: Xiao Liu, Hao Yu, Hanchen Zhang, Yifan Xu, Xuanyu Lei, Hanyu Lai, Yu Gu, Hangliang Ding, Kaiwen Men, Kejuan Yang, et al. | オリジナル出所URL ↗

該当セクション・タイムスタンプ: Section 4.1 Evaluation Setup and Section 4.3 Analysis

検証バージョンと日付: ICLR 2024 / arXiv:2308.03688v2 (Verified: 2026-10-30)

選定理由:

First systematic multi-environment benchmark measuring LLM-as-agent ability across eight interactive settings, establishing fixed task suites, environment-specific scoring, and comparable evaluation conventions.

ソース前提知識:

LLM prompting, tool-use environments, and multi-step task decomposition.

安全フォールバック(オフライン回復性):

The curriculum fixes its own six-task evaluation suite with deterministic-v1 fixture analogs, so all protocol-design practice runs offline without reproducing AgentBench environments.

比較対象候補リソースと選定評価 (2)

Real computer-control benchmark for open-ended desktop tasks; AgentBench covers a wider environment spectrum for foundational evaluation design.

Mind2Web: Towards a Generalist Agent for the Web ↗ compared_alternative [Open Access]

Generalist web-agent benchmark with 2,350 tasks; AgentBench provides broader multi-domain coverage for studying evaluation protocol design.

04 120 分

統合・評価レビュー:エージェント評価の習熟チェックと補習計画

独立習得チェック(AI 支援なし)

前提条件

Day 84 Activities 1-3。

学習目標

ブロック統合を完了する:習熟チェックに合格し、記録済みの全ギャップを間隔復習項目に変換し、学習証跡が誠実で完全であることを認証する。

手順

1. 独立習得確認を受ける:事前登録規律・4 つのメトリクス群・証跡の種類・交絡制御・失敗帰因・null のライブ値を範囲とする。
2. 外した各項目について、概念名・再学習すべき成果物・予定復習日を挙げた間隔復習エントリを作成する。
3. 習熟チェック結果・自己申告完了・観測済みテスト証跡が別々に記録されることを検証する — 自己申告が観測結果の代わりになることはない。
4. 証跡束を認証する:プロトコル・台帳・メモ・レポートのすべてが実際の成果物を参照し、blocked-awaiting-authorization 状態を誠実に担ぐ。

演習と予測記録

チェック結果・ギャップごとの間隔復習リスト・報告数値がすべて再計算済み成果物に遡ることの認証を含む mastery_check_record.json を提出する。

独立習得基準

誠実な習熟記録でブロックを締める:ギャップ記録・復習計画・証跡認証済み。

公式ソースリソースと権利証跡

linking Open Access / CC BY 4.0

SWE-bench: Can Language Models Resolve Real-World GitHub Issues?

著者・提供機関: Carlos E. Jimenez, John Yang, Alexander Wettig, Shunyu Yao, Kexin Pei, Ofir Press, Karthik R. Narasimhan | オリジナル出所URL ↗

該当セクション・タイムスタンプ: N/A

検証バージョンと日付: ICLR 2024 / arXiv:2310.06770v3 (Verified: 2026-10-30)

選定理由:

Defines the standard pattern this block teaches: a bounded issue statement paired with executable fail-to-pass tests as verifiable acceptance criteria for agent-produced changes.

ソース前提知識:

Unit testing, issue descriptions, and repository evaluation vocabulary.

安全フォールバック(オフライン回復性):

The acceptance-criteria pattern is exercised locally through the Ticket 22 fixture scorer and the Ticket 24 regression exercise without external datasets.

比較対象候補リソースと選定評価 (2)
HumanEval: Evaluating Large Language Models Trained on Code ↗ compared_alternative [arXiv non-exclusive license / Open Access]

Function-level synthesis benchmark; SWE-bench models the repository-scoped issue-to-diff workflow that this delivery block rehearses.

Multi-SWE-bench: A Multilingual Benchmark for Issue Resolving ↗ compared_alternative [Open Access / CC BY 4.0]

Extends issue resolution to multiple programming languages; the original Python-centric SWE-bench provides a cleaner pedagogical anchor.

linking Open Access / CC BY 4.0

tau-bench: A Benchmark for Tool-Agent-User Interaction in Real-World Domains

著者・提供機関: Shunyu Yao, Noah Shinn, Pedram Razavi, Karthik Narasimhan | オリジナル出所URL ↗

該当セクション・タイムスタンプ: Section 3 τ-bench: A benchmark for Tool-Agent-User Interaction (pass^k definition); Section 4.2 Key Characteristics; Section 5 Experiments (pass^k results)

検証バージョンと日付: ICLR 2025 / arXiv:2406.12045v2 (Verified: 2026-10-30)

選定理由:

Introduces pass^k consistency metrics and database-state outcome checks for tool-agent-user interaction, separating reliable task completion from single lucky runs.

ソース前提知識:

Tool-calling APIs, conversational agents, and policy-following evaluation.

安全フォールバック(オフライン回復性):

Consistency metrics and state-based outcome checking are re-implemented on the curriculum deterministic fixture for offline practice.

比較対象候補リソースと選定評価 (2)

Stateful tool-use evaluation with milestone events; tau-bench additionally models a simulated user and reports pass^k reliability.

Berkeley Function-Calling Leaderboard (BFCL) ↗ compared_alternative [Apache 2.0 (Gorilla project)]

Live leaderboard for function-call correctness across languages and parallel calls; tau-bench adds policy adherence and multi-trial consistency.