WEKO3
アイテム
継続渡しスタイルの関数型プログラミング学習のためのWeb実行環境の設計
https://ipsj.ixsq.nii.ac.jp/records/197969
https://ipsj.ixsq.nii.ac.jp/records/19796950e816dd-8670-4211-b62c-e4f508666637
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
IPSJ-SE19202008.pdf (214.4 kB)
|
Copyright (c) 2019 by the Institute of Electronics, Information and Communication Engineers This SIG report is only available to those in membership of the SIG.
|
|
| SE:会員：¥0, DLIB:会員：¥0 | ||
| Item type | SIG Technical Reports(1) | |||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|
| 公開日 | 2019-07-05 | |||||||||||
| タイトル | ||||||||||||
| タイトル | 継続渡しスタイルの関数型プログラミング学習のためのWeb実行環境の設計 | |||||||||||
| 言語 | ||||||||||||
| 言語 | jpn | |||||||||||
| 資源タイプ | ||||||||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_18gh | |||||||||||
| 資源タイプ | technical report | |||||||||||
| 著者所属 | ||||||||||||
| 広島市立大学大学院情報科学研究科システムエ学専攻 | ||||||||||||
| 著者所属 | ||||||||||||
| 広島市立大学情報科学部システムエ学科 | ||||||||||||
| 著者所属 | ||||||||||||
| 広島市立大学大学院情報科学研究科システムエ学専攻 | ||||||||||||
| 著者名 |
小島, 渚
× 小島, 渚
× 橋本, 知江美
× 島, 和之
|
|||||||||||
| 論文抄録 | ||||||||||||
| 内容記述タイプ | Other | |||||||||||
| 内容記述 | 高階関数や遅延評価などによって再利用性を向上させることができるので，関数型プログラミングは重要である．これまでの研究で，継続渡しスタイルを簡潔に記述できる関数型言語を提案した．関数からの復帰，末尾再帰，例外処理など様々な制御の流れが，直接スタイルでは暗黙に仮定されているが，継続渡しスタイルでは明示的に表現できる．よって，関数型プログラムにおける制御の流れを理解するために提案言語は有用と考えられる．そこで，本研究では，提案言語で記述されたプログラムを Web ブラウザ上で実行することを目的とし，その実行環境の設計を行った．これを実装することによって，処理系をインストールすることなく，Web ブラウザを使って関数型プログラミングを学習できるようになる． | |||||||||||
| 書誌レコードID | ||||||||||||
| 収録物識別子タイプ | NCID | |||||||||||
| 収録物識別子 | AN10112981 | |||||||||||
| 書誌情報 |
研究報告ソフトウェア工学（SE） 巻 2019-SE-202, 号 8, p. 1-6, 発行日 2019-07-05 |
|||||||||||
| ISSN | ||||||||||||
| 収録物識別子タイプ | ISSN | |||||||||||
| 収録物識別子 | 2188-8825 | |||||||||||
| Notice | ||||||||||||
| SIG Technical Reports are nonrefereed and hence may later appear in any journals, conferences, symposia, etc. | ||||||||||||
| 出版者 | ||||||||||||
| 言語 | ja | |||||||||||
| 出版者 | 情報処理学会 | |||||||||||
