CalculusMateの微積分の計算結果の検証方法

CalculusMateは計算と検証を分けています。まず対応している決定論的な規則で計算し、その問題形式で利用できる検算を行います。計算結果の横にある表示は、この処理がどこまで完了したかを示します。

各ステータスの意味

• 検証済み：表示された結果が利用可能な決定論的チェックを通過しました。
• 計算完了：規則による計算は完了しましたが、独立した検証材料が十分ではありません。
• 検証失敗：検算が一致しないか、安全に処理できませんでした。
• 未対応：式、記法、定義域、または必要な手法が現在の規則外です。AIによる推測で補いません。

これは現在の結果に対する表示であり、すべての途中式や数学的領域を形式的に証明したという意味ではありません。

微分の確認

対応している一階微分は決定論的な式ツリーで再計算します。高階微分では、安全な複数の点における打ち切りTaylor級数の自動微分を使う場合があります。安全な点が不足すれば「計算完了」のままになります。

偏微分では選択した変数だけを変化させ、他の独立変数を定数として扱います。陰関数微分は解析した関係と dy/dx = -F_x/F_y を使います。分母がゼロになる点や特異点には別の検討が必要です。

積分と極限の確認

対応している原始関数は再び微分し、複数の安全な点で被積分関数と比較します。定積分では、その確認後に有限の上下限を代入します。有限で連続な区間は決定論的なSimpson法で近似する場合があります。

極限は、可能なら厳密な代入や簡約を使います。対応する不定形では限定的なL'Hôpitalの規則を使い、必要に応じて指定方向からの安定した値を比較します。左右が一致しないときは二方向極限として受け入れません。

対応しない範囲

• すべての特殊関数、記法、収束判定には対応していません。
• AIの説明を数学的検証として扱いません。
• 授業で指定された仮定や記述方法の代わりにはなりません。
• 確認できない結果を「検証済み」と表示しません。

数学上の誤りを報告する

お問い合わせページから、計算機のURL、正確な式、変数や上下限、表示された状態、期待した結果をお知らせください。パスワードや決済情報は送信しないでください。

よくある質問

「検証済み」は完全な形式証明ですか？

いいえ。対応する問題で利用できる決定論的チェックを最終結果が通過したことを示します。

AIが数学の答えを変更しますか？

いいえ。任意のAI機能は問題や手順を説明するためのもので、決定論的な計算結果を置き換えません。

「計算完了」だけになるのはなぜですか？

規則による計算はできても、独立チェックに十分な安全な証拠が得られない場合があるためです。