Extension of the educational system that generates domain-oriented-explanations of programs - on methods for designing domain world models and for simulation

摘要

In this paper; we discuss extension of our educational system that gives domain-oriented-explanations of programs. We are constructing an educational system that can explain functions of programs and help learners to understand model programs, to confirm their own programs, to find bugs in their programs and to fix them. Our previous system is effective only for the world model for exercises that pay attention to numerical order such as 'greater' and 'lesser' (ex. Exercises of sorting). So we propose a general method of designing domain world model and a method of simulation on the domain world model. We focus on the domain world of two-dimensional space which used for some numerical analyzing methods such as 'Newton method' or 'Simpson method', and apply our methods to the domain.