| アイテムタイプ |
Article |
| ID |
|
| プレビュー |
| 画像 |
|
| キャプション |
|
|
| 本文 |
KO11003001-20230304-0013.pdf
| Type |
:application/pdf |
Download
|
| Size |
:352.7 KB
|
| Last updated |
:Feb 20, 2024 |
| Downloads |
: 72 |
Total downloads since Feb 20, 2024 : 72
|
|
| 本文公開日 |
|
| タイトル |
| タイトル |
関数型プログラミング言語の実装手法
|
| カナ |
カンスウガタ プログラミング ゲンゴ ノ ジッソウ シュホウ
|
| ローマ字 |
Kansūgata puroguramingu gengo no jissō shuhō
|
|
| 別タイトル |
|
| 著者 |
| 名前 |
柏木, 力哉
|
| カナ |
|
| ローマ字 |
|
| 所属 |
慶應義塾大学理工学部電気情報学科
|
| 所属(翻訳) |
|
| 役割 |
|
| 外部リンク |
|
|
| 版 |
|
| 出版地 |
|
| 出版者 |
| 名前 |
慶應義塾大学AI・高度プログラミングコンソーシアム
|
| カナ |
ケイオウ ギジュク ダイガク AI・コウド プログラミング コンソーシアム
|
| ローマ字 |
Keiō gijuku daigaku AI kōdo puroguramingu konsōshiamu
|
|
| 日付 |
| 出版年(from:yyyy) |
2023
|
| 出版年(to:yyyy) |
|
| 作成日(yyyy-mm-dd) |
|
| 更新日(yyyy-mm-dd) |
|
| 記録日(yyyy-mm-dd) |
|
|
| 形態 |
|
| 上位タイトル |
| 名前 |
AICカンファレンス予稿集
|
| 翻訳 |
|
| 巻 |
|
| 号 |
|
| 年 |
2023
|
| 月 |
|
| 開始ページ |
13
|
| 終了ページ |
18
|
|
| ISSN |
|
| ISBN |
|
| DOI |
|
| URI |
|
| JaLCDOI |
|
| NII論文ID |
|
| 医中誌ID |
|
| その他ID |
|
| 博士論文情報 |
| 学位授与番号 |
|
| 学位授与年月日 |
|
| 学位名 |
|
| 学位授与機関 |
|
|
| 抄録 |
本論文は、関数型プログラミング言語をラムダ計算をベースとしたコア言語に翻訳する過程で必要な実装手法を説明する。オフサイドルールや演算子の結合性解決といった構文解析上のテクニックから、型検査やパターンマッチの翻訳などまで、一連の過程を隈なく記述する。本研究では、明示的に型付けされたコア言語を出力するため、Damas-Milner型システムを拡張した、型抽象と型適用を挿入する型推論アルゴリズムを考案した。加えて、任意階の多相やモジュールシステムによるデータ抽象など、現代的な関数型言語には必須である、高度な型システムの実装も明らかにした。
|
|
| 目次 |
|
| キーワード |
| functional programming languages
|
|
| NDC |
|
| 注記 |
会議名 : AICカンファレンス2023
開催地 : 慶應義塾大学日吉キャンパス
日時 : 2023年3月4日
第1章研究論文
論文-2
|
|
| 言語 |
|
| 資源タイプ |
|
| ジャンル |
|
| 著者版フラグ |
|
| 関連DOI |
|
| アクセス条件 |
|
| 最終更新日 |
|
| 作成日 |
|
| 所有者 |
|
| 更新履歴 |
|
| インデックス |
|
| 関連アイテム |
|
