{"created":"2021-03-01T07:08:28.154491+00:00","id":47820,"links":{},"metadata":{"_buckets":{"deposit":"1188ba1b-fc90-45d7-90eb-6665f588be96"},"_deposit":{"id":"47820","owners":[],"pid":{"revision_id":0,"type":"depid","value":"47820"},"status":"published"},"_oai":{"id":"oai:repository.dl.itc.u-tokyo.ac.jp:00047820","sets":["312:391","9:233:280"]},"author_link":["143215"],"item_7_alternative_title_1":{"attribute_name":"その他のタイトル","attribute_value_mlt":[{"subitem_alternative_title":"レベル横断的計算機構を持つメタラムダ計算の理論と応用"}]},"item_7_biblio_info_7":{"attribute_name":"書誌情報","attribute_value_mlt":[{"bibliographicIssueDates":{"bibliographicIssueDate":"2015-09-04","bibliographicIssueDateType":"Issued"}}]},"item_7_date_granted_25":{"attribute_name":"学位授与年月日","attribute_value_mlt":[{"subitem_dategranted":"2015-09-04"}]},"item_7_degree_grantor_23":{"attribute_name":"学位授与機関","attribute_value_mlt":[{"subitem_degreegrantor":[{"subitem_degreegrantor_language":"ja","subitem_degreegrantor_name":"東京大学"},{"subitem_degreegrantor_language":"en","subitem_degreegrantor_name":"The University of Tokyo"}],"subitem_degreegrantor_identifier":[{"subitem_degreegrantor_identifier_name":"12601","subitem_degreegrantor_identifier_scheme":"kakenhi"}]}]},"item_7_degree_name_20":{"attribute_name":"学位名","attribute_value_mlt":[{"subitem_degreename":"博士(数理科学)","subitem_degreename_language":"ja"}]},"item_7_description_6":{"attribute_name":"内容記述","attribute_value_mlt":[{"subitem_description":"学位の種別: 課程博士","subitem_description_language":"ja","subitem_description_type":"Other"},{"subitem_description":"審査委員会委員 : （主査）東京大学准教授 長谷川 立, 東京大学教授 坪井 俊, 東京大学教授 吉田 朋広, 東京大学准教授 一井 信吾, 東京大学准教授 齊藤 宣一, 東京大学准教授 吉野 太郎, お茶の水女子大学准教授 浅井 健一","subitem_description_language":"ja","subitem_description_type":"Other"}]},"item_7_dissertation_number_26":{"attribute_name":"学位授与番号","attribute_value_mlt":[{"subitem_dissertationnumber":"甲第32044号"}]},"item_7_full_name_3":{"attribute_name":"著者別名","attribute_value_mlt":[{"nameIdentifiers":[{"nameIdentifier":"143216","nameIdentifierScheme":"WEKO"}],"names":[{"name":"Tobisawa, Kazunori"}]}]},"item_7_identifier_registration":{"attribute_name":"ID登録","attribute_value_mlt":[{"subitem_identifier_reg_text":"10.15083/00072946","subitem_identifier_reg_type":"JaLC"}]},"item_7_select_12":{"attribute_name":"著者版フラグ","attribute_value_mlt":[{"subitem_select_item":"ETD"}]},"item_7_select_21":{"attribute_name":"学位","attribute_value_mlt":[{"subitem_select_item":"doctoral"}]},"item_7_text_24":{"attribute_name":"研究科・専攻","attribute_value_mlt":[{"subitem_text_value":"Department of Mathematical Sciences, Graduate School of Mathematical Sciences (数理科学研究科数理科学専攻)"}]},"item_7_text_27":{"attribute_name":"学位記番号","attribute_value_mlt":[{"subitem_text_language":"ja","subitem_text_value":"博数理第449号"}]},"item_7_text_4":{"attribute_name":"著者所属","attribute_value_mlt":[{"subitem_text_language":"ja","subitem_text_value":"数理科学研究科数理科学専攻"}]},"item_access_right":{"attribute_name":"アクセス権","attribute_value_mlt":[{"subitem_access_right":"open access","subitem_access_right_uri":"http://purl.org/coar/access_right/c_abf2"}]},"item_creator":{"attribute_name":"著者","attribute_type":"creator","attribute_value_mlt":[{"creatorAffiliations":[{"affiliationNames":[{"affiliationName":"東京大学","affiliationNameLang":"ja"},{"affiliationName":"The University of Tokyo","affiliationNameLang":"en"}]}],"creatorNames":[{"creatorName":"飛澤, 和則","creatorNameLang":"ja"},{"creatorName":"Tobisawa, Kazunori","creatorNameLang":"en"}],"nameIdentifiers":[{"nameIdentifier":"143215","nameIdentifierScheme":"WEKO"}]}]},"item_files":{"attribute_name":"ファイル情報","attribute_type":"file","attribute_value_mlt":[{"accessrole":"open_date","date":[{"dateType":"Available","dateValue":"2017-10-20"}],"displaytype":"detail","filename":"A32044.pdf","filesize":[{"value":"267 KB"}],"format":"application/pdf","licensetype":"license_note","mimetype":"application/pdf","url":{"label":"A32044.pdf","objectType":"fulltext","url":"https://repository.dl.itc.u-tokyo.ac.jp/record/47820/files/A32044.pdf"},"version_id":"e5a2e109-caea-42f1-9435-a251c2864e5b"},{"accessrole":"open_date","date":[{"dateType":"Available","dateValue":"2017-10-20"}],"displaytype":"detail","filename":"A32044_abstract.pdf","filesize":[{"value":"112.2 kB"}],"format":"application/pdf","licensetype":"license_note","mimetype":"application/pdf","url":{"label":"A32044_abstract.pdf","objectType":"abstract","url":"https://repository.dl.itc.u-tokyo.ac.jp/record/47820/files/A32044_abstract.pdf"},"version_id":"a72ca90a-32e0-49d6-8e1b-43b1c3be3dab"},{"accessrole":"open_date","date":[{"dateType":"Available","dateValue":"2017-10-20"}],"displaytype":"detail","filename":"A32044_review.pdf","filesize":[{"value":"170.1 kB"}],"format":"application/pdf","licensetype":"license_note","mimetype":"application/pdf","url":{"label":"A32044_review.pdf","objectType":"other","url":"https://repository.dl.itc.u-tokyo.ac.jp/record/47820/files/A32044_review.pdf"},"version_id":"de5e2e70-9191-43de-ae8f-7466b44811cc"}]},"item_language":{"attribute_name":"言語","attribute_value_mlt":[{"subitem_language":"eng"}]},"item_resource_type":{"attribute_name":"資源タイプ","attribute_value_mlt":[{"resourcetype":"doctoral thesis","resourceuri":"http://purl.org/coar/resource_type/c_db06"}]},"item_title":"Theory and application of a meta lambda calculus with cross-level computation ","item_titles":{"attribute_name":"タイトル","attribute_value_mlt":[{"subitem_title":"Theory and application of a meta lambda calculus with cross-level computation ","subitem_title_language":"en"},{"subitem_title":"レベル横断的計算機構を持つメタラムダ計算の理論と応用","subitem_title_language":"ja"}]},"item_type_id":"7","owner":"1","path":["391","280"],"pubdate":{"attribute_name":"PubDate","attribute_value":"2017-10-20"},"publish_date":"2017-10-20","publish_status":"0","recid":"47820","relation_version_is_last":true,"title":["Theory and application of a meta lambda calculus with cross-level computation "],"weko_creator_id":"1","weko_shared_id":-1},"updated":"2022-12-19T05:14:35.577469+00:00"}