学習・学術活動

無料の数学証明解説ツール.

推論と依存関係の段階的な説明。

仮定と併せて証明を読み、まだ説明できない具体的な手順の根拠を尋ねます。

Chrome拡張機能とアカウントが必要です。
毎月25回の無料自動化タスクを全ツールで共有。ブラウザー接続先の提供元の制限が適用されます。

準備するもの

数学的証明の文章。

ここから開始

自分用に調整できるタスクです。

ここでコピーし、準備ができたら WebAct に貼り付けてください。

このページではプロンプトを準備します。タスクは WebAct で実行します。

01

タスクを自分用に調整しましょう。

上のプロンプトを確認し、目的と重要な要件を追加してください。

02

WebAct に持ち込みましょう。

元のページを開き、WebAct を有効にして、関連する読み取り可能な内容を選びます。タスクを貼り付け、求められた追加資料を提供してください。

03

役立つ部分を確認しましょう。

結果の対象は、提供または選択した読み取り可能な内容です。先に関連するページの節を展開し、意図した記録が結果に含まれるか確認してください。

実践ガイド

数学の証明の各手順を理解する方法。

使っている仮定も含め、各手順がなぜ導かれるか説明してください。記号の行を言葉に言い換えるだけでは証明は明確になりません。

作業手順をタスクに合わせましょう。

主張、仮定、各証明手順の理由を特定します。論証が結論に至る仕組みを説明し、一般的な証明と命題を例示するだけの事例を区別してください。

用意するもの
数学的証明の文章。
得られるもの
推論と依存関係の段階的な説明。

入力と結果を確認しましょう。

説明用の入力と出力 · 実際の WebAct 実行ではない学習用サンプル

入力項目サンプル個

Explain why the sum of two even integers is even.

完成例

An even integer can be written as 2 times an integer. Let the two numbers be 2m and 2n, where m and n are integers. Their sum is 2m + 2n = 2(m + n). Since m + n is an integer, the sum is divisible by 2 and is therefore even.
この例をダウンロード

この入力をプロンプトに読み込み、WebAct にコピーして試してください。結果は掲載例と異なる場合があります。

判断のポイントとトラブル対処。

成立する例がいくつかあれば普遍的な主張を証明できますか?

例は直感を助けますが、普遍的な主張には許される全事例を覆う論証か適切な証明方法が必要です。

説明が記号の言い換えだけになるのはなぜですか?

各移行を正当化する規則や仮定を示してください。欠けているつながりは、記法を言葉にするより重要なことがあります。

自分の資料で試しましょう。

タスクのプロンプト内の例を自分の資料に置き換えてください。必要な要件を残し、タスクを WebAct にコピーします。

タスクを調整してコピー ↑
始める前に

WebAct の利用。

プロンプトと例はここで利用できます。タスクは Chrome 用 WebAct 拡張機能で実行してください。

このツールは無料ですか?

このページのプロンプトは無料でコピー・編集できます。WebAct で使うには Chrome 拡張機能をインストールし、アカウントを作成・認証して、利用可能なブラウザー版 ChatGPT セッションを接続してください。Free プランには、ユーザーが開始する自動化タスクが暦月ごとに25回含まれ、全ツールで共有します。通常のブラウザー Chat は別枠で、提供元の制限が適用されます。

共有コンテキストの説明はこちら: プライバシーポリシー モードの選び方はこちら: Chat または Task.

プロンプトから実際の作業へ

タスクを自分のページへ。

WebAct をインストールし、元資料を加えて結果を自分用に調整しましょう。

WebActをインストール