初級プログラミング教育における支援システムに関する研究 - 因果マップエディタ -
スポンサーリンク
概要
- 論文の詳細を見る
We aimed at the construction of the intellectual CAI system in the beginner's programming education and study about the definition of program specification. We expect it is mechanically decidable that students' programs are correct or not and which advices must be given when they are incorrect by comparing them to it. But it is insufficient if the specification is only comprised of the solution to realize our expectation. It must be associated with the common sense and knowledge to be used to build the program to give relevant advices. To express the common sense and knowledge in addition to the solution