| 研究課題/領域番号 |
21K11828
|
|---|
| 研究種目 |
基盤研究(C)
|
| 配分区分 | 基金 |
|---|
| 応募区分 | 一般 |
|---|
| 審査区分 |
小区分60050:ソフトウェア関連
|
|---|
| 研究機関 | 名古屋大学 |
|---|
研究代表者 |
番原 睦則 名古屋大学, 情報学研究科, 教授 (80290774)
|
|---|
| 研究分担者 |
田村 直之 神戸大学, DX・情報統括本部, 名誉教授 (60207248)
宋 剛秀 神戸大学, 情報基盤センター, 准教授 (00625121)
|
|---|
| 研究期間 (年度) |
2021-04-01 – 2024-03-31
|
| 研究課題ステータス |
交付 (2022年度)
|
| 配分額 *注記 |
4,160千円 (直接経費: 3,200千円、間接経費: 960千円)
2023年度: 910千円 (直接経費: 700千円、間接経費: 210千円)
2022年度: 910千円 (直接経費: 700千円、間接経費: 210千円)
2021年度: 2,340千円 (直接経費: 1,800千円、間接経費: 540千円)
|
|---|
| キーワード | 解集合プログラミング / 巨大近傍探索 / 時間割問題 / 車両装備仕様問題 |
|---|
| 研究開始時の研究の概要 |
命題論理の充足可能性判定(SAT) 技術を用いて系統的探索と確率的局所探索を統合的かつ効率的に扱うアルゴリズム技法，およびソルバーの研究開発を進める．また，電力網問題・時間割問題等，社会的に重要な応用研究を通じて，SAT 技術の特長を活かした技法の利点・有効性・実用性を明らかにする．
|
| 研究実績の概要 |
本研究では，SAT技術を用いて系統的探索と確率的局所探索を統合的かつ効率的に扱うアルゴリズム技法およびソルバーの実現を目指し，研究開発をおこなっている．
3年計画の2年目となる2022年度は，国際ソルバー競技会での入賞2件，査読付き国際会議論文2件，国際ワークショップ発表2件，国内学会発表4件の成果を得た．特に，研究テーマ「(C) 特長的なアプリケーションの開発」への取り組みとして，車両装備仕様問題の応用研究を進めた．車両装備仕様とは自動車のカタログに記載されている車種と装備の組合せであり，販売される国や地域の法規や規制，市場の特性，顧客の選好，競合他社，コストなど，様々な要因を考慮した上で決定される．現状では，車両装備仕様の決定には専門知識を持つ技術者の多大な労力が費やされている．そのため，クオリティの高い車両装備仕様決定の自動化・効率化は，自動車メーカーにとって重要な課題の一つである．この車両装備仕様問題を解く ASP 符号化を考案し，日本の自動車メーカーから提供された実データに基づくベンチマークセットを使用して実験を行った．その結果，現実規模の問題に対して，クオリティの高い車両装備仕様を得ることに成功した．
|
| 現在までの達成度 (区分) |
現在までの達成度 (区分)
2: おおむね順調に進展している
理由
3つの研究テーマ「(A) 系統的探索と確率的探索を統合的に扱うアルゴリズムの研究」，「(B) ASP に基づく系統的探索と確率的探索の統合 (ソルバーの開発)」，「(C) 特長的なアプリケーションの開発」について，おおむね順調に進展している．
2022年度は，テーマ(B)のソルバー開発について，ASPに基づく最適化ソルバーの実装をほぼ完了した．テーマ(C)では，特長的なアプリケーションとして，車両装備仕様問題とナーススケジューリング問題の応用研究を行った．特に，ナーススケジューリングに関しては，開発したプログラムが山梨大学医学部附属病院における看護師の勤務表作成に実際に使われている．
研究者が集まる会合をオンラインで実施し研究進捗状況について確認した．また，日本ソフトウェア科学会大会，人工知能学会全国大会，プログラミングおよびプログラミング言語ワークショップ(PPL)などで，研究分担者以外の研究者と研究交流を行なった．
|
| 今後の研究の推進方策 |
今後は，研究テーマ「(B) ASP に基づく系統的探索と確率的探索の統合 (ソルバーの開発)」の完成を目指し研究開発を進める．また，テーマ「(C) 特長的なアプリケーション」で開発した応用問題を使って，提案手法およびソルバーの統合的な評価実験を行う．
研究者全員が参加する研究打合せを年2回開催する．海外共同研究者はオンラインで参加する．ここでは，アイデア・実現技術の共有を主目的とし，進捗報告，研究意見交換，研究計画・方法に関する議論を行う．また，本研究で新しく得られた知見・成果については積極的に国際会議，国内学会等で発表し，フィードバックを得る．
|
