math-reasoning について
math-reasoningは、数式の導出や定理の証明、統計検定の選択、数学的な正しさの確認を行うClaudeスキルです。研究論文向けのLaTeX規則と参考資料を備えています。
主な機能
- 01数式の段階的な導出
- 02定理の形式的な証明
- 03問題設定の形式化
- 04統計検定の選択
- 05記号表の作成
- 06数学的な正しさの確認
活用シーン
- 01論文用の数式導出
- 02LaTeXでの定理証明
- 03統計検定の選定
- 04記号と計算の確認
インストール
コマンドをコピーしてターミナルで実行します。
$
npx skills add https:/インストール後、Claude Code で/math-reasoningを入力して読み込まれたか確認します。
同梱ファイルreferences/notation-guide.mdreferences/proof-templates.md
詳細
数学的推論
厳密な数学的推論を行い、出版品質の LaTeX 出力を作成します。
入力
$0— タスクの種類：derive、prove、formalize、stats、notation、verify$1— コンテキスト：数式、定理の記述、問題の説明、またはデータの説明
タスク
derive — 数式の段階的な導出
すべての中間ステップを示します。それぞれのステップについて、適用した規則を用いて根拠を示します。最終結果を \boxed{} で囲みます。重要な数式には \label{eq:name} を付けます。
prove — 定理の形式的な証明
適切な手法（直接証明、背理法、帰納法、構成法、場合分け）を使用します。LaTeX のテンプレートについては references/proof-templates.md を参照してください。
formalize — 問題設定の形式化
非形式的な説明を、変数の定義、定義域・値域の指定、仮定、目的関数を含む形式的な数学的枠組みに変換します。
stats — 統計的検定の選択
references/notation-guide.md の判断木を使用して、適切な検定を選択します。p 値、効果量、信頼区間を報告します。
notation — 記号表の作成
論文で使用するすべての記号を含む \begin{table} を作成します。references/notation-guide.md の標準的な ML 記法を使用します。
verify — 数学的な正しさの確認
次の項目を確認します：次元の整合性、境界ケース、勾配計算、セクション間の記法の一貫性。
参考資料
- 標準的な ML 記法と統計的検定：
~/.claude/skills/math-reasoning/references/notation-guide.md - 証明テンプレートと定理環境：
~/.claude/skills/math-reasoning/references/proof-templates.md
ルール
- すべての記号は初めて使用する前に定義します：「$\mathcal{X}$ を…とします」
- 論文全体で一貫した記法を使用します
- 後で参照する数式には番号を付けます
- 重要な導出ステップには
\tag{reason}を使用します - 仮定を明示します
- 証明で使用する補題や先行結果を引用します
関連スキル
コメント
Markdown 対応