In this paper, we proposed a concept of a teacher-support system for symbolic calculation. The teacher-support system provides the teacher with the candidates of possible operation-rules his students used for their symbolic calculations by analyzing the students' expressions used in the calculations. The operation-rules include not only proper mathematical operation-rules but also bug-rules caused by students' misconceptions. The system optimizes its method by learning the selection of the teacher among the proposed candidates by the system.
展开▼