{"created":"2022-10-20T06:30:46.725160+00:00","id":2005736,"links":{},"metadata":{"_buckets":{"deposit":"afb95b0a-a5dc-4060-9768-0285f12cf12a"},"_deposit":{"id":"2005736","owners":[1],"pid":{"revision_id":0,"type":"depid","value":"2005736"},"status":"published"},"_oai":{"id":"oai:repository.dl.itc.u-tokyo.ac.jp:02005736","sets":["6:1665016641499","9:504:1665016686408"]},"author_link":[],"item_4_biblio_info_7":{"attribute_name":"書誌情報","attribute_value_mlt":[{"bibliographicIssueDates":{"bibliographicIssueDate":"2000","bibliographicIssueDateType":"Issued"},"bibliographicPageEnd":"67","bibliographicPageStart":"55","bibliographicVolumeNumber":"47","bibliographic_titles":[{"bibliographic_title":"Journal of the School of Engineering, the University of Tokyo = 東京大学工学部・工学系研究科紀要"}]}]},"item_4_publisher_20":{"attribute_name":"出版者","attribute_value_mlt":[{"subitem_publisher":"School of Engineering, the University of Tokyo","subitem_publisher_language":"en"}]},"item_4_source_id_10":{"attribute_name":"書誌レコードID","attribute_value_mlt":[{"subitem_source_identifier":"AA11279517","subitem_source_identifier_type":"NCID"}]},"item_4_source_id_8":{"attribute_name":"ISSN","attribute_value_mlt":[{"subitem_source_identifier":"13442929","subitem_source_identifier_type":"PISSN"}]},"item_creator":{"attribute_name":"著者","attribute_type":"creator","attribute_value_mlt":[{"creatorAffiliations":[{"affiliationNames":[{"affiliationName":"The University of Tokyo","affiliationNameLang":"en"}]}],"creatorNames":[{"creatorName":"FUJITA, Masahiro","creatorNameLang":"en"},{"creatorName":"藤田, 昌宏","creatorNameLang":"ja"}]}]},"item_files":{"attribute_name":"ファイル情報","attribute_type":"file","attribute_value_mlt":[{"date":[{"dateType":"Available","dateValue":"2022-10-20"}],"displaytype":"detail","filename":"JFEUT_B_47_55-67_2000.pdf","filesize":[{"value":"3.3 MB"}],"format":"application/pdf","licensetype":"license_note","mimetype":"application/pdf","url":{"objectType":"fulltext","url":"https://repository.dl.itc.u-tokyo.ac.jp/record/2005736/files/JFEUT_B_47_55-67_2000.pdf"},"version_id":"31594bbe-5859-4d72-83f7-b551cea7b3ba"}]},"item_language":{"attribute_name":"言語","attribute_value_mlt":[{"subitem_language":"eng"}]},"item_resource_type":{"attribute_name":"資源タイプ","attribute_value_mlt":[{"resourcetype":"departmental bulletin paper","resourceuri":"http://purl.org/coar/resource_type/c_6501"}]},"item_title":"Formal Verification Based on Recurrence Equations and Equivalence Checking","item_titles":{"attribute_name":"タイトル","attribute_value_mlt":[{"subitem_title":"Formal Verification Based on Recurrence Equations and Equivalence Checking","subitem_title_language":"en"}]},"item_type_id":"4","owner":"1","path":["1665016641499","1665016686408"],"pubdate":{"attribute_name":"PubDate","attribute_value":"2022-10-20"},"publish_date":"2022-10-20","publish_status":"0","recid":"2005736","relation_version_is_last":true,"title":["Formal Verification Based on Recurrence Equations and Equivalence Checking"],"weko_creator_id":"1","weko_shared_id":-1},"updated":"2022-12-19T05:39:55.467159+00:00"}