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

Construction of an educational system that supports four-phases checking method for algorithms and programs

Research Project

Project/Area Number 17300265
Research Category

Grant-in-Aid for Scientific Research (B)

Allocation TypeSingle-year Grants
Section一般
Research Field Educational technology
Research InstitutionShizuoka University

Principal Investigator

ITOH Yukihiro  Shizuoka University, Graduate School of Science and Tachnology, Professor (20193526)

Co-Investigator(Kenkyū-buntansha) KONISHI Tatsuhiro  Shizuoka University, Faculty of Informatics, Associate professor (30234800)
HARAIKAWA Tomohiro  Shizuoka University, Faculty of Informatics, Associate professor (90324326)
KOGURE Satoru  Shizuoka University, Faculty of Informatics, Research associate (40359758)
Project Period (FY) 2005 – 2007
Project Status Completed (Fiscal Year 2007)
Budget Amount *help
¥12,040,000 (Direct Cost: ¥10,900,000、Indirect Cost: ¥1,140,000)
Fiscal Year 2007: ¥4,940,000 (Direct Cost: ¥3,800,000、Indirect Cost: ¥1,140,000)
Fiscal Year 2006: ¥3,200,000 (Direct Cost: ¥3,200,000)
Fiscal Year 2005: ¥3,900,000 (Direct Cost: ¥3,900,000)
Keywordsalgorithm learning / programming learning / support for learning and teaching / self-checking / internet / 学習・支援
Research Abstract

[I]We constructed a network-based educational environment composed of the following components:
[Algorithm editor]
- We evaluated usability of our algorithm editor, then extended it considering novice learners' usage.
- We developed a function that teacher can define vocabularies freely based on the exercises that he/she sets, and that learners can represent
their algorithm by using the vocabularies.
[Algorithm compiler]
- We extended it to be able to compile algorithms represented by the vocabularies defined by teachers.
[Comparing unit between algorithm and programs]
- We developed some heuristics in order to make the processing speed of the unit quicker.
- We extended the unit to be able to perform 'localized comparing'. It means comparison in which only the parts of an algorithm representation designated by a teacher are compared with learners' programs.
[Correspondence viewer between algorithm and programs]
- We implemented the viewer, and extend it to make its usability better.
[Qualifying t … More ool for learners' programs]
- We use a qualifying tool for built-in program codes to generate advices for learners. However, the advices are too many and difficult for novice learners. Therefore, we developed an additional tool for reducing advices. Moreover, we developed a filtering tool that rewrites the advices easier.
[2] We evaluated our system experimentally.
- We applied our system to an actual class of programming in a university. At first learners writes algorithm by algorithm editor. Then they compile the algorithm to get executable files. They execute them and confirm validity of the results. After that, they write source codes. We observed learners' behavior and asked them usability of the system by questionnaire. Consequently, we found our system has a certain pedagogical effectiveness.
- We asked teachers of novice and intermediate programming class to evaluate learners' programs by our system. We found some advantages of our system. For example, correctness of their evaluation is increased. Less

Report

(4 results)
  • 2007 Annual Research Report   Final Research Report Summary
  • 2006 Annual Research Report
  • 2005 Annual Research Report
  • Research Products

    (31 results)

All 2008 2007 2006 2005

All Journal Article (16 results) (of which Peer Reviewed: 5 results) Presentation (15 results)

  • [Journal Article] 抽象的データ構造を含むアルゴリズム表現に基づくプログラム評価支援システムの構築"2007

    • Author(s)
      鈴木浩之, 小西達裕, 伊東幸宏
    • Journal Title

      教育システム情報学会誌 Vol.24,No.3

      Pages: 167-186

    • NAID

      130007957456

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2007 Final Research Report Summary
    • Peer Reviewed
  • [Journal Article] Automated evaliation of Learner's Programs by comparing with a stand and algorithm that has some vague specifications2007

    • Author(s)
      Y. Katoh, H. Suzuki, T. Konishi, Y. Itoh
    • Journal Title

      ICCE2007, Supplementary Proceedings: Poster

      Pages: 47-48

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2007 Final Research Report Summary
    • Peer Reviewed
  • [Journal Article] Three Phase Self-Reviewing System for Algorithm and Programming Learners", in"KnowledgeManagement for Educational Innovation"2007

    • Author(s)
      T. Haraikawa, Y. Itoh T. Konishi, H. Suzuki,
    • Journal Title

      Knowledge Management for Educational Innovation"(A. Tatnall, T. Okamoto and A. Visscher eds.)

      Pages: 203-210

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2007 Final Research Report Summary
    • Peer Reviewed
  • [Journal Article] A system assisting a teacher in evaluating learner's programs based on algorithm representations represented by using abstract data structures (in Japanese)2007

    • Author(s)
      Hiroyuki, Suzuki, Tatsuhiro, Konishi, Yukihiro, Itoh
    • Journal Title

      Transactions of Japanese Society for Information and Systems in Education Vol.24, No.3

      Pages: 167-186

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2007 Final Research Report Summary
  • [Journal Article] Automated evaliation of Learner's Programs by comparing with a standard algorithm that has some vague specifications2007

    • Author(s)
      Y. Katoh, H. Suzuki, T. Konishi, Y. Itoh
    • Journal Title

      ICCE2007,Supplementary Proceedings : Poster

      Pages: 47-48

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2007 Final Research Report Summary
  • [Journal Article] Three Phase Self-Reviewing System for Algorithm and Programming Learners2007

    • Author(s)
      T. Konishi, H. Suzuki, T. Haraikawa, Y. Itoh
    • Journal Title

      Knowledge Management for Educational Innovation", (A.Tatnall), (T.Okamoto) and (A.Visscher eds.) (Springer Verlag)

      Pages: 203-210

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2007 Final Research Report Summary
  • [Journal Article] 抽象的データ構造を含むアルゴリズム表現に基づくプログラム評価支援システムの構築2007

    • Author(s)
      鈴木 浩之, 小西 達裕, 伊東 幸宏
    • Journal Title

      教育システム情報学会誌 Vol.24,No.3

      Pages: 167-186

    • NAID

      130007957456

    • Related Report
      2007 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Automated evaliation of Learner's Programs by comparing with a stand ard algorithm that has some vague specifications2007

    • Author(s)
      Y.Katoh, H.Suzuki, T.Konishi, Y.Itoh
    • Journal Title

      ICCE2007, Supplementary Proceedings :Poster

      Pages: 47-48

    • Related Report
      2007 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Three Phase Self-Reviewing System for Algorithm and Programming Learners2007

    • Author(s)
      T.Konishi, Hsuzuki, T.Haraikawa, Y.Itoh
    • Journal Title

      ITEM2006 Conference Book

    • Related Report
      2006 Annual Research Report
  • [Journal Article] プログラムの問題領域上での動作説明を行う学習支援システムにおけるモニタリング処理への対応2007

    • Author(s)
      相澤直人, 安間文彦, 小暮悟, 小西達裕, 伊東幸宏
    • Journal Title

      人工知能学会研究会資料 SIG-ALST A603

      Pages: 41-46

    • NAID

      40015391870

    • Related Report
      2006 Annual Research Report
  • [Journal Article] 抽象的データ構造を用いたアルゴリズム表現に基づくプログラム評価システムの実用性評価2006

    • Author(s)
      鈴木浩之, 小西達裕, 伊東幸宏
    • Journal Title

      教育システム情報学会研究報告 Vol.21,no.3

      Pages: 25-30

    • Related Report
      2006 Annual Research Report
  • [Journal Article] プログラムの問題領域での動作説明を行う学習支援システムにおけるモニタリング処理への対応2006

    • Author(s)
      相澤直人, 安間文彦, 小暮悟, 小西達裕, 伊東幸宏
    • Journal Title

      教育システム情報学会 JSiSE2006 第31回全国大会

      Pages: 435-436

    • Related Report
      2006 Annual Research Report
  • [Journal Article] AN EDUCATIONAL SYSTEM GENERATING EXPLANATIONS OF PROGRAMS ON THE TWO-DIMENSIONAL SPACE WORLD2005

    • Author(s)
      Fumihiko Anma, Satoru Kogure, Tatsuhiro Konishi, Yukihiro Itoh
    • Journal Title

      Cognition and Exploratory Learning in Digital Age (CELDA 2005)

    • Related Report
      2005 Annual Research Report
  • [Journal Article] プログラミング言語学習を意識させないアルゴリズム作成・テスト環境の構築2005

    • Author(s)
      新村晃示, 鈴木浩之, 稲垣文雄, 伊藤大輔, 小西達裕, 伊東幸宏
    • Journal Title

      教育システム情報学会研究報告 Vol.19, no.5 (2005-01)

      Pages: 63-70

    • Related Report
      2005 Annual Research Report
  • [Journal Article] プログラムの問題領域での動作説明を行う学習支援システムの対象世界モデルの拡張〜抽象データ構造を含む問題を扱うためのモデルの構築〜2005

    • Author(s)
      加藤友規, 安間文彦, 小西達裕, 伊東幸宏
    • Journal Title

      人工知能学会先進的学習科学と工学研究会(SIG-ALST) SIG-ALST-A502

      Pages: 53-58

    • Related Report
      2005 Annual Research Report
  • [Journal Article] 抽象的データ構造を含むプログラムの半自動評価システムの実用性評価2005

    • Author(s)
      鈴木浩之, 小暮悟, 小西達裕, 伊東幸宏
    • Journal Title

      教育システム情報学会30周年記念全国大会講演論文集 Aug.25-27

      Pages: 209-210

    • Related Report
      2005 Annual Research Report
  • [Presentation] プログラムの動作説明を行なう学習支援システムの拡張〜ポインタを用いたデータ構造への対応〜2008

    • Author(s)
      河合俊和, 小暮悟, 小西達裕, 伊東幸宏
    • Organizer
      教育システム情報学会H19年度第6回研究会
    • Place of Presentation
      静岡県浜松市
    • Year and Date
      2008-03-15
    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2007 Final Research Report Summary
  • [Presentation] Extension of the educational system that can generate explanation of programs -A method to handle programs in which pointers are used-2008

    • Author(s)
      T. Kawai, S. Kogure, T. Konishi, Y. Itoh
    • Organizer
      JSiSE Research Report
    • Place of Presentation
      Shizuoka. (in Japanese)
    • Year and Date
      2008-03-15
    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2007 Final Research Report Summary
  • [Presentation] プログラム半自動評価システムの実用性向上のための抜粋評価の導入2007

    • Author(s)
      加藤悠輔, 鈴木浩之, 小暮悟, 小西達裕, 伊東 幸宏
    • Organizer
      教育システム情報学会 第32回全国大会
    • Place of Presentation
      長野県長野市
    • Year and Date
      2007-09-13
    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2007 Final Research Report Summary
  • [Presentation] Automated evaluation of learner's programs by comparing with a standard algorithm that has some ambiguous specifications2007

    • Author(s)
      Y. Kato, H. Suzuki, S. Kogure, T. Konishi Y. Itoh
    • Organizer
      The 32nd annual conference of Japanese Society for Information and Systems in Education
    • Place of Presentation
      Nagano (in Japanese)
    • Year and Date
      2007-09-13
    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2007 Final Research Report Summary
  • [Presentation] プログラム半自動評価システムの実用性向上のための抜粋評価の導入2007

    • Author(s)
      加藤 悠輔, 鈴木 浩之, 小暮 悟, 小西 達裕, 伊東 幸宏
    • Organizer
      教育システム情報学会JSiSE2007第32回全国大会
    • Place of Presentation
      信州大学
    • Year and Date
      2007-09-13
    • Related Report
      2007 Annual Research Report
  • [Presentation] プログラムの問題領域上での動作説明を行う学習支援システムにおけるモニタリング処理への応用2007

    • Author(s)
      相澤直人, 安間文彦, 小暮悟, 小西達裕, 伊東幸宏
    • Organizer
      第49回 人工知能学会先進的学習科学と工学研究会
    • Place of Presentation
      和歌山県田辺市
    • Year and Date
      2007-03-18
    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2007 Final Research Report Summary
  • [Presentation] Extension of an educational system of programming for generating domain-oriented explanation of monitoring process2007

    • Author(s)
      N. Aizawa, F. Anma, S. Kogure, T. Konishi, Y. Itoh
    • Organizer
      JSAI Research Report, SIG-ALST-A603
    • Place of Presentation
      Wakayama(in Japanese)
    • Year and Date
      2007-03-18
    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2007 Final Research Report Summary
  • [Presentation] 抽象的データ構造を用いたアルゴリズム表現に基づくプログラム評価システムの実用性評価2006

    • Author(s)
      鈴木浩之, 小西達裕, 伊東幸宏:
    • Organizer
      教育システム情報学会H18年度第3回研究会
    • Place of Presentation
      東京都新宿区
    • Year and Date
      2006-09-15
    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2007 Final Research Report Summary
  • [Presentation] Experimental evaluation of a system that evaluates learners' programs based on algorithm representations2006

    • Author(s)
      H. Suzuki, T. Konishi, Y.Itoh
    • Organizer
      JSiSE Research Report
    • Place of Presentation
      Tokyo (in Japanese)
    • Year and Date
      2006-09-15
    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2007 Final Research Report Summary
  • [Presentation] プログラムの問題領域での動作説明を行う学習支援システムにおけるモニタリング処理への対応2006

    • Author(s)
      相澤直人, 安間文彦, 小暮悟, 小西達裕, 伊東幸宏
    • Organizer
      教育システム情報学会 第31回全国大会
    • Place of Presentation
      大阪府大阪市
    • Year and Date
      2006-08-25
    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2007 Final Research Report Summary
  • [Presentation] Extension of programming learning-support system with the generating domain-oriented explanation for adaptation of monitor2006

    • Author(s)
      N. Aizawa, F. Anma, S. Kogure, T. Konishi Y. Itoh
    • Organizer
      The 31st annual conference of Japanese Society for Information and Systems in Education
    • Place of Presentation
      Osaka (in Japanese)
    • Year and Date
      2006-08-25
    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2007 Final Research Report Summary
  • [Presentation] プログラムの問題領域での動作説明を行う学習支援システムの対象世界モデルの拡張〜抽象データ構造を含む問題を扱うためのモデルの構築〜2005

    • Author(s)
      加藤友規, 安間文彦, 小西達裕, 伊東幸宏
    • Organizer
      第45回 人工知能学会先進的学習科学と工学研究会
    • Place of Presentation
      兵庫県神戸市
    • Year and Date
      2005-11-05
    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2007 Final Research Report Summary
  • [Presentation] Extension of the world model of the educational system that can generate domain-oriented explanation-a method to handle abstract data structures -2005

    • Author(s)
      T. Kato, F. Anma, T. Konishi, Y. Itoh
    • Organizer
      JSAI Research Report, SIG-ALST-A502
    • Place of Presentation
      Hyogo, (in Japanese)
    • Year and Date
      2005-11-05
    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2007 Final Research Report Summary
  • [Presentation] 抽象的データ構造を含むプログラムの半自動評価システムの実用性評価2005

    • Author(s)
      鈴木浩之, 小暮悟, 小西達裕, 伊東幸宏
    • Organizer
      教育システム情報学会30周年記念全国大会
    • Place of Presentation
      石川県金沢市
    • Year and Date
      2005-08-26
    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2007 Final Research Report Summary
  • [Presentation] Usefulness of a semi-automatic evaluation system matching learners' programs with an algorithm including abstract data structures2005

    • Author(s)
      H. Suzuki, S. Kogure, T. Konishi, Y. Itoh
    • Organizer
      The 31st annual conference of Japanese Society for Information and Systems in Education
    • Place of Presentation
      Ishikawa (in Japanese)
    • Year and Date
      2005-08-26
    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2007 Final Research Report Summary

URL: 

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

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi