FreeStyleWiki

東ロボの論文読み

[数学,機械学習,東ロボ]

東ロボの論文読み

  要旨

まず、「機械によって数学の問題を解く」とは何かを解明し、次にそれをインスタンス化する記号システムについて説明します。 システムでは、問題のテキストは、答えを見つけるように命令する指令、つまり、特定の形式であり、問題で与えられた条件を満たすZF集合論の項に変換されます。 次に、指令はソルバーの言語の式に変換され、推論を通じて答えを見つけます。 実際の入試の数学の問題を使用した予備実験では、アプローチの実行可能性について肯定的な結果が示されました。 最後に、注釈付きの数学問題コーパスを紹介します。このコーパスは、研究コミュニティで利用できるようになります。

ZF集合論
公理的集合論 のこと、別ページでまとめる
ソルバー
Wikipedia - Solver, "ソルバーは、ある種の一般的な形式で問題の説明を取り、その解決策を計算します。ソルバーでは、同様のタイプの他の問題に簡単に適用できるプログラムまたはライブラリーの作成に重点が置かれます。"

そして、注釈付きの数学問題コーパスあるんだ!これはすごい