松田　陸斗

所属 :
岡山大学 大学院自然科学研究科 電子情報システム工学専攻 乃村研究室 GNグループ
E-mail
matsuda-ri(at)swlab.cs.okayama-u.ac.jp

履歴

研究テーマ

テーマ
大学の時間割の制約を記述可能な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)

その他

好きなポケモンはジュペッタです．
よろしくおねがいします．