WEKO3
アイテム
{"_buckets": {"deposit": "9e0c9501-54c3-4ab2-807e-4ffd28aac59e"}, "_deposit": {"id": "41353", "owners": [], "pid": {"revision_id": 0, "type": "depid", "value": "41353"}, "status": "published"}, "_oai": {"id": "oai:teapot.lib.ocha.ac.jp:00041353", "sets": ["396"]}, "item_10_biblio_info_8": {"attribute_name": "書誌情報", "attribute_value_mlt": [{"bibliographicIssueDates": {"bibliographicIssueDate": "2013-09-30", "bibliographicIssueDateType": "Issued"}}]}, "item_10_date_granted_74": {"attribute_name": "学位授与年月日", "attribute_value_mlt": [{"subitem_dategranted": "2013-09-30"}]}, "item_10_degree_grantor_72": {"attribute_name": "学位授与機関", "attribute_value_mlt": [{"subitem_degreegrantor": [{"subitem_degreegrantor_name": "お茶の水女子大学"}], "subitem_degreegrantor_identifier": [{"subitem_degreegrantor_identifier_name": "12611", "subitem_degreegrantor_identifier_scheme": "kakenhi"}]}]}, "item_10_degree_name_71": {"attribute_name": "学位名", "attribute_value_mlt": [{"subitem_degreename": "博士(理学)"}]}, "item_10_description_17": {"attribute_name": "フォーマット", "attribute_value_mlt": [{"subitem_description": "application/pdf", "subitem_description_type": "Other"}, {"subitem_description": "application/pdf", "subitem_description_type": "Other"}, {"subitem_description": "application/pdf", "subitem_description_type": "Other"}, {"subitem_description": "application/pdf", "subitem_description_type": "Other"}]}, "item_10_description_46": {"attribute_name": "資源タイプ", "attribute_value_mlt": [{"subitem_description": "学位論文", "subitem_description_type": "Other"}]}, "item_10_description_7": {"attribute_name": "内容記述", "attribute_value_mlt": [{"subitem_description": "お茶の水女子大学人間文化創成科学研究科博士(理学)学位論文・平成25年9月30日授与(甲第100号)", "subitem_description_type": "Other"}]}, "item_10_dissertation_number_75": {"attribute_name": "学位授与番号", "attribute_value_mlt": [{"subitem_dissertationnumber": "甲第000100号"}]}, "item_10_relation_52": {"attribute_name": "関係URI", "attribute_value_mlt": [{"subitem_relation_name": [{"subitem_relation_name_text": "http://hdl.handle.net/10083/54687"}]}]}, "item_10_select_19": {"attribute_name": "著者版フラグ", "attribute_value_mlt": [{"subitem_select_item": "publisher"}]}, "item_10_subject_20": {"attribute_name": "日本十進分類法", "attribute_value_mlt": [{"subitem_subject": "007", "subitem_subject_scheme": "NDC"}]}, "item_10_text_18": {"attribute_name": "形態", "attribute_value_mlt": [{"subitem_text_value": "62857 bytes"}, {"subitem_text_value": "101591 bytes"}, {"subitem_text_value": "88931 bytes"}, {"subitem_text_value": "17155 bytes"}]}, "item_10_text_47": {"attribute_name": "資源タイプ・ローカル", "attribute_value_mlt": [{"subitem_text_value": "学位論文"}]}, "item_10_text_48": {"attribute_name": "資源タイプ・NII", "attribute_value_mlt": [{"subitem_text_value": "Thesis or Dissertation"}]}, "item_10_text_49": {"attribute_name": "資源タイプ・DCMI", "attribute_value_mlt": [{"subitem_text_value": "text"}]}, "item_10_text_50": {"attribute_name": "資源タイプ・ローカル表示コード", "attribute_value_mlt": [{"subitem_text_value": "02"}]}, "item_10_text_78": {"attribute_name": "コメント", "attribute_value_mlt": [{"subitem_text_value": "別に全文公開あり"}]}, "item_1622774442900": {"attribute_name": "出版タイプ", "attribute_value_mlt": [{"subitem_version_resource": "http://purl.org/coar/version/c_970fb48d4fbd8a85", "subitem_version_type": "VoR"}]}, "item_creator": {"attribute_name": "著者", "attribute_type": "creator", "attribute_value_mlt": [{"creatorNames": [{"creatorName": "TSUSHIMA, Kanae"}], "nameIdentifiers": [{"nameIdentifier": "110533", "nameIdentifierScheme": "WEKO"}]}, {"creatorNames": [{"creatorName": "対馬, かなえ", "creatorNameLang": "ja"}], "nameIdentifiers": [{"nameIdentifier": "110534", "nameIdentifierScheme": "WEKO"}]}]}, "item_files": {"attribute_name": "ファイル情報", "attribute_type": "file", "attribute_value_mlt": [{"accessrole": "open_date", "date": [{"dateType": "Available", "dateValue": "2018-05-08"}], "displaytype": "detail", "download_preview_message": "", "file_order": 0, "filename": "description_en.pdf", "filesize": [{"value": "17.2 kB"}], "format": "application/pdf", "future_date_message": "", "is_thumbnail": false, "licensetype": "license_note", "mimetype": "application/pdf", "size": 17200.0, "url": {"label": "外国語要旨", "objectType": "summary", "url": "https://teapot.lib.ocha.ac.jp/record/41353/files/description_en.pdf"}, "version_id": "9e765bc0-f2c4-4887-a591-c246184be67b"}, {"accessrole": "open_date", "date": [{"dateType": "Available", "dateValue": "2018-05-08"}], "displaytype": "detail", "download_preview_message": "", "file_order": 1, "filename": "description_jp.pdf", "filesize": [{"value": "88.9 kB"}], "format": "application/pdf", "future_date_message": "", "is_thumbnail": false, "licensetype": "license_note", "mimetype": "application/pdf", "size": 88900.0, "url": {"label": "日本語要旨", "objectType": "summary", "url": "https://teapot.lib.ocha.ac.jp/record/41353/files/description_jp.pdf"}, "version_id": "601e0c30-4e50-4df7-8496-f839065e0beb"}, {"accessrole": "open_date", "date": [{"dateType": "Available", "dateValue": "2018-05-08"}], "displaytype": "detail", "download_preview_message": "", "file_order": 2, "filename": "K_100_tushima_shinsa.pdf", "filesize": [{"value": "101.6 kB"}], "format": "application/pdf", "future_date_message": "", "is_thumbnail": false, "licensetype": "license_note", "mimetype": "application/pdf", "size": 101600.0, "url": {"label": "学位論文審査の要旨", "objectType": "abstract", "url": "https://teapot.lib.ocha.ac.jp/record/41353/files/K_100_tushima_shinsa.pdf"}, "version_id": "0b181463-224f-45fb-b75e-4da5463c62fe"}, {"accessrole": "open_date", "date": [{"dateType": "Available", "dateValue": "2018-05-08"}], "displaytype": "detail", "download_preview_message": "", "file_order": 3, "filename": "K_100_tushima_naiyo.pdf", "filesize": [{"value": "62.9 kB"}], "format": "application/pdf", "future_date_message": "", "is_thumbnail": false, "licensetype": "license_note", "mimetype": "application/pdf", "size": 62900.0, "url": {"label": "学位論文内容の要旨", "objectType": "abstract", "url": "https://teapot.lib.ocha.ac.jp/record/41353/files/K_100_tushima_naiyo.pdf"}, "version_id": "b7520bb7-bd7c-4833-afab-8f3900a9ef96"}]}, "item_language": {"attribute_name": "言語", "attribute_value_mlt": [{"subitem_language": "jpn"}]}, "item_resource_type": {"attribute_name": "資源タイプ", "attribute_value_mlt": [{"resourcetype": "doctoral thesis", "resourceuri": "http://purl.org/coar/resource_type/c_db06"}]}, "item_title": "Practicable type debugging for functional languages [学位論文内容の要旨/学位論文審査の要旨/日本語要旨/外国語要旨]", "item_titles": {"attribute_name": "タイトル", "attribute_value_mlt": [{"subitem_title": "Practicable type debugging for functional languages [学位論文内容の要旨/学位論文審査の要旨/日本語要旨/外国語要旨]", "subitem_title_language": "en"}, {"subitem_title": "関数型言語のための実用的な型デバッガ作成手法の提案", "subitem_title_language": "ja"}]}, "item_type_id": "10", "owner": "1", "path": ["396"], "permalink_uri": "http://hdl.handle.net/10083/54667", "pubdate": {"attribute_name": "PubDate", "attribute_value": "2014-04-11"}, "publish_date": "2014-04-11", "publish_status": "0", "recid": "41353", "relation": {}, "relation_version_is_last": true, "title": ["Practicable type debugging for functional languages [学位論文内容の要旨/学位論文審査の要旨/日本語要旨/外国語要旨]"], "weko_shared_id": null}
関数型言語のための実用的な型デバッガ作成手法の提案
http://hdl.handle.net/10083/54667
http://hdl.handle.net/10083/54667f59cd5c0-2db8-414a-ac0a-11ff48cc9912
名前 / ファイル | ライセンス | アクション |
---|---|---|
外国語要旨 (17.2 kB)
|
|
|
日本語要旨 (88.9 kB)
|
|
|
学位論文審査の要旨 (101.6 kB)
|
|
|
学位論文内容の要旨 (62.9 kB)
|
|
Item type | 学位論文 / Thesis or Dissertation(1) | |||||
---|---|---|---|---|---|---|
公開日 | 2014-04-11 | |||||
タイトル | ||||||
言語 | en | |||||
タイトル | Practicable type debugging for functional languages [学位論文内容の要旨/学位論文審査の要旨/日本語要旨/外国語要旨] | |||||
タイトル | ||||||
言語 | ja | |||||
タイトル | 関数型言語のための実用的な型デバッガ作成手法の提案 | |||||
言語 | ||||||
言語 | jpn | |||||
資源タイプ | ||||||
資源 | http://purl.org/coar/resource_type/c_db06 | |||||
タイプ | doctoral thesis | |||||
著者 |
TSUSHIMA, Kanae
× TSUSHIMA, Kanae× 対馬, かなえ |
|||||
内容記述 | ||||||
内容記述タイプ | Other | |||||
内容記述 | お茶の水女子大学人間文化創成科学研究科博士(理学)学位論文・平成25年9月30日授与(甲第100号) | |||||
書誌情報 |
発行日 2013-09-30 |
|||||
フォーマット | ||||||
内容記述タイプ | Other | |||||
内容記述 | application/pdf | |||||
フォーマット | ||||||
内容記述タイプ | Other | |||||
内容記述 | application/pdf | |||||
フォーマット | ||||||
内容記述タイプ | Other | |||||
内容記述 | application/pdf | |||||
フォーマット | ||||||
内容記述タイプ | Other | |||||
内容記述 | application/pdf | |||||
形態 | ||||||
62857 bytes | ||||||
形態 | ||||||
101591 bytes | ||||||
形態 | ||||||
88931 bytes | ||||||
形態 | ||||||
17155 bytes | ||||||
出版タイプ | ||||||
出版タイプ | VoR | |||||
出版タイプResource | http://purl.org/coar/version/c_970fb48d4fbd8a85 | |||||
著者版フラグ | ||||||
値 | publisher | |||||
日本十進分類法 | ||||||
主題Scheme | NDC | |||||
主題 | 007 | |||||
資源タイプ | ||||||
内容記述タイプ | Other | |||||
内容記述 | 学位論文 | |||||
資源タイプ・ローカル | ||||||
学位論文 | ||||||
資源タイプ・NII | ||||||
Thesis or Dissertation | ||||||
資源タイプ・DCMI | ||||||
text | ||||||
資源タイプ・ローカル表示コード | ||||||
02 | ||||||
関係URI | ||||||
関連名称 | http://hdl.handle.net/10083/54687 | |||||
学位名 | ||||||
学位名 | 博士(理学) | |||||
学位授与機関 | ||||||
学位授与機関識別子Scheme | kakenhi | |||||
学位授与機関識別子 | 12611 | |||||
学位授与機関名 | お茶の水女子大学 | |||||
学位授与年月日 | ||||||
学位授与年月日 | 2013-09-30 | |||||
学位授与番号 | ||||||
学位授与番号 | 甲第000100号 | |||||
コメント | ||||||
別に全文公開あり |