• Search Research Projects
  • Search Researchers
  • How to Use
  1. Back to previous page

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

Research Project

Project/Area Number 11680216
Research Category

Grant-in-Aid for Scientific Research (C)

Allocation TypeSingle-year Grants
Section一般
Research Field Educational technology
Research InstitutionShizuoka 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
Project Status Completed (Fiscal Year 2001)
Budget Amount *help
¥3,400,000 (Direct Cost: ¥3,400,000)
Fiscal Year 2001: ¥800,000 (Direct Cost: ¥800,000)
Fiscal Year 2000: ¥1,000,000 (Direct Cost: ¥1,000,000)
Fiscal Year 1999: ¥1,600,000 (Direct Cost: ¥1,600,000)
KeywordsIntelligent Educational System / Intelligent Tutoring System / Programming Education / Generating Explanations / Program Understanding / プログラム学習支援 / アニメーション生成 / Intelligent Tutoring System / マルチモーダル / アルゴリズムアニメーション / ヒューマンインタフェース
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.

Report

(4 results)
  • 2001 Annual Research Report   Final Research Report Summary
  • 2000 Annual Research Report
  • 1999 Annual Research Report
  • Research Products

    (27 results)

All Other

All Publications (27 results)

  • [Publications] 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)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] 伊藤, 小西, 伊東: "プログラムの問題領域上での動作説明を行うプログラム学習支援システムの構築"人工知能学会誌. Vol.15 No.2. 362-375 (2000)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] 小西, 鈴木, 伊東: "プログラミング教育における教師支援のためのプログラム評価機構"電子情報通信学会論文誌. Vol.J-83・D・I No.6. 682-692 (2000)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] T.Ando, Y.Kawada, R.Itoh, T.Konish, 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)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] H.Suzuki, T.Konish, Y.Itoh: "Applicability of an Educational System Assisting Teachers of Novice Programming to Actual Education"Proc. on Int'l Conf. on Comp. in Edu.. 128-132 (2000)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] H.Suzuki, T.Sakai, T.Konish, Y.Itoh: "Automated Evaluation of Learners Programs by using Algorithm representations Independent of Programming Languages"Proc. on Int'l Conf. on Comp. in Edu.. 883-890 (2001)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] R.Itoh, T.Konishi and Y.Itoh: "On constructing a programming Education System that Makes Domain- Oriented- Explanations"Trans. Of JSA. Vol.15, No.2. 362-375 (2000)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] T. konishi, H. suzuki and Y.Itoh: "A Method of Automated Evaluation of Learners' Programs for Assisting Teachers"Trans. Of IEICE,. Vol.J83-D-I,No.6. 682-692 (2000)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] T. Ando, R. Itoh, T. Konishi and Y.Itoh: "Extension of the educational system that generates domainoriented-explanations of programs -On methods for designing domain world models and for simulation-"Proc. of Int'l Conf. On Comp. in Edu. 856-859 (1999)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] 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)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] H.Suzuki, T.Konishi and Y.Itoh: "Applicability of an Educational System Assisting Teachers of Novice Programming to Actual Education"Proc. of Int'l Conf. On Comp. in Edu. 128-132 (2000)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] H.Suzuki, T.Sakai, T. Konishi and Y.Itoh: "Automated Evaluation of Learners' Programs by using Algorithm Representations Independent of Programming Languages"Proc. of I Int'l Conf. On Comp. in Edu. vol.2. 883-890 (2001)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] 小西達裕: "プログラミング教育における教師支援のためのプログラム評価機構"電子情報通信学会論文誌. Vol.J88-D-I No6. 682-692 (2000)

    • Related Report
      2001 Annual Research Report
  • [Publications] T. Ando: "An Educational System that can Visualize Behavior of Programs on the Domain World"Proc. of Int'l Conf. on Comp. in Edu.. 1087-1095 (2000)

    • Related Report
      2001 Annual Research Report
  • [Publications] H. Suzuki: "Applicability of an Educational System Assisting Teschers of Novice Programming to Actual Education"Proc. of Int'l Conf. on Comp. in Edu.. 128-132 (2000)

    • Related Report
      2001 Annual Research Report
  • [Publications] H. Suzuki: "Automated Evaluation of Learners' Programs by using Algorithm Representations Independent of Pregramming Language"Proc. of Int'l Conf. on Comp. in Edu.. 883-890 (2001)

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

    • Related Report
      2001 Annual Research Report
  • [Publications] 高橋勇,小西達裕,伊東幸宏: "マイクロワールドにおけるプランニングとプラン認識を利用したアドバイス生成"人工知能学会誌(オンラインジャーナル). Vol.16,No.1(オンライン). (2001)

    • Related Report
      2000 Annual Research Report
  • [Publications] 小西達裕,鈴木浩之,伊東幸宏: "プログラミング教育における教師支援のためのプログラム評価機構"電子情報通信学会論文誌(D-I分冊). Vol.J83-D-I,No.6. 682-692 (2000)

    • Related Report
      2000 Annual Research Report
  • [Publications] 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)

    • Related Report
      2000 Annual Research Report
  • [Publications] 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)

    • Related Report
      2000 Annual Research Report
  • [Publications] H.Suzuki,T.Konishi and Y.Itoh: "Applicability of an Educational System Assisting Teachers of Novice Programming to Actual Education"Proc.of Int'l Conf.On Computer in Education (ICCE2000). 128-132 (2000)

    • Related Report
      2000 Annual Research Report
  • [Publications] 吉川清士,井上ゆかり,高橋勇,小西達裕,伊東幸宏: "高校化学の計算問題演習におけるテキストとイメージを用いた学習支援"教育システム情報学会 言語知識処理応用部会第1回研究会資. 15-20 (2001)

    • Related Report
      2000 Annual Research Report
  • [Publications] T.Ando,R.Itoh,T.Konishi,Y.Itoh: "Extension of the educational system that generates domain oriented-explanations"Int'l Conf.on Computers in Education. (1999)

    • Related Report
      1999 Annual Research Report
  • [Publications] 伊藤良二,安藤健利,小西達裕,伊東幸宏: "プログラムの問題領域上での動作を説明するプログラミング学習支援システムの評価"人工知能学会研究会資料. SIG-IES-9903. 21-26 (2000)

    • Related Report
      1999 Annual Research Report
  • [Publications] 鈴木浩之,酒井嵩臣,小西達裕,伊東幸宏: "初等プログラミング教育における教師支援システムの評価"人工知能学会研究会資料. SIG-IES-9903. 27-32 (2000)

    • Related Report
      1999 Annual Research Report
  • [Publications] 伊藤良二,小西達裕,伊東幸宏: "プログラムの問題領域上での動作説明を行うプログラミング学習支援システムの構築"人工知能学会誌. Vol.15,No.2. (2000)

    • Related Report
      1999 Annual Research Report

URL: 

Published: 1999-04-01   Modified: 2016-04-21  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi