{"created":"2022-06-24T00:34:39.712150+00:00","id":2005300,"links":{},"metadata":{"_buckets":{"deposit":"c3c0e01c-eb97-4103-a3c4-9db7160c3d98"},"_deposit":{"id":"2005300","owner":"1","owners":[1],"pid":{"revision_id":0,"type":"depid","value":"2005300"},"status":"published"},"_oai":{"id":"oai:repository.dl.itc.u-tokyo.ac.jp:02005300","sets":["34:466:467","9:233:280"]},"author_link":[],"item_7_biblio_info_7":{"attribute_name":"書誌情報","attribute_value_mlt":[{"bibliographicIssueDates":{"bibliographicIssueDate":"2020-03-23","bibliographicIssueDateType":"Issued"}}]},"item_7_date_granted_25":{"attribute_name":"学位授与年月日","attribute_value_mlt":[{"subitem_dategranted":"2020-03-23"}]},"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":"甲第37413号"}]},"item_7_identifier_registration":{"attribute_name":"ID登録","attribute_value_mlt":[{"subitem_identifier_reg_text":"10.15083/0002005300","subitem_identifier_reg_type":"JaLC"}]},"item_7_text_24":{"attribute_name":"研究科・専攻","attribute_value_mlt":[{"subitem_text_value":"Department of Mathematical Informatics, Graduate School of Information Science and Technology (情報理工学系研究科数理情報学専攻)"}]},"item_7_text_27":{"attribute_name":"学位記番号","attribute_value_mlt":[{"subitem_text_language":"ja","subitem_text_value":"博情第712号"}]},"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":"Yamachita, Hiroshi","creatorNameLang":"en"}]}]},"item_files":{"attribute_name":"ファイル情報","attribute_type":"file","attribute_value_mlt":[{"date":[{"dateType":"Available","dateValue":"2022-06-24"}],"displaytype":"detail","filename":"A37413_summary.pdf","filesize":[{"value":"105.1KB"}],"format":"application/pdf","licensetype":"license_note","mimetype":"application/pdf","url":{"objectType":"summary","url":"https://repository.dl.itc.u-tokyo.ac.jp/record/2005300/files/A37413_summary.pdf"},"version_id":"3bad1a9e-23ef-49b1-ad8f-2663b4d579e8"},{"date":[{"dateType":"Available","dateValue":"2022-06-24"}],"displaytype":"detail","filename":"A37413_abstract.pdf","filesize":[{"value":"32.4KB"}],"format":"application/pdf","licensetype":"license_note","mimetype":"application/pdf","url":{"objectType":"abstract","url":"https://repository.dl.itc.u-tokyo.ac.jp/record/2005300/files/A37413_abstract.pdf"},"version_id":"4f9e3988-6644-433f-9213-13d91694e8c0"},{"date":[{"dateType":"Available","dateValue":"2022-06-24"}],"displaytype":"detail","filename":"A37413_review.pdf","filesize":[{"value":"104.4KB"}],"format":"application/pdf","licensetype":"license_note","mimetype":"application/pdf","url":{"objectType":"other","url":"https://repository.dl.itc.u-tokyo.ac.jp/record/2005300/files/A37413_review.pdf"},"version_id":"a09fe502-45f3-432f-84f1-59dcdeabe5ba"}]},"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":"Numerical Simulation and Mathematical Analysis of SAT-Solving Continuous-Time Dynamical Systems","item_titles":{"attribute_name":"タイトル","attribute_value_mlt":[{"subitem_title":"Numerical Simulation and Mathematical Analysis of SAT-Solving Continuous-Time Dynamical Systems","subitem_title_language":"en"},{"subitem_title":"充足可能性問題を解く連続時間力学系の数値シミュレーションと数理解析","subitem_title_language":"ja"}]},"item_type_id":"7","owner":"1","path":["467","280"],"pubdate":{"attribute_name":"PubDate","attribute_value":"2022-06-24"},"publish_date":"2022-06-24","publish_status":"0","recid":"2005300","relation_version_is_last":true,"title":["Numerical Simulation and Mathematical Analysis of SAT-Solving Continuous-Time Dynamical Systems"],"weko_creator_id":"1","weko_shared_id":-1},"updated":"2022-12-19T05:17:13.526487+00:00"}