菜单
AHC形式のRust solverから、日本語の再現可能な解説を作る。入力としてチャンピオン実装や提出候補コードが与えられたときに、Phase 1で削除や簡素化により本質を抽出し、Phase 2でjapanese-tech-writingに従う解説を書き、subagentに解説だけから再実装と評価をさせて品質を検証する。
用 Codex 或 Claude 帮你安装 复制这段 Prompt，粘贴到 Codex、Claude 或其他助手里，让它检查 Skill 页面并帮你完成安装。
基于 SOC 职业分类
Rust rollback/delta-state beam search templates for AHC-style solvers. Provides bundled Rust templates for Euler Tour edge traversal, linked-tree traversal, and variable-turn rollback beam search.
AHC形式のRust solverから、日本語の再現可能な解説を作る。入力としてチャンピオン実装や提出候補コードが与えられたときに、Phase 1で削除や簡素化により本質を抽出し、Phase 2でjapanese-tech-writingに従う解説を書き、subagentに解説だけから再実装と評価をさせて品質を検証する。
AHC形式のRust solverから、日本語の再現可能な解説を作る。入力としてチャンピオン実装や提出候補コードが与えられ、コード削除や簡素化で本質を抽出し、必要に応じてsubagentに解説だけから再実装と評価をさせ、japanese-tech-writingに従う技術解説へ仕上げるときに使用する。
AHC形式のRustプロジェクトで、problem_description.txtを読み、v000_template.rsに入力・出力・State・操作適用の共通土台をユーザーと段階的に合意して実装する。solver戦略ではなく、問題ルールを安全かつ高速に扱う基盤設計を支援する。
AHC形式のRustプロジェクトで、problem_description.txt と公式 tools/src をもとに、同梱テンプレートから case visualizer / eval viewer / WASM 接続を完成させる。
Rust rollback/delta-state beam search templates for AHC-style solvers. Provides bundled Rust templates for Euler Tour edge traversal, linked-tree traversal, and variable-turn rollback beam search.
| name | explain-ahc-solver |
| description | AHC形式のRust solverから、日本語の再現可能な解説を作る。入力としてチャンピオン実装や提出候補コードが与えられたときに、Phase 1で削除や簡素化により本質を抽出し、Phase 2でjapanese-tech-writingに従う解説を書き、subagentに解説だけから再実装と評価をさせて品質を検証する。 |
AHC solver の実装から、読者が方針を再現できる日本語解説を作る。
この skill は、実装をそのまま説明するためのものではない。 まず得点と時間設計を保った簡素化 solver を作り、そこから解説すべき本質を確定する。 その後、その本質を文章に落とし込み、事情を知らない subagent が解説だけから十分な solver を再実装できるかを検証する。
Phase 1 の完成 solver は、Phase 2 を通じて固定された正本かつベンチマークである。 Phase 2 の subagent solver は、解説の品質を測るための使い捨てプローブである。 subagent solver を新しいベースライン、改善対象、チューニング対象にしてはならない。
この skill は、次の2つの phase を順に実行する。
Phase 1：実装から本質を抽出する 対象 solver を削除や簡素化で整理し、得点と時間設計を保つ簡素化 solver を作る。 手順は simplification.md に従う。
Phase 2：解説を作り、再現性を検証する Phase 1 の完成 solver を正本として、抽出した本質を日本語解説へ落とし込み、subagent による再実装で解説の品質を検証する。 手順は explanation-validation.md に従う。
Phase 1 が完了するまで、Phase 2 に入らない。 ただし、ユーザーがすでに Phase 1 相当の簡素化 solver と本質抽出メモを与えた場合は、それを Phase 1 の成果物として扱ってよい。
作業の入口では、次を読む。
problem_description.txtnotes/notations.mdsrc/bin/v000_template.rsscripts/eval.py, scripts/run.sh, Cargo.tomlPhase 2 に入る前に、japanese-tech-writing を読む。
解説本文は、その規範に従って一文一行で書く。
Phase 2 では、subagent に渡す前に writing-checklist.md で検証対象本文を確定する。
subagent 検証を実行するときは、subagent-validation.md のプロンプトと読み取り制限に従う。
Phase 1 は、入力 solver を読んで分かった気になるだけでは完了しない。
次の状態になってから Phase 2 に進む。
max_elapsed がプロジェクトの時間条件を満たすように設計されている詳しい反復手順、停止条件、時間超過への対応は simplification.md に従う。
Phase 2 は、解説 Markdown を書いただけでは完了しない。
次の状態になってから成果物とする。
japanese-tech-writing に従っている詳しい文章作成、検証、失敗時の扱い、再検証、最終確認は explanation-validation.md に従う。 subagent に渡す前の本文点検には writing-checklist.md を使う。 subagent を起動するときは subagent-validation.md を使う。 検証 agent には、読んでよいファイル、作ってよい新規ファイル、読んではいけない既存 solver を明示する。
最後に、次を簡潔に報告する。