{"created":"2021-03-01T06:47:46.459826+00:00","id":41351,"links":{},"metadata":{"_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":["391: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","filename":"k_126_ri_youshi_gai.pdf","filesize":[{"value":"11.9 kB"}],"format":"application/pdf","licensetype":"license_note","mimetype":"application/pdf","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","filename":"k_126_ri_youshi_jp.pdf","filesize":[{"value":"12.1 kB"}],"format":"application/pdf","licensetype":"license_note","mimetype":"application/pdf","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","filename":"k_126_ri_shinsa.pdf","filesize":[{"value":"87.9 kB"}],"format":"application/pdf","licensetype":"license_note","mimetype":"application/pdf","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","filename":"k_126_ri_naiyo.pdf","filesize":[{"value":"51.9 kB"}],"format":"application/pdf","licensetype":"license_note","mimetype":"application/pdf","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"],"pubdate":{"attribute_name":"PubDate","attribute_value":"2014-06-11"},"publish_date":"2014-06-11","publish_status":"0","recid":"41351","relation_version_is_last":true,"title":["継続渡し形式の型主導部分評価器における正当性の証明 [学位論文内容の要旨/学位論文審査の要旨/日本語要旨/外国語要旨]"],"weko_creator_id":"1","weko_shared_id":null},"updated":"2022-12-12T05:46:53.239720+00:00"}