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

Advanced Programming Environment Based on Program Semantics

Research Project

Project/Area Number 15K00090
Research Category

Grant-in-Aid for Scientific Research (C)

Allocation TypeMulti-year Fund
Section一般
Research Field Software
Research InstitutionOchanomizu University

Principal Investigator

Asai Kenichi  お茶の水女子大学, 基幹研究院, 准教授 (10262156)

Project Period (FY) 2015-04-01 – 2019-03-31
Project Status Completed (Fiscal Year 2018)
Budget Amount *help
¥4,680,000 (Direct Cost: ¥3,600,000、Indirect Cost: ¥1,080,000)
Fiscal Year 2017: ¥1,430,000 (Direct Cost: ¥1,100,000、Indirect Cost: ¥330,000)
Fiscal Year 2016: ¥1,560,000 (Direct Cost: ¥1,200,000、Indirect Cost: ¥360,000)
Fiscal Year 2015: ¥1,690,000 (Direct Cost: ¥1,300,000、Indirect Cost: ¥390,000)
Keywords開発環境 / 関数型言語 / 型システム / 型デバッガ / ステッパ / 初心者プログラミング教育
Outline of Final Research Achievements

An advanced programming environment that is suitable for novice programmers is constructed. As support for static semantics (type system), a type debugger is equipped with a type slicer, which not only reduces the number of questions during type debugging, but also makes the type debugger more efficient. As support for syntax, a block interface is constructed, in which syntax errors and type errors would never arise. As support for dynamic semantics (program execution), a stepper is constructed that supports exception handling and modules, with which a user can observe execution sequences easily.

Academic Significance and Societal Importance of the Research Achievements

プログラミングには、構文エラーや型エラー、実行時のエラーなど、必ずしもプログラミングの本質には関係しない困難を伴う。本研究は、適切な環境を構築すれば、これらのエラーの多くは取り除くことができることを示している。特に、プログラミング初学者は、これらの困難に足をすくわれることが多く、このような環境は重要であると考えられる。実際、本研究で構築したステッパを使った授業では、理解の役に立ったという反応を得ている。今後、小学生のプログラミング教育が始まることなどを考えると、このような技術はさらに重要になっていくと予想される。

Report

(5 results)
  • 2018 Annual Research Report   Final Research Report ( PDF )
  • 2017 Research-status Report
  • 2016 Research-status Report
  • 2015 Research-status Report
  • Research Products

    (16 results)

All 2019 2018 2017 2016 2015

All Journal Article (6 results) (of which Int'l Joint Research: 1 results,  Peer Reviewed: 6 results,  Open Access: 1 results,  Acknowledgement Compliant: 1 results) Presentation (10 results) (of which Int'l Joint Research: 2 results,  Invited: 1 results)

  • [Journal Article] Stepping OCaml2019

    • Author(s)
      Tsukino Furukawa, Youyou Cong, Kenichi Asai
    • Journal Title

      Electronic Proceedings in Theoretical Computer Science

      Volume: 未定 Pages: 1-18

    • Related Report
      2018 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Blockly をベースにした OCaml ビジュアルプログラミングエディタ2019

    • Author(s)
      松本 晴香、浅井 健一
    • Journal Title

      プログラミングおよびプログラミング言語ワークショップ論文集

      Volume: 21 Pages: 1-15

    • Related Report
      2018 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Selective CPS transformation for shift and reset2018

    • Author(s)
      Kenichi Asai, Chihiro Uehara
    • Journal Title

      ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation

      Volume: 2018 Pages: 40-52

    • Related Report
      2017 Research-status Report
    • Peer Reviewed
  • [Journal Article] 限定継続命令をもつ依存型付き言語の設計2018

    • Author(s)
      叢 悠悠、浅井 健一
    • Journal Title

      プログラミングおよびプログラミング言語ワークショップ論文集

      Volume: 20 Pages: 1-17

    • NAID

      130007667001

    • Related Report
      2017 Research-status Report
    • Peer Reviewed
  • [Journal Article] Agda による PHOAS を用いた CPS 変換の正当性の証明2018

    • Author(s)
      石尾 千晶、山田 麗、浅井 健一
    • Journal Title

      プログラミングおよびプログラミング言語ワークショップ論文集

      Volume: 20 Pages: 1-17

    • Related Report
      2017 Research-status Report
    • Peer Reviewed
  • [Journal Article] Implementing a stepper using delimited continuations2016

    • Author(s)
      Youyou Cong and Kenichi Asai
    • Journal Title

      EPiC Series in Computing

      Volume: 39 Pages: 42-54

    • Related Report
      2015 Research-status Report
    • Peer Reviewed / Open Access / Int'l Joint Research / Acknowledgement Compliant
  • [Presentation] 実用的な型エラースライサーの評価およびデータ活用に向けた取り組み2019

    • Author(s)
      脇川 奈穂, 浅井 健一, 対馬 かなえ
    • Organizer
      プログラミングおよびプログラミング言語ワークショップ
    • Related Report
      2018 Annual Research Report
  • [Presentation] Incremental な OCaml ステッパの開発2019

    • Author(s)
      古川 つきの, 浅井 健一
    • Organizer
      プログラミングおよびプログラミング言語ワークショップ
    • Related Report
      2018 Annual Research Report
  • [Presentation] OCaml 初学者の syntax error 調査2019

    • Author(s)
      北川 舞, 浅井 健一
    • Organizer
      プログラミングおよびプログラミング言語ワークショップ
    • Related Report
      2018 Annual Research Report
  • [Presentation] OCaml ステッパの拡張2018

    • Author(s)
      古川 つきの, 浅井 健一
    • Organizer
      プログラミングおよびプログラミング言語ワークショップ
    • Related Report
      2017 Research-status Report
  • [Presentation] 型エラースライシングを利用した型エラーデバッガに関する実装と考察2017

    • Author(s)
      脇川奈穂、対馬かなえ、浅井健一
    • Organizer
      第19回プログラミングおよびプログラミング言語ワークショップ
    • Place of Presentation
      華やぎの章 慶山(山梨県・笛吹市)
    • Year and Date
      2017-03-08
    • Related Report
      2016 Research-status Report
  • [Presentation] 型エラースライシングを利用した型エラーデバッガに関する実装と考察2017

    • Author(s)
      脇川奈穂、対馬かなえ、浅井健一
    • Organizer
      第58回プログラミング・シンポジウム
    • Place of Presentation
      ラフォーレ伊東(静岡県・伊東市)
    • Year and Date
      2017-01-06
    • Related Report
      2016 Research-status Report
  • [Presentation] 動的束縛を用いた stepper の実装2016

    • Author(s)
      叢 悠悠,浅井 健一
    • Organizer
      第18回プログラミングおよびプログラミング言語ワークショップ
    • Place of Presentation
      ダイヤモンド瀬戸内マリンホテル(岡山県・玉野市)
    • Year and Date
      2016-03-07
    • Related Report
      2015 Research-status Report
  • [Presentation] 強い型付けを利用したプログラミング初学者のための開発環境2016

    • Author(s)
      石井 柚季,浅井 健一
    • Organizer
      第18回プログラミングおよびプログラミング言語ワークショップ
    • Place of Presentation
      ダイヤモンド瀬戸内マリンホテル(岡山県・玉野市)
    • Year and Date
      2016-03-07
    • Related Report
      2015 Research-status Report
  • [Presentation] Principle and Practice of OCaml Type Debugger2016

    • Author(s)
      Kenichi Asai
    • Organizer
      SIGPLAN Programming Languages Mentoring Workshop 2016
    • Place of Presentation
      奈良春日野国際フォーラム(奈良県・奈良市)
    • Related Report
      2016 Research-status Report
    • Int'l Joint Research / Invited
  • [Presentation] Cross validation of the universe teachpack of Racket in OCaml2015

    • Author(s)
      Uehara, C., and K. Asai
    • Organizer
      4th International Workshop on Trends in Functional Programming in Education
    • Place of Presentation
      Sophia-Antipolis, France
    • Year and Date
      2015-06-02
    • Related Report
      2015 Research-status Report
    • Int'l Joint Research

URL: 

Published: 2015-04-16   Modified: 2020-03-30  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi