{"created":"2021-03-01T06:19:03.446439+00:00","id":2448,"links":{},"metadata":{"_buckets":{"deposit":"78e85135-ba69-459b-8e30-3a4efb0987d8"},"_deposit":{"id":"2448","owners":[],"pid":{"revision_id":0,"type":"depid","value":"2448"},"status":"published"},"_oai":{"id":"oai:repository.dl.itc.u-tokyo.ac.jp:00002448","sets":["6:260:318","9:233:280"]},"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":"2010-03-24","bibliographicIssueDateType":"Issued"},"bibliographic_titles":[{}]}]},"item_7_date_granted_25":{"attribute_name":"学位授与年月日","attribute_value_mlt":[{"subitem_dategranted":"2010-03-24"}]},"item_7_degree_grantor_23":{"attribute_name":"学位授与機関","attribute_value_mlt":[{"subitem_degreegrantor":[{"subitem_degreegrantor_name":"University of Tokyo (東京大学)"}]}]},"item_7_degree_name_20":{"attribute_name":"学位名","attribute_value_mlt":[{"subitem_degreename":"博士(工学)"}]},"item_7_dissertation_number_26":{"attribute_name":"学位授与番号","attribute_value_mlt":[{"subitem_dissertationnumber":"甲第25719号"}]},"item_7_full_name_3":{"attribute_name":"著者別名","attribute_value_mlt":[{"nameIdentifiers":[{"nameIdentifier":"6730","nameIdentifierScheme":"WEKO"}],"names":[{"name":"西原, 佑"}]}]},"item_7_identifier_registration":{"attribute_name":"ID登録","attribute_value_mlt":[{"subitem_identifier_reg_text":"10.15083/00002442","subitem_identifier_reg_type":"JaLC"}]},"item_7_select_21":{"attribute_name":"学位","attribute_value_mlt":[{"subitem_select_item":"doctoral"}]},"item_7_subject_13":{"attribute_name":"日本十進分類法","attribute_value_mlt":[{"subitem_subject":"549","subitem_subject_scheme":"NDC"}]},"item_7_text_22":{"attribute_name":"学位分野","attribute_value_mlt":[{"subitem_text_value":"Engineering (工学)"}]},"item_7_text_24":{"attribute_name":"研究科・専攻","attribute_value_mlt":[{"subitem_text_value":"Department of Electronic Engineering, Graduate School of Engineering (工学系研究科電子工学専攻)"}]},"item_7_text_27":{"attribute_name":"学位記番号","attribute_value_mlt":[{"subitem_text_value":"博工第7252号"}]},"item_7_text_4":{"attribute_name":"著者所属","attribute_value_mlt":[{"subitem_text_value":"東京大学大学院工学系研究科 電子工学専攻"}]},"item_creator":{"attribute_name":"著者","attribute_type":"creator","attribute_value_mlt":[{"creatorNames":[{"creatorName":"Nishihara, Tasuku"}],"nameIdentifiers":[{"nameIdentifier":"6729","nameIdentifierScheme":"WEKO"}]}]},"item_files":{"attribute_name":"ファイル情報","attribute_type":"file","attribute_value_mlt":[{"accessrole":"open_date","date":[{"dateType":"Available","dateValue":"2017-05-31"}],"displaytype":"detail","filename":"37077082.pdf","filesize":[{"value":"1.3 MB"}],"format":"application/pdf","licensetype":"license_note","mimetype":"application/pdf","url":{"label":"37077082.pdf","url":"https://repository.dl.itc.u-tokyo.ac.jp/record/2448/files/37077082.pdf"},"version_id":"dba1e7f2-1749-44d1-9f8a-5cad8848c188"},{"accessrole":"open_date","date":[{"dateType":"Available","dateValue":"2017-05-31"}],"displaytype":"detail","filename":"37077082a.pdf","filesize":[{"value":"36.8 kB"}],"format":"application/pdf","licensetype":"license_note","mimetype":"application/pdf","url":{"label":"37077082a.pdf","url":"https://repository.dl.itc.u-tokyo.ac.jp/record/2448/files/37077082a.pdf"},"version_id":"92254812-dd5d-45c3-bc90-e709e043051f"}]},"item_language":{"attribute_name":"言語","attribute_value_mlt":[{"subitem_language":"eng"}]},"item_resource_type":{"attribute_name":"資源タイプ","attribute_value_mlt":[{"resourcetype":"thesis","resourceuri":"http://purl.org/coar/resource_type/c_46ec"}]},"item_title":"Formal Verification of High-Level Design Based on Control/Data Separation","item_titles":{"attribute_name":"タイトル","attribute_value_mlt":[{"subitem_title":"Formal Verification of High-Level Design Based on Control/Data Separation"}]},"item_type_id":"7","owner":"1","path":["280","318"],"pubdate":{"attribute_name":"公開日","attribute_value":"2012-03-01"},"publish_date":"2012-03-01","publish_status":"0","recid":"2448","relation_version_is_last":true,"title":["Formal Verification of High-Level Design Based on Control/Data Separation"],"weko_creator_id":"1","weko_shared_id":null},"updated":"2022-12-19T03:44:11.056151+00:00"}