STACKを使った初等代数の評価

本論文は、初等代数の問題に対する学生の回答を評価するためにコンピューター代数システム（CAS）を用いた数学のコンピューター支援評価（CAA）に関するものです。文書分析の方法論を使い、初等代数で何が教えられているのかを調査します。本論文で展開されたアイデアの実装をテストするケーススタディとして、CAS Maximaを使用したSTACK CAAシステム（http://www.stack.bham.ac.uk/）を取り上げます。コンピューター支援評価やコンピューターベースの学習において必要なCASの一般的な特性について議論します。特に、初等算術演算の名詞形を一貫して実装する必要性が伝統的な動詞形とともに特定されています。