WEKO3
アイテム
関数型プログラミング言語に対する初学者に寄り添う型推論系
https://ipsj.ixsq.nii.ac.jp/records/232936
https://ipsj.ixsq.nii.ac.jp/records/2329368b50edd2-c7d5-4baa-927d-060fb9d5a2ad
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
IPSJ-SE24216014.pdf (262.0 kB)
2026年2月26日からダウンロード可能です。
|
Copyright (c) 2024 by the Information Processing Society of Japan
|
|
| 非会員：¥660, IPSJ:学会員：¥330, SE:会員：¥0, DLIB:会員：¥0 | ||
| Item type | SIG Technical Reports(1) | |||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| 公開日 | 2024-02-26 | |||||||||||||
| タイトル | ||||||||||||||
| タイトル | 関数型プログラミング言語に対する初学者に寄り添う型推論系 | |||||||||||||
| 言語 | ||||||||||||||
| 言語 | jpn | |||||||||||||
| 資源タイプ | ||||||||||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_18gh | |||||||||||||
| 資源タイプ | technical report | |||||||||||||
| 著者所属 | ||||||||||||||
| 愛知県立大学情報科学部 | ||||||||||||||
| 著者所属 | ||||||||||||||
| 愛知県立大学情報科学部 | ||||||||||||||
| 著者所属 | ||||||||||||||
| 愛知県立大学情報科学部 | ||||||||||||||
| 著者所属 | ||||||||||||||
| 愛知県立大学情報科学部 | ||||||||||||||
| 著者所属(英) | ||||||||||||||
| en | ||||||||||||||
| School of Information Science and Technology, Aichi Prefectural University | ||||||||||||||
| 著者所属(英) | ||||||||||||||
| en | ||||||||||||||
| School of Information Science and Technology, Aichi Prefectural University | ||||||||||||||
| 著者所属(英) | ||||||||||||||
| en | ||||||||||||||
| School of Information Science and Technology, Aichi Prefectural University | ||||||||||||||
| 著者所属(英) | ||||||||||||||
| en | ||||||||||||||
| School of Information Science and Technology, Aichi Prefectural University | ||||||||||||||
| 著者名 |
山田, 桃香
× 山田, 桃香
× 大久保, 弘崇
× 粕谷, 英人
× 山本, 晋一郎
|
|||||||||||||
| 論文抄録 | ||||||||||||||
| 内容記述タイプ | Other | |||||||||||||
| 内容記述 | 我々は 2016 年に Haskell サブセット言語を対象とする処理系を発表した．この処理系は Haskell 初学者の学習支援システムの基盤となること，言語処理系の内部に手を加えるような実験を行いやすい基盤となることを目的としている．また，Haskell 初学者が手軽に Haskell プログラミングを試すことができるように，Web ブラウザ上で動作する TypeScript で実装されている．この処理系は実用化に向けて，いくつか構成要素を欠いている．その中でも，本研究では Haskell の特徴である型推論系が未実装であることに注目をして，型推論系を実装した． | |||||||||||||
| 書誌レコードID | ||||||||||||||
| 収録物識別子タイプ | NCID | |||||||||||||
| 収録物識別子 | AN10112981 | |||||||||||||
| 書誌情報 |
研究報告ソフトウェア工学（SE） 巻 2024-SE-216, 号 14, p. 1-7, 発行日 2024-02-26 |
|||||||||||||
| ISSN | ||||||||||||||
| 収録物識別子タイプ | ISSN | |||||||||||||
| 収録物識別子 | 2188-8825 | |||||||||||||
| Notice | ||||||||||||||
| SIG Technical Reports are nonrefereed and hence may later appear in any journals, conferences, symposia, etc. | ||||||||||||||
| 出版者 | ||||||||||||||
| 言語 | ja | |||||||||||||
| 出版者 | 情報処理学会 | |||||||||||||
