{"metadata":{"_oai":{"id":"oai:ipsj.ixsq.nii.ac.jp:00213362","sets":["6164:6165:7006:10727"]},"path":["10727"],"owner":"44499","recid":"213362","title":["大学の時間割編成問題を記述可能なDSLと時間割作成システムの提案"],"pubdate":{"attribute_name":"公開日","attribute_value":"2021-10-18"},"_buckets":{"deposit":"3dadf45a-2a3e-4f03-a396-27f0e206b098"},"_deposit":{"id":"213362","pid":{"type":"depid","value":"213362","revision_id":0},"owners":[44499],"status":"published","created_by":44499},"item_title":"大学の時間割編成問題を記述可能なDSLと時間割作成システムの提案","author_link":["545826","545825"],"item_titles":{"attribute_name":"タイトル","attribute_value_mlt":[{"subitem_title":"大学の時間割編成問題を記述可能なDSLと時間割作成システムの提案"}]},"item_keyword":{"attribute_name":"キーワード","attribute_value_mlt":[{"subitem_subject":"時間割編成問題，ドメイン特化言語，SATソルバ","subitem_subject_scheme":"Other"}]},"item_type_id":"18","publish_date":"2021-10-18","item_language":{"attribute_name":"言語","attribute_value_mlt":[{"subitem_language":"jpn"}]},"item_18_text_3":{"attribute_name":"著者所属","attribute_value_mlt":[{"subitem_text_value":"岡山大学大学院自然科学研究科"},{"subitem_text_value":"岡山大学学術研究院自然科学学域"}]},"item_publisher":{"attribute_name":"出版者","attribute_value_mlt":[{"subitem_publisher":"情報処理学会","subitem_publisher_language":"ja"}]},"publish_status":"0","weko_shared_id":-1,"item_file_price":{"attribute_name":"Billing file","attribute_type":"file","attribute_value_mlt":[{"url":{"url":"https://ipsj.ixsq.nii.ac.jp/record/213362/files/IPSJ-DPSWS2021009.pdf","label":"IPSJ-DPSWS2021009.pdf"},"date":[{"dateType":"Available","dateValue":"2023-10-18"}],"format":"application/pdf","billing":["billing_file"],"filename":"IPSJ-DPSWS2021009.pdf","filesize":[{"value":"1.3 MB"}],"mimetype":"application/pdf","priceinfo":[{"tax":["include_tax"],"price":"660","billingrole":"5"},{"tax":["include_tax"],"price":"330","billingrole":"6"},{"tax":["include_tax"],"price":"0","billingrole":"34"},{"tax":["include_tax"],"price":"0","billingrole":"44"}],"accessrole":"open_date","version_id":"263c3068-164b-48e8-959a-0099497d2ff3","displaytype":"detail","licensetype":"license_note","license_note":"Copyright (c) 2021 by the Information Processing Society of Japan"}]},"item_18_creator_5":{"attribute_name":"著者名","attribute_type":"creator","attribute_value_mlt":[{"creatorNames":[{"creatorName":"松田, 陸斗"}],"nameIdentifiers":[{}]},{"creatorNames":[{"creatorName":"乃村, 能成"}],"nameIdentifiers":[{}]}]},"item_resource_type":{"attribute_name":"資源タイプ","attribute_value_mlt":[{"resourceuri":"http://purl.org/coar/resource_type/c_5794","resourcetype":"conference paper"}]},"item_18_description_7":{"attribute_name":"論文抄録","attribute_value_mlt":[{"subitem_description":"現在，少子化による大学再編の必要性や COVID-19 の感染拡大防止策による授業のオンライン化によって，大学の時間割を再編成したいという要求が増している．このため，大学の時間割作成システムの需要が高まっている．しかし，大学によって，時間割の制約が異なると考えられているため，時間割編成問題の表現方法の汎化が大きな課題である．そこで，本研究では，時間割編成問題を記述可能な DSL を提案し，これを用いた時間割作成システムを提案する．DSL の評価として，実際の時間割編成問題を提案 DSL で記述した際の字句数を評価し，実用に足ると判断した．また，時間割作成システムは対話的に利用される場合が考えられるため，時間割編成問題の求解時間が用途に耐えるか調査を行った．結果として，SAT ソルバを用いて 26.6 ms と短時間で求解できた．","subitem_description_type":"Other"}]},"item_18_biblio_info_10":{"attribute_name":"書誌情報","attribute_value_mlt":[{"bibliographicPageEnd":"71","bibliographic_titles":[{"bibliographic_title":"第29回マルチメディア通信と分散処理ワークショップ論文集"}],"bibliographicPageStart":"64","bibliographicIssueDates":{"bibliographicIssueDate":"2021-10-18","bibliographicIssueDateType":"Issued"}}]},"relation_version_is_last":true,"weko_creator_id":"44499"},"updated":"2025-01-19T17:11:14.518235+00:00","created":"2025-01-19T01:14:14.711465+00:00","links":{},"id":213362}