WEKO3
-
RootNode
アイテム
Rubyに対するGradual typingの導入
https://uec.repo.nii.ac.jp/records/8467
https://uec.repo.nii.ac.jp/records/8467994573ec-4ff8-4d3f-859e-e1abb75a2c59
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
1531069 (580.7 kB)
|
|
| Item type | 学位論文 / Thesis or Dissertation(1) | |||||||||
|---|---|---|---|---|---|---|---|---|---|---|
| 公開日 | 2017-03-13 | |||||||||
| タイトル | ||||||||||
| タイトル | Rubyに対するGradual typingの導入 | |||||||||
| 言語 | ja | |||||||||
| 言語 | ||||||||||
| 言語 | jpn | |||||||||
| 資源タイプ | ||||||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_46ec | |||||||||
| 資源タイプ | thesis | |||||||||
| 著者 |
丹治, 将貴
× 丹治, 将貴
|
|||||||||
| 抄録 | ||||||||||
| 内容記述タイプ | Abstract | |||||||||
| 内容記述 | プログラミング言語Rubyは，広く使用されている動的型付け言語である． Rubyは実行時に型チェックを行うため，プログラムを実行し型エラーを含む部分に実行が及ばなければ型エラーは報告されない． このことは，プログラム中に型エラーによるバグが潜在的に残り，バグの発見が遅れたり，バグを見逃したりする要因となっている． このような動的型付けの欠点を補う方法として，Gradual typingが提案されている． Gradual typingとは，型注釈の有無により型付けの手法が異なるような型システムである． 型注釈がある部分については静的に型付けをし，実行前に型チェックを行う． 型注釈がない部分については動的型として型付けをし，実行時に型チェックを行う． 本研究の目的は，Rubyの動的型付けによる柔軟性を残しつつ，プログラムの型エラーによるバグの発見を容易にすることである． その方針として，RubyにGradual typingを導入することで，静的型エラーの検出と，Rubyの柔軟性を両立させることを目指す． 本論文では，Gradual typingに基づく動的型と型注釈の構文を加えたRubyのサブセットを考え，そのサブセットについて型付け規則と評価規則を与え，実装に向けての基本的な考え方を示す． さらにその正当性を，進行定理と保存定理を証明することで示す． |
|||||||||
| 学位名 | ||||||||||
| 学位名 | 修士 | |||||||||
| 学位授与機関 | ||||||||||
| 学位授与機関名 | 電気通信大学 | |||||||||
| 学位授与年度 | ||||||||||
| 内容記述タイプ | Other | |||||||||
| 内容記述 | 2016 | |||||||||
| 学位授与年月日 | ||||||||||
| 学位授与年月日 | 2017-03-24 | |||||||||
| 著者版フラグ | ||||||||||
| 出版タイプ | AM | |||||||||
| 出版タイプResource | http://purl.org/coar/version/c_ab4af688f83e57aa | |||||||||
| 専攻 | ||||||||||
| 情報理工学研究科 | ||||||||||
| 専攻 | ||||||||||
| 情報・通信工学専攻 | ||||||||||
