松田　陸斗

所属 :

岡山大学 大学院自然科学研究科 電子情報システム工学専攻 乃村研究室 GNグループ

E-mail

matsuda-ri(at)swlab.cs.okayama-u.ac.jp

履歴

• 2017年(平成29年) 岡山県立岡山芳泉高等学校 卒業
• 2017年(平成29年) 岡山大学工学部情報系学科 入学
• 2021年(令和3年) 岡山大学工学部情報系学科 卒業
• 2021年(令和3年) 岡山大学大学院自然科学研究科電子情報システム工学専攻 入学

研究テーマ

テーマ

大学の時間割の制約を記述可能なDSLとSATソルバによる求解

概要:

現在，少子化による大学再編の必要性やCOVID-19の感染拡大防止策による授業のオンライン化によって，大学の時間割を再編成したいという要求が増している．このため，大学の時間割作成システムの需要が高まっている．しかし，大学によって，時間割の制約が異なると考えられているため，時間割編成問題の表現方法の汎化が大きな課題である．そこで，本研究では，提案されている時間割編成問題のDSLを用いた時間割作成システムを提案する．

実績:

• 松田 陸斗, 乃村 能成,
  `` 時間割編成問題を記述可能なドメイン特化言語AUKの提案 ,''
  第20回情報科学技術フォーラム (FIT2021) 講演論文集, vol.第4分冊, pp.241-242 (2021.08).
  第20回情報科学技術フォーラム (FIT2021)
• 松田 陸斗, 乃村 能成,
  `` 大学の時間割編成問題を記述可能なDSLと時間割作成システムの提案 ,''
  第29回マルチメディア通信と分散処理ワークショップ論文集, pp.64-71 (2021.10).
  第29回マルチメディア通信と分散処理ワークショップ(DPSWS2021)

その他