{"created":"2021-03-01T07:13:56.696338+00:00","id":52567,"links":{},"metadata":{"_buckets":{"deposit":"f01d3f86-0fc6-48df-8600-5b19e33c7186"},"_deposit":{"id":"52567","owners":[],"pid":{"revision_id":0,"type":"depid","value":"52567"},"status":"published"},"_oai":{"id":"oai:repository.dl.itc.u-tokyo.ac.jp:00052567","sets":["34:103:443","9:233:280"]},"item_7_alternative_title_1":{"attribute_name":"その他のタイトル","attribute_value_mlt":[{"subitem_alternative_title":"集中性と多様性を調整しSATソルバー性能向上を目指す広く適用可能なアプローチ"}]},"item_7_biblio_info_7":{"attribute_name":"書誌情報","attribute_value_mlt":[{"bibliographicIssueDates":{"bibliographicIssueDate":"2017-09-15","bibliographicIssueDateType":"Issued"},"bibliographic_titles":[{}]}]},"item_7_date_granted_25":{"attribute_name":"学位授与年月日","attribute_value_mlt":[{"subitem_dategranted":"2017-09-15"}]},"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甲第34383号"}]},"item_7_full_name_3":{"attribute_name":"著者別名","attribute_value_mlt":[{"nameIdentifiers":[{"nameIdentifier":"156897","nameIdentifierScheme":"WEKO"}],"names":[{"name":"Moon, Seongsoo"}]}]},"item_7_identifier_registration":{"attribute_name":"ID登録","attribute_value_mlt":[{"subitem_identifier_reg_text":"10.15083/00077684","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 Creative Informatics, Graduate School of Information Science and Technology (情報理工学系研究科創造情報学専攻)"}]},"item_7_text_27":{"attribute_name":"学位記番号","attribute_value_mlt":[{"subitem_text_value":"博情第624号"}]},"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":"156896","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":"A34383.pdf","filesize":[{"value":"11.0 MB"}],"format":"application/pdf","licensetype":"license_note","mimetype":"application/pdf","url":{"label":"A34383.pdf","url":"https://repository.dl.itc.u-tokyo.ac.jp/record/52567/files/A34383.pdf"},"version_id":"14b2bf03-c05e-4240-8b83-141f5ff938f3"},{"accessrole":"open_date","date":[{"dateType":"Available","dateValue":"2019-09-19"}],"displaytype":"detail","filename":"A34383_abstract.pdf","filesize":[{"value":"164.8 kB"}],"format":"application/pdf","licensetype":"license_note","mimetype":"application/pdf","url":{"label":"A34383_abstract.pdf","url":"https://repository.dl.itc.u-tokyo.ac.jp/record/52567/files/A34383_abstract.pdf"},"version_id":"54394262-8c80-4721-ad4c-4f5fa040887a"},{"accessrole":"open_date","date":[{"dateType":"Available","dateValue":"2019-09-19"}],"displaytype":"detail","filename":"A34383_review.pdf","filesize":[{"value":"113.2 kB"}],"format":"application/pdf","licensetype":"license_note","mimetype":"application/pdf","url":{"label":"A34383_review.pdf","url":"https://repository.dl.itc.u-tokyo.ac.jp/record/52567/files/A34383_review.pdf"},"version_id":"d1225467-1ae4-44f2-bf9b-b6c6f2f73404"}]},"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":"Widely Applicable Approaches to Adjust Intensity and Diversity for Constructing Efficient SAT Solvers","item_titles":{"attribute_name":"タイトル","attribute_value_mlt":[{"subitem_title":"Widely Applicable Approaches to Adjust Intensity and Diversity for Constructing Efficient SAT Solvers"}]},"item_type_id":"7","owner":"1","path":["280","443"],"pubdate":{"attribute_name":"公開日","attribute_value":"2019-09-19"},"publish_date":"2019-09-19","publish_status":"0","recid":"52567","relation_version_is_last":true,"title":["Widely Applicable Approaches to Adjust Intensity and Diversity for Constructing Efficient SAT Solvers"],"weko_creator_id":"1","weko_shared_id":null},"updated":"2022-12-19T04:18:27.613519+00:00"}