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

Fundamental Research on Teaching Methods for Conception Externalization of using the Formal Methods

Research Project

Project/Area Number 23501103
Research Category

Grant-in-Aid for Scientific Research (C)

Allocation TypeMulti-year Fund
Section一般
Research Field Educational technology
Research InstitutionShobi University (2012-2014)
Shinshu University (2011)

Principal Investigator

TATSYJU Yamamoto  尚美学園大学, 公私立大学の部局等, その他 (30535266)

Co-Investigator(Kenkyū-buntansha) KUNIMUNE Hisayoshi  信州大学, 工学部, 助教 (90377648)
SUDO Satoshi  尚美学園大学, 芸術情報学部, 講師 (00383349)
Co-Investigator(Renkei-kenkyūsha) KAYAMA Mizue  信州大学, 工学部, 准教授 (70233989)
Research Collaborator HUWA Yasushi  信州大学, 総合情報処理センター, センター長 (00165507)
FUJITA Yutaka  長野工業高等専門学校, 電子情報工学科, 講師 (80573120)
Project Period (FY) 2011-04-28 – 2015-03-31
Project Status Completed (Fiscal Year 2014)
Budget Amount *help
¥4,810,000 (Direct Cost: ¥3,700,000、Indirect Cost: ¥1,110,000)
Fiscal Year 2013: ¥1,560,000 (Direct Cost: ¥1,200,000、Indirect Cost: ¥360,000)
Fiscal Year 2012: ¥1,300,000 (Direct Cost: ¥1,000,000、Indirect Cost: ¥300,000)
Fiscal Year 2011: ¥1,950,000 (Direct Cost: ¥1,500,000、Indirect Cost: ¥450,000)
Keywordsアルゴリズム的思考 / プログラミング教育 / 論理的文章教育 / アルゴリズム的思考法 / 論理的文章
Outline of Final Research Achievements

Our aim in this research is to develop a procedure to educate university students how to make logical thinking.
A procedure, which is developed by supposing that beginners at programing undergo five stages, is applied to our computer programing education. As a result of applying the procedure, it has been found that students who can think logically learn to programming skill slightly more effectively than those who cannot do so.
In addition, as a preliminary investigation for developing a procedure in the education of logical thinking, documents in books, which is instructing logical writing, are analyzed using the tools of text mining. The result suggests that the skill for organizing paragraph is the most significant.

Report

(5 results)
  • 2014 Annual Research Report   Final Research Report ( PDF )
  • 2013 Research-status Report
  • 2012 Research-status Report
  • 2011 Research-status Report
  • Research Products

    (24 results)

All 2015 2014 2013 2012 2011

All Journal Article (2 results) (of which Peer Reviewed: 2 results) Presentation (22 results)

  • [Journal Article] 「情報の科学」におけるアルゴリズム・プログラミング教育を支援するビジュアルプログラミングシステムの提案2014

    • Author(s)
      國宗永佳,香山瑞恵,新村正明
    • Journal Title

      日本情報科教育学会学会誌

      Volume: 7 Pages: 37-46

    • NAID

      40020830942

    • Related Report
      2014 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Algorithmic Thinking Learning Support System Based on Student-Problem Score Table Analysis2014

    • Author(s)
      Mizue Kayama, Makoto Satoh, Kei Kobayashi, Hisayoshi Kunimune, Masami Hashimoto, & Makoto Otani
    • Journal Title

      International Journal of Computer and Communication Engineering

      Volume: 3, (2) Pages: 134-140

    • Related Report
      2013 Research-status Report
    • Peer Reviewed
  • [Presentation] ビジュアルプログラミング環境を用いたプログラミング初学者対象の授業実践と評価2015

    • Author(s)
      山本樹,國宗永佳,須藤智
    • Organizer
      教育システム情報学会研究会
    • Place of Presentation
      香川大学
    • Year and Date
      2015-03-21
    • Related Report
      2014 Annual Research Report
  • [Presentation] 修正意図推論に基づく設計ポリシー習得支援システム2015

    • Author(s)
      大西挙, 小尻智子, 山本樹
    • Organizer
      日本教育工学会研究会
    • Place of Presentation
      九州大学
    • Year and Date
      2015-02-28
    • Related Report
      2014 Annual Research Report
  • [Presentation] テキストマイニングを用いた文章技術に関する書籍の調査2015

    • Author(s)
      山本樹
    • Organizer
      教育システム情報学会研究会
    • Place of Presentation
      大阪産業大学
    • Year and Date
      2015-01-10
    • Related Report
      2014 Annual Research Report
  • [Presentation] Algorithmic Thinking Learning Support System in Block Programming Paradigm2014

    • Author(s)
      Mizue Kayama, Hisayoshi Kunimune, Masaaki Niimura, Masami Hashimoto, Makoto Otani
    • Organizer
      Proc. of the 22nd International Conference on Computers in Education (ICCE2014)
    • Place of Presentation
      奈良
    • Year and Date
      2014-11-30 – 2014-12-04
    • Related Report
      2014 Annual Research Report
  • [Presentation] アルゴリズム学習における補助課題作成に関する基礎的検討2014

    • Author(s)
      不破みのり, 香山瑞恵, 國宗永佳, 橋本昌巳, 大谷真
    • Organizer
      電子情報通信学会技術研究報告
    • Place of Presentation
      金沢大学
    • Year and Date
      2014-10-18
    • Related Report
      2014 Annual Research Report
  • [Presentation] プログラミング学習の導入を支援するビジュアルプログラミング環境の開発と評価2014

    • Author(s)
      大浦真暉, 國宗永佳, 山本樹, 新村正明
    • Organizer
      電子情報通信学会技術研究報告
    • Place of Presentation
      金沢大学
    • Year and Date
      2014-10-18
    • Related Report
      2014 Annual Research Report
  • [Presentation] プログラムを用いた技術文書作成の教育方法の検討2014

    • Author(s)
      山本樹,國宗永佳,藤田悠
    • Organizer
      日本教育工学会第30回全国大会
    • Place of Presentation
      岐阜大学
    • Year and Date
      2014-09-19 – 2014-09-21
    • Related Report
      2014 Annual Research Report
  • [Presentation] プログラミング教育を用いた文章作成力養成方法の検討2014

    • Author(s)
      藤田悠,山本樹
    • Organizer
      日本教育工学会第30回全国大会
    • Place of Presentation
      岐阜大学
    • Year and Date
      2014-09-19 – 2014-09-21
    • Related Report
      2014 Annual Research Report
  • [Presentation] Preliminary evaluation of a problem-posing method in programming classes2014

    • Author(s)
      Hisayoshi Kunimune, Masaaki Niimura
    • Organizer
      Proc. of 18th International Conference on Knowledge-Based and Intelligent Information & Engineering Systems (KES2014)
    • Place of Presentation
      ポーランド
    • Year and Date
      2014-09-15 – 2014-09-17
    • Related Report
      2014 Annual Research Report
  • [Presentation] 授業支援機能を有するビジュアルプログラミング環境ATの開発2014

    • Author(s)
      國宗永佳, 大浦真暉, 香山瑞恵, 新村正明
    • Organizer
      教育システム情報学会第39回全国大会
    • Place of Presentation
      和歌山大学
    • Year and Date
      2014-09-10 – 2014-09-12
    • Related Report
      2014 Annual Research Report
  • [Presentation] 初級プログラミング学習者に対するプログラム概念理解のための支援方法の実施報告2014

    • Author(s)
      山本樹,國宗永佳
    • Organizer
      教育システム情報学会第39回全国大会
    • Place of Presentation
      和歌山大学
    • Year and Date
      2014-09-10 – 2014-09-12
    • Related Report
      2014 Annual Research Report
  • [Presentation] プログラミング初学者のためのアニメーションを用いた学習支援システムの提案2014

    • Author(s)
      佐々木瞬,須藤智,山本樹,恩田憲一
    • Organizer
      教育システム情報学会研究会
    • Place of Presentation
      放送大学
    • Year and Date
      2014-05-10
    • Related Report
      2014 Annual Research Report
  • [Presentation] アルゴリズム的思考における問題解決プロセスの検討2013

    • Author(s)
      山本樹,國宗永佳
    • Organizer
      電気情報通信学会教育工学研究会
    • Place of Presentation
      熊本大学
    • Related Report
      2013 Research-status Report
  • [Presentation] 初級プログラミング学習におけるプログラム作成過程と支援方法の検討2013

    • Author(s)
      國宗永佳,山本樹,香山瑞恵,新村正明
    • Organizer
      教育システム情報学会第38回全国大会
    • Place of Presentation
      金沢大学
    • Related Report
      2013 Research-status Report
  • [Presentation] プログラミングを利用したソフトウェア開発文書教育の検討2013

    • Author(s)
      藤田悠,山本樹
    • Organizer
      日本教育工学会第29回全国大会
    • Place of Presentation
      秋田大学
    • Related Report
      2013 Research-status Report
  • [Presentation] Preliminary Visual Programming Education System2013

    • Author(s)
      H. Kunimune, T. Yamamoto, K. Kobayashi, M. Kayama, and M. Niimura
    • Organizer
      Proc. of World Conference on E-Learning in Corporate, Government, Healthcare, and Higher Education 2013
    • Place of Presentation
      Las Vegas
    • Related Report
      2013 Research-status Report
  • [Presentation] アルゴリズム要素の利用制御が可能なビジュアルプログラミング環境2013

    • Author(s)
      香山瑞恵, 小林慶, 國宗永佳, 新村正明
    • Organizer
      日本情報科教育学会第1回研究報告
    • Place of Presentation
      学校法人 河合塾学園 トライデント コンピュータ専門学校
    • Related Report
      2013 Research-status Report
  • [Presentation] 情報工学科学生に対するアルゴリズム的思考法教育の実践と評価(第2報)2013

    • Author(s)
      國宗永佳,香山瑞恵,新村正明
    • Organizer
      教育システム情報学会研究会
    • Place of Presentation
      山口大学
    • Related Report
      2012 Research-status Report
  • [Presentation] 論理的思考法の図解を利用した アルゴリズム的思考教育に関する一検討2013

    • Author(s)
      山本樹,國宗永佳
    • Organizer
      教育システム情報学会研究会
    • Place of Presentation
      山口大学
    • Related Report
      2012 Research-status Report
  • [Presentation] アルゴリズム的思考法の学習における課題の適切性に関する検討2012

    • Author(s)
      佐藤亮,香山瑞恵,國宗永佳,伊東一典,橋本昌巳,大谷真
    • Organizer
      電子情報通信学会教育工学研究会
    • Place of Presentation
      信州大学
    • Related Report
      2012 Research-status Report
  • [Presentation] アルゴリズム的思考法のための学習環境とそこでの教育展開2011

    • Author(s)
      香山瑞恵, 永井孝, 國宗永佳, 山本樹, 新村正明, 不破泰
    • Organizer
      教育システム情報学会第36回全国大会
    • Place of Presentation
      広島市立大学
    • Related Report
      2011 Research-status Report
  • [Presentation] 情報工学科学生に対するアルゴリズム的思考法教育の実践2011

    • Author(s)
      國宗永佳, 山本樹, 香山瑞恵, 新村正明, 不破泰
    • Organizer
      教育システム情報学会第36回全国大会
    • Place of Presentation
      広島市立大学
    • Related Report
      2011 Research-status Report

URL: 

Published: 2011-08-05   Modified: 2019-07-29  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi