Development of a Educational System that generates domain-oriented - explanations of Programs

开发面向领域的教育系统 - 程序解释

• 批准号: 11680216
• 负责人: ITOH Yukihiro
• 金额: $ 2.18万
• 依托单位: Shizuoka University
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Scientific Research (C)
• 财政年份: 1999
• 资助国家: 日本
• 起止时间: 1999 至 2001
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-11680216/
• 关键词: Intelligent Educational System; Intelligent Tutoring System; Programming Education; Generating Explanations; Program Understanding; プログラム学習支援; アニメーション生成; Intelligent Tutoring System; マルチモーダル; アルゴリズムアニメーション; ヒューマンインタフェース

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.

在这项研究中，我们开发了一个教育系统，帮助编程学习者提供面向领域的解释。面向领域的解释是用领域世界的词汇来解释程序的功能。我们认为初学者在不理解自己的程序的错误是由于算法构造失败还是编码失败时会感到困难。因此，我们的系统独立于程序的详细逻辑来解释程序的面向领域的功能。通过将解释与程序的假设行为进行比较，学习者可以检查算法并发现算法错误，而无需对程序的详细逻辑进行折衷。该系统还显示了实现每个面向领域的功能，以帮助学习者找到错误的代码的语句集。此外，它可以帮助学习者理解模型程序的解释。在本研究中，我们提出了一种基于模拟的程序分析方法。我们的系统有一个领域模型，它代表了一个领域世界的状态，并模拟一个程序的模型，以提取其面向领域的功能。我们还提出了一种方法，使提取的功能和程序逻辑的解释。我们已经实现了一个实验系统和一些领域模型，并评估了我们的方法。我们认为，本研究可以提出一种新型的程序设计教育体系。

项目成果

T.Ando, Y. Kawada, R.Itoh, T.Konishi and Y.Itoh: "An Educational System that can Visualize Behaviour of Programs on the Domain World"Proc. of Int'l Conf. On Comp. in Edu. 1087-1095 (2000)

T.Ando、Y. Kawada、R.Itoh、T.Konishi 和 Y.Itoh：“可以可视化领域世界中程序行为的教育系统”Proc。

K.Yoshikawa,Isamu Takahashi,T.Konishi and Y.Itoh: "Generating Interactive Explanations by using both Images and Texts for Microworld"Proc.of Int'l Conf.On Computer in Education (ICCE2000). 643-650 (2000)

K.Yoshikawa、Isamu Takahashi、T.Konishi 和 Y.Itoh：“通过使用图像和文本为微观世界生成交互式解释”Proc.of Intl Conf.On Computer in Education (ICCE2000)。

T.Ando,Y.Kawada,R.Itoh,T.Konishi and Y.Itoh: "An Educational System that can Visualize Behaviour of Programs on the Domain World,"Proc.of Int'l Conf.On Computer in Education (ICCE2000). 1087-1095 (2000)

T.Ando、Y.Kawada、R.Itoh、T.Konishi 和 Y.Itoh：“一种可以可视化领域世界中程序行为的教育系统”，Proc.of Intl Conf.On Computer in Education (ICCE2000)

安間文彦: "プログラムの問題領域上での動作の説明・可視化を行うプログラミング学習支援システムの構築"人工知能学会知的教育システム研究会資料. SIG・IES A103-13. 75-80 (2002)

Amma Fumihiko：“解释和可视化问题区域中的程序行为的编程学习支持系统的构建”人工智能学会智能教育系统研究小组的材料。SIG·IES A103-13（2002年） ）

T.Ando, R.Itoh, K.Konishi, Y.Itoh: "Extension of the educational system that generates domain-oriented-explanations of programs"Proc. of Int'l Conf. Comp. in Edu.. 856-859 (1999)

T.Ando、R.Itoh、K.Konishi、Y.Itoh：“生成面向领域的程序解释的教育系统的扩展”Proc。