权益分类	功能权益	普通用户	{{item.name}}会员
{{category.name}}	{{benefitItem.name}}

Development of a dynamic and friendly program visualization for learning materials of functional programming

开发动态且友好的程序可视化，用于函数式编程的学习材料

基本信息

批准号：
22K12320
负责人：
塩澤秀和
金额：
$ 2.75万
依托单位：
Tamagawa University
依托单位国家：
日本
项目类别：
Grant-in-Aid for Scientific Research (C)
财政年份：
2022
资助国家：
日本
起止时间：
2022-04-01 至 2025-03-31
项目状态：
未结题

项目摘要

関数型プログラミングは、コンピュータで行う処理を、副作用のない「数学的な意味での関数」によって記述するものである。これは、記述の簡潔性など大きな利点がある反面、抽象度が高く習得が難しいとされており、実際の開発ではあまり採用されてこなかった。しかし、近年では従来型のプログラミング言語にも、関数型の構文や機能が取り入れられるようになり、その知識は開発者にとって必要なものとなりつつある。そこで、本研究では、関数型プログラミングの初学者にとって特に理解が難しいとされるプログラムの動的な振る舞いを可視化する手法を開発し、評価することを目的とする。初年度では、まず関数型プログラミングの学習支援において、可視化すべき機能や概念について必要な要件を整理した。そして、それをもとに関数型プログラミングの中でも代表的な機能である高階関数と遅延評価に関する可視化を提案した。高階関数とは、別の関数をその引数や返り値として扱う関数のことであり、遅延評価とは、プログラム内で値が必要になったときに初めて式や関数が実際に評価される評価方法である。試作したソフトウェアは、filter、map、foldlの3つの高階関数の処理の流れをアニメーションを用いて動的に可視化し、対応するHaskellのソースコードを生成する。本可視化では、関数をノードではなく水平な線分として表現し、関数の評価はノード間の静的な線の接続ではなく、引数が線分をまたいで上から下に移動するアニメーションで表現する。遅延評価では、評価処理が行われた引数だけが移動する。本研究の途中成果は、国際会議RISP NCSP 2023において、「Dynamic Visualization of Basic High-Order Functions for Learning Functional Programming」というタイトルで発表した。

The number of people, the side effects, the side effects, the math, the math. On the contrary, on the contrary, on the contrary, In recent years, in recent years, there has been a lot of information, a lot of information has been received in recent years, and it is necessary for those who have access to information and knowledge to make sure that it is necessary. In this study, the beginners have a special understanding of the methods of vibration dance, music, dance, dance At the beginning of the year, the school of science and technology supports the preparation of the necessary requirements for the concept of financial information and equipment. The mechanism represented by the number of users in the information system can be extended to meet the requirements of the proposed proposal. In terms of the number of variables, the number of arguments, the number of parameters, the number of parameters, the number In order to improve the performance of the system, such as filter, map, foldl, and so on, you need to make sure that the information is available in the system, and the data is generated in the system. In this way, you can change the data table, the data table. We need to change the number of arguments in order to move the data. In this study, the results on the way, the international conference RISP NCSP 2023, the international conference "Dynamic Visualization of Basic High-Order Functions for Learning Functional Programming", and the international conference "international conference" were reviewed.