WEKO3
アイテム
{"_buckets": {"deposit": "1e96e823-717b-40fa-8b8b-ac12c169e870"}, "_deposit": {"id": "8742", "owners": [], "pid": {"revision_id": 0, "type": "depid", "value": "8742"}, "status": "published"}, "_oai": {"id": "oai:tsukuba.repo.nii.ac.jp:00008742", "sets": []}, "author_link": ["35799"], "item_12_biblio_info_6": {"attribute_name": "書誌情報", "attribute_value_mlt": [{"bibliographicIssueDates": {"bibliographicIssueDate": "1999", "bibliographicIssueDateType": "Issued"}}]}, "item_12_date_granted_46": {"attribute_name": "学位授与年月日", "attribute_value_mlt": [{"subitem_dategranted": "1999-03-25"}]}, "item_12_degree_grantor_44": {"attribute_name": "学位授与大学", "attribute_value_mlt": [{"subitem_degreegrantor": [{"subitem_degreegrantor_language": "ja", "subitem_degreegrantor_name": "筑波大学"}, {"subitem_degreegrantor_language": "en", "subitem_degreegrantor_name": "University of Tsukuba"}], "subitem_degreegrantor_identifier": [{"subitem_degreegrantor_identifier_name": "12102", "subitem_degreegrantor_identifier_scheme": "kakenhi"}]}]}, "item_12_degree_name_43": {"attribute_name": "取得学位", "attribute_value_mlt": [{"subitem_degreename": "博士(工学) ", "subitem_degreename_language": "ja"}, {"subitem_degreename": "Doctor of Philosophy in Engineering", "subitem_degreename_language": "en"}]}, "item_12_description_4": {"attribute_name": "抄録", "attribute_value_mlt": [{"subitem_description": "Integer programming (IP) is an important mathematical optimization technique that attempts to find an optimal solution under constraints so that the objective value is minimal or maximal. Optimisation problems that can be solved with IP are important in operations research and computer science, such as the knapsack problem, the traveling salesman problem, ...", "subitem_description_language": "en", "subitem_description_type": "Abstract"}]}, "item_12_description_45": {"attribute_name": "学位授与年度", "attribute_value_mlt": [{"subitem_description": "1998", "subitem_description_type": "Other"}]}, "item_12_dissertation_number_47": {"attribute_name": "報告番号", "attribute_value_mlt": [{"subitem_dissertationnumber": "甲第2130号"}]}, "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": [{"creatorNames": [{"creatorName": "Li, Qiang", "creatorNameLang": "en"}, {"creatorName": "李, 強", "creatorNameLang": "ja"}], "nameIdentifiers": [{"nameIdentifier": "35799", "nameIdentifierScheme": "WEKO"}]}]}, "item_files": {"attribute_name": "ファイル情報", "attribute_type": "file", "attribute_value_mlt": [{"accessrole": "open_date", "date": [{"dateType": "Available", "dateValue": "2013-12-18"}], "displaytype": "detail", "download_preview_message": "", "file_order": 0, "filename": "A2130.pdf", "filesize": [{"value": "130.7 kB"}], "format": "application/pdf", "future_date_message": "", "is_thumbnail": false, "mimetype": "application/pdf", "size": 130699.99999999999, "url": {"objectType": "abstract", "url": "https://tsukuba.repo.nii.ac.jp/record/8742/files/A2130.pdf"}, "version_id": "28c4d156-6459-4141-81d0-0d2f8f95aaad"}, {"accessrole": "open_date", "date": [{"dateType": "Available", "dateValue": "2013-12-18"}], "displaytype": "detail", "download_preview_message": "", "file_order": 1, "filename": "1.pdf", "filesize": [{"value": "3.1 MB"}], "format": "application/pdf", "future_date_message": "", "is_thumbnail": false, "mimetype": "application/pdf", "size": 3100000.0, "url": {"objectType": "fulltext", "url": "https://tsukuba.repo.nii.ac.jp/record/8742/files/1.pdf"}, "version_id": "17b59fd9-44ff-4404-ba35-d48ba41f5d12"}]}, "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": "Symbolic algorithms for integer programming : from logic specification to solvers", "item_titles": {"attribute_name": "タイトル", "attribute_value_mlt": [{"subitem_title": "Symbolic algorithms for integer programming : from logic specification to solvers", "subitem_title_language": "en"}, {"subitem_title": "整数プログラミングの記号アルゴリズム : 論理仕様から解決系へ", "subitem_title_language": "ja"}]}, "item_type_id": "12", "owner": "1", "path": ["244"], "permalink_uri": "http://hdl.handle.net/2241/6406", "pubdate": {"attribute_name": "PubDate", "attribute_value": "2007-07-25"}, "publish_date": "2007-07-25", "publish_status": "0", "recid": "8742", "relation": {}, "relation_version_is_last": true, "title": ["Symbolic algorithms for integer programming : from logic specification to solvers"], "weko_shared_id": -1}
整数プログラミングの記号アルゴリズム : 論理仕様から解決系へ
http://hdl.handle.net/2241/6406
http://hdl.handle.net/2241/6406976f0f1a-8a55-4159-bf08-8b67fea1f3e2
名前 / ファイル | ライセンス | アクション |
---|---|---|
A2130.pdf (130.7 kB)
|
|
|
1.pdf (3.1 MB)
|
|
Item type | Thesis or Dissertation(1) | |||||
---|---|---|---|---|---|---|
公開日 | 2007-07-25 | |||||
タイトル | ||||||
言語 | en | |||||
タイトル | Symbolic algorithms for integer programming : from logic specification to solvers | |||||
タイトル | ||||||
言語 | ja | |||||
タイトル | 整数プログラミングの記号アルゴリズム : 論理仕様から解決系へ | |||||
言語 | ||||||
言語 | jpn | |||||
資源タイプ | ||||||
資源 | http://purl.org/coar/resource_type/c_db06 | |||||
タイプ | doctoral thesis | |||||
アクセス権 | ||||||
アクセス権 | open access | |||||
アクセス権URI | http://purl.org/coar/access_right/c_abf2 | |||||
著者 |
李, 強
× 李, 強 |
|||||
抄録 | ||||||
内容記述タイプ | Abstract | |||||
内容記述 | Integer programming (IP) is an important mathematical optimization technique that attempts to find an optimal solution under constraints so that the objective value is minimal or maximal. Optimisation problems that can be solved with IP are important in operations research and computer science, such as the knapsack problem, the traveling salesman problem, ... | |||||
言語 | en | |||||
書誌情報 |
発行日 1999 |
|||||
取得学位 | ||||||
学位名 | 博士(工学) | |||||
取得学位 | ||||||
学位名 | Doctor of Philosophy in Engineering | |||||
学位授与大学 | ||||||
学位授与機関識別子Scheme | kakenhi | |||||
学位授与機関識別子 | 12102 | |||||
言語 | ja | |||||
学位授与機関名 | 筑波大学 | |||||
言語 | en | |||||
学位授与機関名 | University of Tsukuba | |||||
学位授与年度 | ||||||
内容記述タイプ | Other | |||||
内容記述 | 1998 | |||||
学位授与年月日 | ||||||
学位授与年月日 | 1999-03-25 | |||||
報告番号 | ||||||
学位授与番号 | 甲第2130号 |