{"_buckets": {"deposit": "193b1c5a-d5fd-4e6b-a254-1e5f8eb0c4b6"}, "_deposit": {"id": "41351", "owners": [], "pid": {"revision_id": 0, "type": "depid", "value": "41351"}, "status": "published"}, "_oai": {"id": "oai:teapot.lib.ocha.ac.jp:00041351", "sets": ["396"]}, "item_10_alternative_title_23": {"attribute_name": "タイトル（ヨミ）", "attribute_value_mlt": [{"subitem_alternative_title": "The Correctness Proof of Type-Directed Partial Evaluators in the Continuation- Passing Style"}]}, "item_10_biblio_info_8": {"attribute_name": "書誌情報", "attribute_value_mlt": [{"bibliographicIssueDates": {"bibliographicIssueDate": "2014-03-24", "bibliographicIssueDateType": "Issued"}}]}, "item_10_date_granted_74": {"attribute_name": "学位授与年月日", "attribute_value_mlt": [{"subitem_dategranted": "2014-03-24"}]}, "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": "お茶の水女子大学人間文化創成科学研究科博士(理学)学位論文･平成26年3月24日授与(甲第126号)", "subitem_description_type": "Other"}]}, "item_10_dissertation_number_75": {"attribute_name": "学位授与番号", "attribute_value_mlt": [{"subitem_dissertationnumber": "甲第000126号"}]}, "item_10_full_name_2": {"attribute_name": "著者(ヨミ)", "attribute_type": "creator", "attribute_value_mlt": [{"nameIdentifiers": [{"nameIdentifier": "110529", "nameIdentifierScheme": "WEKO"}]}]}, "item_10_relation_52": {"attribute_name": "関係URI", "attribute_value_mlt": [{"subitem_relation_name": [{"subitem_relation_name_text": "http://hdl.handle.net/10083/55247"}]}]}, "item_10_select_19": {"attribute_name": "著者版フラグ", "attribute_value_mlt": [{"subitem_select_item": "publisher"}]}, "item_10_subject_20": {"attribute_name": "日本十進分類法", "attribute_value_mlt": [{"subitem_subject": "410", "subitem_subject_scheme": "NDC"}]}, "item_10_text_18": {"attribute_name": "形態", "attribute_value_mlt": [{"subitem_text_value": "51858 bytes"}, {"subitem_text_value": "87936 bytes"}, {"subitem_text_value": "12063 bytes"}, {"subitem_text_value": "11879 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": "別に全文公開あり。関連URIの項目を要参照。"}]}, "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": "110528", "nameIdentifierScheme": "WEKO"}]}, {"creatorNames": [{"creatorName": "HIROTA, Noriko", "creatorNameLang": "en"}], "nameIdentifiers": [{"nameIdentifier": "110530", "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": "k_126_ri_youshi_gai.pdf", "filesize": [{"value": "11.9 kB"}], "format": "application/pdf", "future_date_message": "", "is_thumbnail": false, "licensetype": "license_note", "mimetype": "application/pdf", "size": 11900.0, "url": {"label": "外国語要旨", "objectType": "summary", "url": "https://teapot.lib.ocha.ac.jp/record/41351/files/k_126_ri_youshi_gai.pdf"}, "version_id": "206700ff-f288-4de5-9170-a75e2e033234"}, {"accessrole": "open_date", "date": [{"dateType": "Available", "dateValue": "2018-05-08"}], "displaytype": "detail", "download_preview_message": "", "file_order": 1, "filename": "k_126_ri_youshi_jp.pdf", "filesize": [{"value": "12.1 kB"}], "format": "application/pdf", "future_date_message": "", "is_thumbnail": false, "licensetype": "license_note", "mimetype": "application/pdf", "size": 12100.0, "url": {"label": "日本語要旨", "objectType": "summary", "url": "https://teapot.lib.ocha.ac.jp/record/41351/files/k_126_ri_youshi_jp.pdf"}, "version_id": "46b29ef2-9f61-4a4f-8972-fea661150163"}, {"accessrole": "open_date", "date": [{"dateType": "Available", "dateValue": "2018-05-08"}], "displaytype": "detail", "download_preview_message": "", "file_order": 2, "filename": "k_126_ri_shinsa.pdf", "filesize": [{"value": "87.9 kB"}], "format": "application/pdf", "future_date_message": "", "is_thumbnail": false, "licensetype": "license_note", "mimetype": "application/pdf", "size": 87900.0, "url": {"label": "学位論文審査の要旨", "objectType": "abstract", "url": "https://teapot.lib.ocha.ac.jp/record/41351/files/k_126_ri_shinsa.pdf"}, "version_id": "7ffefb69-6202-4645-a324-5194a1e15ed0"}, {"accessrole": "open_date", "date": [{"dateType": "Available", "dateValue": "2018-05-08"}], "displaytype": "detail", "download_preview_message": "", "file_order": 3, "filename": "k_126_ri_naiyo.pdf", "filesize": [{"value": "51.9 kB"}], "format": "application/pdf", "future_date_message": "", "is_thumbnail": false, "licensetype": "license_note", "mimetype": "application/pdf", "size": 51900.0, "url": {"label": "学位論文内容の要旨", "objectType": "abstract", "url": "https://teapot.lib.ocha.ac.jp/record/41351/files/k_126_ri_naiyo.pdf"}, "version_id": "529c2acc-f6f9-420f-9e4a-8814408d08f2"}]}, "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": "継続渡し形式の型主導部分評価器における正当性の証明 [学位論文内容の要旨/学位論文審査の要旨/日本語要旨/外国語要旨]", "item_titles": {"attribute_name": "タイトル", "attribute_value_mlt": [{"subitem_title": "継続渡し形式の型主導部分評価器における正当性の証明 [学位論文内容の要旨/学位論文審査の要旨/日本語要旨/外国語要旨]", "subitem_title_language": "ja"}]}, "item_type_id": "10", "owner": "1", "path": ["396"], "permalink_uri": "http://hdl.handle.net/10083/55246", "pubdate": {"attribute_name": "PubDate", "attribute_value": "2014-06-11"}, "publish_date": "2014-06-11", "publish_status": "0", "recid": "41351", "relation": {}, "relation_version_is_last": true, "title": ["継続渡し形式の型主導部分評価器における正当性の証明 [学位論文内容の要旨/学位論文審査の要旨/日本語要旨/外国語要旨]"], "weko_shared_id": null}