WEKO3
アイテム
継続渡し形式の型主導部分評価器における正当性の証明 [学位論文内容の要旨/学位論文審査の要旨/日本語要旨/外国語要旨]
http://hdl.handle.net/10083/55246
http://hdl.handle.net/10083/55246f3894069-2f11-4731-b5cf-a9014ea96d70
名前 / ファイル | ライセンス | アクション |
---|---|---|
![]() |
|
|
![]() |
|
|
![]() |
|
|
![]() |
|
Item type | 学位論文 / Thesis or Dissertation(1) | |||||
---|---|---|---|---|---|---|
公開日 | 2014-06-11 | |||||
タイトル | ||||||
タイトル | 継続渡し形式の型主導部分評価器における正当性の証明 [学位論文内容の要旨/学位論文審査の要旨/日本語要旨/外国語要旨] | |||||
言語 | ja | |||||
言語 | ||||||
言語 | jpn | |||||
資源タイプ | ||||||
資源タイプ識別子 | http://purl.org/coar/resource_type/c_db06 | |||||
資源タイプ | doctoral thesis | |||||
著者 |
廣田, 知子
× 廣田, 知子× HIROTA, Noriko |
|||||
内容記述 | ||||||
内容記述タイプ | Other | |||||
内容記述 | お茶の水女子大学人間文化創成科学研究科博士(理学)学位論文・平成26年3月24日授与(甲第126号) | |||||
書誌情報 |
発行日 2014-03-24 |
|||||
フォーマット | ||||||
内容記述タイプ | Other | |||||
内容記述 | application/pdf | |||||
フォーマット | ||||||
内容記述タイプ | Other | |||||
内容記述 | application/pdf | |||||
フォーマット | ||||||
内容記述タイプ | Other | |||||
内容記述 | application/pdf | |||||
フォーマット | ||||||
内容記述タイプ | Other | |||||
内容記述 | application/pdf | |||||
形態 | ||||||
値 | 51858 bytes | |||||
形態 | ||||||
値 | 87936 bytes | |||||
形態 | ||||||
値 | 12063 bytes | |||||
形態 | ||||||
値 | 11879 bytes | |||||
出版タイプ | ||||||
出版タイプ | VoR | |||||
出版タイプResource | http://purl.org/coar/version/c_970fb48d4fbd8a85 | |||||
著者版フラグ | ||||||
値 | publisher | |||||
日本十進分類法 | ||||||
主題Scheme | NDC | |||||
主題 | 410 | |||||
タイトル(ヨミ) | ||||||
その他のタイトル | The Correctness Proof of Type-Directed Partial Evaluators in the Continuation- Passing Style | |||||
資源タイプ | ||||||
内容記述タイプ | Other | |||||
内容記述 | 学位論文 | |||||
資源タイプ・ローカル | ||||||
値 | 学位論文 | |||||
資源タイプ・NII | ||||||
値 | Thesis or Dissertation | |||||
資源タイプ・DCMI | ||||||
値 | text | |||||
資源タイプ・ローカル表示コード | ||||||
値 | 02 | |||||
関係URI | ||||||
関連名称 | http://hdl.handle.net/10083/55247 | |||||
学位名 | ||||||
学位名 | 博士(理学) | |||||
学位授与機関 | ||||||
学位授与機関識別子Scheme | kakenhi | |||||
学位授与機関識別子 | 12611 | |||||
学位授与機関名 | お茶の水女子大学 | |||||
学位授与年月日 | ||||||
学位授与年月日 | 2014-03-24 | |||||
学位授与番号 | ||||||
学位授与番号 | 甲第000126号 | |||||
コメント | ||||||
値 | 別に全文公開あり。関連URIの項目を要参照。 |