{"created":"2021-03-01T07:14:54.057510+00:00","id":53385,"links":{},"metadata":{"_buckets":{"deposit":"616647c8-a432-44f2-89dd-0d0b0efd3051"},"_deposit":{"id":"53385","owners":[],"pid":{"revision_id":0,"type":"depid","value":"53385"},"status":"published"},"_oai":{"id":"oai:repository.dl.itc.u-tokyo.ac.jp:00053385","sets":["34:95:465","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":"2018-03-22","bibliographicIssueDateType":"Issued"},"bibliographic_titles":[{}]}]},"item_7_date_granted_25":{"attribute_name":"学位授与年月日","attribute_value_mlt":[{"subitem_dategranted":"2018-03-22"}]},"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_description_6":{"attribute_name":"内容記述","attribute_value_mlt":[{"subitem_description":"学位の種別: 課程博士","subitem_description_type":"Other"},{"subitem_description":"審査委員会委員 : （主査）東京大学教授 萩谷 昌己, 東京大学教授 須田 礼仁, 東京大学准教授 吉本 芳英, 東京大学准教授 加藤 真平, 名古屋大学教授 結縁 祥治","subitem_description_type":"Other"}]},"item_7_dissertation_number_26":{"attribute_name":"学位授与番号","attribute_value_mlt":[{"subitem_dissertationnumber":"12601甲第35204号"}]},"item_7_full_name_3":{"attribute_name":"著者別名","attribute_value_mlt":[{"nameIdentifiers":[{"nameIdentifier":"158533","nameIdentifierScheme":"WEKO"}],"names":[{"name":"Kido, Kengo"}]}]},"item_7_identifier_registration":{"attribute_name":"ID登録","attribute_value_mlt":[{"subitem_identifier_reg_text":"10.15083/00078502","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 Computer Science, Graduate School of Information Science and Technology (情報理工学系研究科コンピュータ科学専攻)"}]},"item_7_text_27":{"attribute_name":"学位記番号","attribute_value_mlt":[{"subitem_text_value":"博情第635号"}]},"item_7_text_4":{"attribute_name":"著者所属","attribute_value_mlt":[{"subitem_text_value":"情報理工学系研究科コンピュータ科学専攻"}]},"item_creator":{"attribute_name":"著者","attribute_type":"creator","attribute_value_mlt":[{"creatorNames":[{"creatorName":"木戸, 肩吾"}],"nameIdentifiers":[{"nameIdentifier":"158532","nameIdentifierScheme":"WEKO"}]}]},"item_files":{"attribute_name":"ファイル情報","attribute_type":"file","attribute_value_mlt":[{"accessrole":"open_date","date":[{"dateType":"Available","dateValue":"2019-09-19"}],"displaytype":"detail","filename":"A35204.pdf","filesize":[{"value":"1.1 MB"}],"format":"application/pdf","licensetype":"license_note","mimetype":"application/pdf","url":{"label":"A35204.pdf","url":"https://repository.dl.itc.u-tokyo.ac.jp/record/53385/files/A35204.pdf"},"version_id":"35e56cae-8242-4714-966f-e481817f6bdc"},{"accessrole":"open_date","date":[{"dateType":"Available","dateValue":"2019-09-19"}],"displaytype":"detail","filename":"A35204_abstract.pdf","filesize":[{"value":"69.3 kB"}],"format":"application/pdf","licensetype":"license_note","mimetype":"application/pdf","url":{"label":"A35204_abstract.pdf","url":"https://repository.dl.itc.u-tokyo.ac.jp/record/53385/files/A35204_abstract.pdf"},"version_id":"32c6c327-0b79-44a3-9d65-326c9b5223fc"},{"accessrole":"open_date","date":[{"dateType":"Available","dateValue":"2019-09-19"}],"displaytype":"detail","filename":"A35204_review.pdf","filesize":[{"value":"148.9 kB"}],"format":"application/pdf","licensetype":"license_note","mimetype":"application/pdf","url":{"label":"A35204_review.pdf","url":"https://repository.dl.itc.u-tokyo.ac.jp/record/53385/files/A35204_review.pdf"},"version_id":"b06537fd-fd96-4fe2-90d2-9a5f1fa22321"}]},"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":"Reachability Analysis of Hybrid Systems via Predicate and Relational Abstraction","item_titles":{"attribute_name":"タイトル","attribute_value_mlt":[{"subitem_title":"Reachability Analysis of Hybrid Systems via Predicate and Relational Abstraction"}]},"item_type_id":"7","owner":"1","path":["280","465"],"pubdate":{"attribute_name":"公開日","attribute_value":"2019-09-19"},"publish_date":"2019-09-19","publish_status":"0","recid":"53385","relation_version_is_last":true,"title":["Reachability Analysis of Hybrid Systems via Predicate and Relational Abstraction"],"weko_creator_id":"1","weko_shared_id":null},"updated":"2022-12-19T04:30:29.149580+00:00"}