投稿日: 2020/09/09 23:47:18
大学院生の澤枝さんが,第34回 回路とシステムワークショップにて「機械加工スケジューリング問題の時間オートマトンによるモデル化とモデル検査による最適化」に関する研究成果を発表しました.オンライン会議でした.