06月06日(Mon) 13:20～15:00 F会場(36名-国際会議場 31会議室)
| 時間 | 13:20～13:40 |
|---|---|
| 題目 | 1F3-1 ハイブリッド制約処理系HyLaGIにおけるLTLモデル検査 |
| 著者 |
若槻 祐彰(早稲田大学大学院基幹理工学研究科情報理工・情報通信専攻) 松本 翔太(早稲田大学大学院基幹理工学研究科情報理工学専攻) 上田 和紀(早稲田大学理工学術院,早稲田大学理工学術院情報理工学科) |
| 論文 | PDFファイル |
| 時間 | 13:40～14:00 |
|---|---|
| 題目 | 1F3-2 関数型言語HaskellによるSATソルバーの実装と比較 |
| 著者 |
楢崎 修二(長崎大学 大学院 工学研究科) |
| 論文 | PDFファイル |
| 時間 | 14:00～14:20 |
|---|---|
| 題目 | 1F3-3 ZDDを用いた多次元ナップサック問題の厳密解法 |
| 著者 |
安田 宜仁(北海道大学大学院情報科学研究科) 西野 正彬(NTTコミュニケーション科学基礎研究所) 湊 真一(北海道大学 大学院 情報科学研究科) |
| 論文 | PDFファイル |
| 時間 | 14:20～14:40 |
|---|---|
| 題目 | 1F3-4 多数の離散変化をともなうハイブリッドシステムに対するループ検出を用いた解析 |
| 著者 |
別納 健市(早稲田大学基幹理工学部情報理工学科) 松本 翔太(早稲田大学大学院基幹理工学研究科情報理工学専攻) 若槻 祐彰(早稲田大学大学院基幹理工学研究科情報理工・情報通信専攻) 上田 和紀(早稲田大学理工学術院) |
| 論文 | PDFファイル |