Item Type |
Article |
ID |
|
Preview |
Image |
|
Caption |
|
|
Full text |
KO11003001-20230304-0013.pdf
Type |
:application/pdf |
Download
|
Size |
:352.7 KB
|
Last updated |
:Feb 20, 2024 |
Downloads |
: 80 |
Total downloads since Feb 20, 2024 : 80
|
|
Release Date |
|
Title |
Title |
関数型プログラミング言語の実装手法
|
Kana |
カンスウガタ プログラミング ゲンゴ ノ ジッソウ シュホウ
|
Romanization |
Kansūgata puroguramingu gengo no jissō shuhō
|
|
Other Title |
|
Creator |
Name |
柏木, 力哉
|
Kana |
|
Romanization |
|
Affiliation |
慶應義塾大学理工学部電気情報学科
|
Affiliation (Translated) |
|
Role |
|
Link |
|
|
Edition |
|
Place |
|
Publisher |
Name |
慶應義塾大学AI・高度プログラミングコンソーシアム
|
Kana |
ケイオウ ギジュク ダイガク AI・コウド プログラミング コンソーシアム
|
Romanization |
Keiō gijuku daigaku AI kōdo puroguramingu konsōshiamu
|
|
Date |
Issued (from:yyyy) |
2023
|
Issued (to:yyyy) |
|
Created (yyyy-mm-dd) |
|
Updated (yyyy-mm-dd) |
|
Captured (yyyy-mm-dd) |
|
|
Physical description |
|
Source Title |
Name |
AICカンファレンス予稿集
|
Name (Translated) |
|
Volume |
|
Issue |
|
Year |
2023
|
Month |
|
Start page |
13
|
End page |
18
|
|
ISSN |
|
ISBN |
|
DOI |
|
URI |
|
JaLCDOI |
|
NII Article ID |
|
Ichushi ID |
|
Other ID |
|
Doctoral dissertation |
Dissertation Number |
|
Date of granted |
|
Degree name |
|
Degree grantor |
|
|
Abstract |
本論文は、関数型プログラミング言語をラムダ計算をベースとしたコア言語に翻訳する過程で必要な実装手法を説明する。オフサイドルールや演算子の結合性解決といった構文解析上のテクニックから、型検査やパターンマッチの翻訳などまで、一連の過程を隈なく記述する。本研究では、明示的に型付けされたコア言語を出力するため、Damas-Milner型システムを拡張した、型抽象と型適用を挿入する型推論アルゴリズムを考案した。加えて、任意階の多相やモジュールシステムによるデータ抽象など、現代的な関数型言語には必須である、高度な型システムの実装も明らかにした。
|
|
Table of contents |
|
Keyword |
functional programming languages
|
|
NDC |
|
Note |
会議名 : AICカンファレンス2023
開催地 : 慶應義塾大学日吉キャンパス
日時 : 2023年3月4日
第1章研究論文
論文-2
|
|
Language |
|
Type of resource |
|
Genre |
|
Text version |
|
Related DOI |
|
Access conditions |
|
Last modified date |
|
Creation date |
|
Registerd by |
|
History |
|
Index |
|
Related to |
|