公式や定理の意味を獲得する仕組みを構築する試み－演繹の仕方を帰納的に獲得する仕組みの追求

摘要

個々の課題を解くとき，公式，定理などを適応するという範囲で，公式，定理の意味を獲得することを説明する．あらかじめ人が作成した仕組みは，公式や定理などを個々の手順として，それらを適したところで使う一般的な手順を，帰納的に作成する．そして，仕組みは，課題が与えられると，それまでに作成した，一般的な手順を呼び出すが，呼び出された手順は，個々の課題を解くのに適した公式や定理を選び，課題に適応することで，課題を解く．