theory-paper-to-theorem-distiller について
数学論文を構造化された定理ノートにまとめるスキルです。論文の主張と検証済みの詳細を区別し、仮定、証明の依存関係、再利用可能な手法を保ちます。
主な機能
- 01問題と主定理の特定
- 02定義と記法の整理
- 03主張と証明方針の要約
- 04証明の依存関係の整理
- 05新規性と標準手法の区別
- 06仮定と未検証事項の記録
活用シーン
- 01文献レビュー前の論文整理
- 02主定理に至る補題の追跡
- 03新しい研究に応用できる手法の評価
インストール
コマンドをコピーしてターミナルで実行します。
$
npx skills add https:/インストール後、Claude Code で/theory-paper-to-theorem-distillerを入力して読み込まれたか確認します。
詳細
論文から定理を抽出
再利用可能な数学的核心を抽出します。
ワークフロー
- 中心となる問題と定理を特定します。
- 主要な定義と記法を列挙します。
- 各主要な主張を、平易かつ正確な言葉で要約します。
- 完全に検証したかのように装うことなく、証明の方針を概説します。
- 新規の要素と標準的な手法を区別します。
- 定義、補題、主定理の依存関係を抽出します。
- 自分の研究で再利用できる内容を最後にまとめます。
ルール
- 論文中の主張と、検証済みの詳細を分けてください。
- 証明を確認していない場合は、その旨を明記してください。
- 仮定を省略して圧縮しないでください。仮定こそが要点であることも多くあります。
- 再利用可能な手法と、論文固有の設定を分けてください。
出力
以下を返してください。
- 問題と設定
- 記法と定義
- 主定理・主張
- 証明の依存関係図
- 証明の方針
- 仮定と限界
- 再利用可能な手法
- 未確認の詳細
コメント
Markdown 対応