原始的な推論を使い数学の問題の解き方を獲得するプログラム

抄録

本研究では、繰返しや分岐、変数化、及び既 に獲得した解き方の利用など、原始的な帰納 推論のみで多様な数学の問題が解けるプロ グラムの開発を行っている。本発表では、式の変 形の仕方の獲得後、連立方程式の解法を獲得 するプログラムの試作について報告する。各入 力文は、自然言語と数式からなり、学校の先 生が中学生に教えるようにプログラムに与え ると、プログラムは解き方の手順を作成する。