05月23日(Tue) 13:50～15:30 M会場(ウインクあいち-10F 1005会議室)
| 時間 | 13:50～14:30 |
|---|---|
| 題目 | 1M1-OS-02a-1 (OS招待講演)SAT から解集合プログラミングへ |
| 著者 |
番原 睦則(神戸大学 情報基盤センター) |
| 時間 | 14:30～14:50 |
|---|---|
| 題目 | 1M1-OS-02a-2 SAT技術を用いたペトリネットのデッドロック検出手法の提案 |
| 著者 |
寸田 智也(神戸大学大学院システム情報学研究科情報科学専攻) 宋 剛秀(神戸大学 情報基盤センター) 番原 睦則(神戸大学 情報基盤センター) 田村 直之(神戸大学 情報基盤センター) |
| 論文 | PDFファイル |
| 時間 | 14:50～15:10 |
|---|---|
| 題目 | 1M1-OS-02a-3 スマートオブジェクトの近接連携シナリオへの記号モデル検査の応用 |
| 著者 |
蓑田 玲緒奈(北海道大学 大学院 情報科学研究科) 湊 真一(北海道大学 大学院 情報科学研究科) |
| 論文 | PDFファイル |