WEKO3
アイテム
{"_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": ["280", "443"]}, "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_36": {"attribute_name": "資源タイプ", "attribute_value_mlt": [{"subitem_text_value": "Thesis"}]}, "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", "download_preview_message": "", "file_order": 0, "filename": "A34383.pdf", "filesize": [{"value": "11.0 MB"}], "format": "application/pdf", "future_date_message": "", "is_thumbnail": false, "licensetype": "license_free", "mimetype": "application/pdf", "size": 11000000.0, "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", "download_preview_message": "", "file_order": 1, "filename": "A34383_abstract.pdf", "filesize": [{"value": "164.8 kB"}], "format": "application/pdf", "future_date_message": "", "is_thumbnail": false, "licensetype": "license_free", "mimetype": "application/pdf", "size": 164800.0, "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", "download_preview_message": "", "file_order": 2, "filename": "A34383_review.pdf", "filesize": [{"value": "113.2 kB"}], "format": "application/pdf", "future_date_message": "", "is_thumbnail": false, "licensetype": "license_free", "mimetype": "application/pdf", "size": 113200.0, "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"], "permalink_uri": "https://doi.org/10.15083/00077684", "pubdate": {"attribute_name": "公開日", "attribute_value": "2019-09-19"}, "publish_date": "2019-09-19", "publish_status": "0", "recid": "52567", "relation": {}, "relation_version_is_last": true, "title": ["Widely Applicable Approaches to Adjust Intensity and Diversity for Constructing Efficient SAT Solvers"], "weko_shared_id": null}
Widely Applicable Approaches to Adjust Intensity and Diversity for Constructing Efficient SAT Solvers
https://doi.org/10.15083/00077684
https://doi.org/10.15083/0007768402df3122-40c1-4b1b-ad1e-ad5664516833
名前 / ファイル | ライセンス | アクション |
---|---|---|
A34383.pdf (11.0 MB)
|
|
|
A34383_abstract.pdf (164.8 kB)
|
|
|
A34383_review.pdf (113.2 kB)
|
|
Item type | 学位論文 / Thesis or Dissertation(1) | |||||
---|---|---|---|---|---|---|
公開日 | 2019-09-19 | |||||
タイトル | ||||||
タイトル | Widely Applicable Approaches to Adjust Intensity and Diversity for Constructing Efficient SAT Solvers | |||||
言語 | ||||||
言語 | eng | |||||
資源タイプ | ||||||
資源 | http://purl.org/coar/resource_type/c_46ec | |||||
タイプ | thesis | |||||
ID登録 | ||||||
ID登録 | 10.15083/00077684 | |||||
ID登録タイプ | JaLC | |||||
その他のタイトル | ||||||
その他のタイトル | 集中性と多様性を調整しSATソルバー性能向上を目指す広く適用可能なアプローチ | |||||
著者 |
文, 性琇
× 文, 性琇 |
|||||
著者別名 | ||||||
識別子 | 156897 | |||||
識別子Scheme | WEKO | |||||
姓名 | Moon, Seongsoo | |||||
著者所属 | ||||||
著者所属 | 情報理工学系研究科創造情報学専攻 | |||||
内容記述 | ||||||
内容記述タイプ | Other | |||||
内容記述 | 学位の種別: 課程博士 | |||||
内容記述 | ||||||
内容記述タイプ | Other | |||||
内容記述 | 審査委員会委員 : (主査)東京大学教授 稲葉 雅幸, 東京大学教授 山西 健司, 東京大学教授 千葉 滋, 東京大学准教授 稲葉 真理, 東京大学講師 中山 英樹, 東京大学講師 蜂須賀 恵也 | |||||
書誌情報 | 発行日 2017-09-15 | |||||
著者版フラグ | ||||||
値 | ETD | |||||
学位名 | ||||||
学位名 | 博士(情報理工学) | |||||
学位 | ||||||
値 | doctoral | |||||
学位授与機関 | ||||||
学位授与機関名 | University of Tokyo(東京大学) | |||||
研究科・専攻 | ||||||
Department of Creative Informatics, Graduate School of Information Science and Technology (情報理工学系研究科創造情報学専攻) | ||||||
学位授与年月日 | ||||||
学位授与年月日 | 2017-09-15 | |||||
学位授与番号 | ||||||
学位授与番号 | 12601甲第34383号 | |||||
学位記番号 | ||||||
博情第624号 |