{"_buckets": {"deposit": "f37ca8f2-9d4b-4916-bf71-1b3b06bbefa2"}, "_deposit": {"id": "42590", "owners": [], "pid": {"revision_id": 0, "type": "depid", "value": "42590"}, "status": "published"}, "_oai": {"id": "oai:teapot.lib.ocha.ac.jp:00042590", "sets": ["396"]}, "item_10_biblio_info_8": {"attribute_name": "書誌情報", "attribute_value_mlt": [{"bibliographicIssueDates": {"bibliographicIssueDate": "2019-03-22", "bibliographicIssueDateType": "Issued"}}]}, "item_10_date_granted_74": {"attribute_name": "学位授与年月日", "attribute_value_mlt": [{"subitem_dategranted": "2019-03-22"}]}, "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_46": {"attribute_name": "資源タイプ", "attribute_value_mlt": [{"subitem_description": "学位論文", "subitem_description_type": "Other"}]}, "item_10_description_7": {"attribute_name": "内容記述", "attribute_value_mlt": [{"subitem_description": "お茶の水女子大学人間文化創成科学研究科博士(理学)学位論文･平成31年3月22日授与(甲第309号)\u003cbr/\u003e※本文ウェブ公開（関係URI参照）", "subitem_description_type": "Other"}]}, "item_10_dissertation_number_75": {"attribute_name": "学位授与番号", "attribute_value_mlt": [{"subitem_dissertationnumber": "甲第000309号"}]}, "item_10_full_name_2": {"attribute_name": "著者(ヨミ)", "attribute_type": "creator", "attribute_value_mlt": [{"nameIdentifiers": [{"nameIdentifier": "113437", "nameIdentifierScheme": "WEKO"}]}]}, "item_10_publisher_36": {"attribute_name": "出版者", "attribute_value_mlt": [{"subitem_publisher": "お茶の水女子大学"}]}, "item_10_relation_52": {"attribute_name": "関係URI", "attribute_value_mlt": [{"subitem_relation_name": [{"subitem_relation_name_text": "http://hdl.handle.net/10083/00063391"}]}]}, "item_10_select_19": {"attribute_name": "著者版フラグ", "attribute_value_mlt": [{"subitem_select_item": "publisher"}]}, "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": "叢, 悠悠"}], "nameIdentifiers": [{"nameIdentifier": "113436", "nameIdentifierScheme": "WEKO"}]}]}, "item_files": {"attribute_name": "ファイル情報", "attribute_type": "file", "attribute_value_mlt": [{"accessrole": "open_date", "date": [{"dateType": "Available", "dateValue": "2019-05-21"}], "displaytype": "detail", "download_preview_message": "", "file_order": 0, "filename": "k_309_shinsa.pdf", "filesize": [{"value": "140.1 kB"}], "format": "application/pdf", "future_date_message": "", "is_thumbnail": false, "licensetype": "license_note", "mimetype": "application/pdf", "size": 140100.0, "url": {"label": "学位論文審査の要旨", "objectType": "abstract", "url": "https://teapot.lib.ocha.ac.jp/record/42590/files/k_309_shinsa.pdf"}, "version_id": "5dae1414-739a-4a4f-98c4-e4584d1f9d55"}, {"accessrole": "open_date", "date": [{"dateType": "Available", "dateValue": "2019-05-21"}], "displaytype": "detail", "download_preview_message": "", "file_order": 1, "filename": "k_309_naiyo.pdf", "filesize": [{"value": "113.5 kB"}], "format": "application/pdf", "future_date_message": "", "is_thumbnail": false, "licensetype": "license_note", "mimetype": "application/pdf", "size": 113500.0, "url": {"label": "学位論文内容の要旨", "objectType": "abstract", "url": "https://teapot.lib.ocha.ac.jp/record/42590/files/k_309_naiyo.pdf"}, "version_id": "e037cd61-e355-405a-9a3b-e9d8c8907a5c"}, {"accessrole": "open_date", "date": [{"dateType": "Available", "dateValue": "2019-05-21"}], "displaytype": "detail", "download_preview_message": "", "file_order": 2, "filename": "k_309_yoshi_jp.pdf", "filesize": [{"value": "96.9 kB"}], "format": "application/pdf", "future_date_message": "", "is_thumbnail": false, "licensetype": "license_note", "mimetype": "application/pdf", "size": 96900.0, "url": {"label": "日本語要旨", "objectType": "summary", "url": "https://teapot.lib.ocha.ac.jp/record/42590/files/k_309_yoshi_jp.pdf"}, "version_id": "6870be73-24b6-4323-b219-8602628c2044"}, {"accessrole": "open_date", "date": [{"dateType": "Available", "dateValue": "2019-05-21"}], "displaytype": "detail", "download_preview_message": "", "file_order": 3, "filename": "k_309_yoshi_gai.pdf", "filesize": [{"value": "34.9 kB"}], "format": "application/pdf", "future_date_message": "", "is_thumbnail": false, "licensetype": "license_note", "mimetype": "application/pdf", "size": 34900.0, "url": {"label": "外国語要旨", "objectType": "summary", "url": "https://teapot.lib.ocha.ac.jp/record/42590/files/k_309_yoshi_gai.pdf"}, "version_id": "e71948e3-641a-43a0-a643-0de23c7df0a9"}]}, "item_keyword": {"attribute_name": "キーワード", "attribute_value_mlt": [{"subitem_subject": "delimited continuations", "subitem_subject_scheme": "Other"}, {"subitem_subject": "dependent types", "subitem_subject_scheme": "Other"}]}, "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": "Abstracting Control with Dependent Types［学位論文内容の要旨/学位論文審査の要旨/日本語要旨/外国語要旨］", "item_titles": {"attribute_name": "タイトル", "attribute_value_mlt": [{"subitem_title": "Abstracting Control with Dependent Types［学位論文内容の要旨/学位論文審査の要旨/日本語要旨/外国語要旨］", "subitem_title_language": "en"}]}, "item_type_id": "10", "owner": "1", "path": ["396"], "permalink_uri": "http://hdl.handle.net/10083/00063390", "pubdate": {"attribute_name": "PubDate", "attribute_value": "2019-05-21"}, "publish_date": "2019-05-21", "publish_status": "0", "recid": "42590", "relation": {}, "relation_version_is_last": true, "title": ["Abstracting Control with Dependent Types［学位論文内容の要旨/学位論文審査の要旨/日本語要旨/外国語要旨］"], "weko_shared_id": null}