2001 Fiscal Year Final Research Report Summary
Development of a Educational System that generates domain-oriented - explanations of Programs
| Project/Area Number |
11680216
|
|---|
| Research Category |
Grant-in-Aid for Scientific Research (C)
|
| Allocation Type | Single-year Grants |
|---|
| Section | 一般 |
|---|
| Research Field |
Educational technology
|
|---|
| Research Institution | Shizuoka University |
|---|
Principal Investigator |
ITOH Yukihiro Shizuoka Univ. Dep. of C.S., professor, 情報学部, 教授 (20193526)
|
|---|
| Co-Investigator(Kenkyū-buntansha) |
TAKUCHI Yugo Shizuoka Univ. Dept of C.S., Lecturer, 情報学部, 講師 (00333500)
|
|---|
| Project Period (FY) |
1999 – 2001
|
| Keywords | Intelligent Educational System / Intelligent Tutoring System / Programming Education / Generating Explanations / Program Understanding |
|---|
| Research Abstract |
In this research, we have developed an educational system that helps programming learners by providing domain-oriented-explanations. Domain-oriented-explanations are explanations of functions of programs by vocabularies of domain world.
We think that novice programming learners feel difficulties when they cannot understand whether bugs of their own program caused by failure in constructing algorithm or failure in encoding it. Therefore our system explains domain-oriented-functions of programs independently of detailed logic of the programs. By comparing explanations with supposed behaviors of the programs, learners can check algorithms and find algorithmic bugs without middling with detailed logic of the programs. The system also shows sets of statements that realize each domain-oriented-function in order to help learners to find buggy codes. Moreover it can help learners to understand model programs by explaining them. In this research, we have proposed a method of program analysis based on simulation. Our system has a domain model which represents states of a domain world and simulates a program on the model to extract its domain-oriented-functions. We have also proposed a method to make explanations of extracted functions and logic of programs. We have implemented an experimental system and some domain models and have evaluated our methods. We think that a new type of educational system for programming can be proposed in this research.
|
Research Products
(12 results)
