math-tutor について
math-tutor は、代数から微積分までの数学学習と問題解決を支援するスキルです。解答の手順、証明方法、関数分析の確認項目、よくある誤りをまとめています。
主な機能
- 01代数や微積分などをカバー
- 02公式や分野別資料へのリンク
- 03問題解決の手順を整理
- 04代表的な証明方法を解説
- 05関数分析のチェックリスト
- 06よくある計算ミスを提示
活用シーン
- 01数学の問題で条件と解法を整理
- 02適切な証明方法を選択
- 03関数の性質やグラフを分析
- 04微積分の計算で見落としを確認
インストール
コマンドをコピーしてターミナルで実行します。
$
npx skills add https:/ / github.com/ szeyu/ vibe-study-skills --skill math-tutorインストール後、Claude Code で/math-tutorを入力して読み込まれたか確認します。
同梱ファイル
SKILL.md と一緒にインストールされる参考資料やスクリプト。
references/calculus.mdformulas.mdlinear-algebra.mdstatistics.md詳細
数学科目エキスパート
数学の学習、問題解決、ノート作成のための専門的な知識です。
トピックの対象範囲
mindmap
root((Mathematics))
Algebra
Equations
Polynomials
Functions
Inequalities
Calculus
Limits
Derivatives
Integrals
Series
Statistics
Descriptive
Probability
Inference
Distributions
Linear Algebra
Matrices
Vectors
Eigenvalues
Transformations
Discrete Math
Logic
Sets
Combinatorics
Graph Theory
クイックリファレンスリンク
- 公式: formulas.md を参照してください
- 微積分: calculus.md を参照してください
- 線形代数: linear-algebra.md を参照してください
- 統計: statistics.md を参照してください
問題解決のフレームワーク
一般的な手順
- 注意深く読む - 与えられているものと、求められているものを特定します
- 描く・可視化する - グラフや図をスケッチします
- 戦略を選ぶ - 直接法、置換法、背理法など
- 実行する - すべての手順を明確に示します
- 検証する - 答えが妥当かどうかを確認します
よく使う証明戦略
| 戦略 | 使用する場面 | 例 |
|---|---|---|
| 直接証明 | P → Q を直接示す | 「n が偶数ならば、n² は偶数である」 |
| 背理法 | ¬Q を仮定し、矛盾を導く | √2 が無理数であることの証明 |
| 対偶 | 代わりに ¬Q → ¬P を証明する | 論理的同値 |
| 帰納法 | すべての n ∈ ℕ に関する命題 | 和の公式 |
| 場合分け | 異なるシナリオ | 区分的関数 |
数学的帰納法のテンプレート
Claim: P(n) is true for all n ≥ 1
Base Case: Show P(1) is true.
[Verify for n = 1]
Inductive Step:
Assume P(k) is true for some k ≥ 1. (Inductive Hypothesis)
Show P(k+1) is true.
[Derive P(k+1) using P(k)]
Therefore, by induction, P(n) is true for all n ≥ 1. ∎
記法リファレンス
| 記号 | 意味 |
|---|---|
| ∀ | すべての |
| ∃ | 存在する |
| ∈ | ~の要素 |
| ⊂ | 真部分集合 |
| ⊆ | 部分集合または等しい |
| ∪ | 和集合 |
| ∩ | 積集合 |
| ℕ | 自然数 {1,2,3,...} |
| ℤ | 整数 {...,-1,0,1,...} |
| ℚ | 有理数 |
| ℝ | 実数 |
| ℂ | 複素数 |
| ∞ | 無限大 |
| ∴ | したがって |
| ∵ | なぜなら |
| ∎ | QED(証明完了) |
関数分析チェックリスト
- 定義域 - どの x の値が使えるか?
- 値域 - どの y の値が得られるか?
- 切片 - x=0、y=0 となるのはどこか?
- 対称性 - 偶関数 f(-x)=f(x)? 奇関数 f(-x)=-f(x)?
- 漸近線 - 垂直、水平、斜め?
- 臨界点 - f'(x)=0 または未定義となるのはどこか?
- 区間 - 増加・減少は?
- 凹凸 - f''(x) > 0 または < 0 となるのはどこか?
- 変曲点 - 凹凸が変化するのはどこか?
避けるべきよくある間違い
- ゼロで割る - 分母 ≠ 0 を確認する
- 負の数の平方根 - 定義域を考慮する
- 平方根を取るときに ± を忘れる
- 導関数における連鎖律の誤り
- 不定積分で +C を忘れる
- 0/0、∞/∞ の形に対する極限法則の誤用
コメント
Markdown 対応