プログラム

• 日時: 2021年6月9日(水) 09:00-16:00 です．
• Zoom等の URL は参加発表申込みされた方に後日送信されます．

プログラム (第1部)

• 概要
  • 2021年6月9日(水) 09:00 〜 10:40 E会場 (OS会場 3)
  • [2E1-OS-13a] AIと制約プログラミング(1/3)
  • 座長：宋 剛秀（神戸大学）
• 09:00 〜 09:20
  • [2E1-OS-13a-01] 解集合プログラミングに基づく系統的探索と確率的局所探索の統合的手法に関する一考察
  • 〇桑原 和也1、田村 直之2、番原 睦則1 (1. 名古屋大学、2. 神戸大学)
• 09:20 〜 09:40
  • [2E1-OS-13a-02] フェロモン蓄積を動的に変更する蟻の集団による制約充足アルゴリズム
  • 〇戸谷 太亮1、水野 一徳1、小池 祥太朗1 (1. 拓殖大学)
• 09:40 〜 10:00
  • [2E1-OS-13a-03] 大きな極大マッチングの多項式遅延列挙
  • 〇栗田 和宏1、小林 靖明2、和佐 州洋3 (1. 国立情報学研究所、2. 京都大学、3. 豊橋技術科学大学)

• 10:00 〜 10:20

  • [2E1-OS-13a-04] ストリームデータから強飽和集合をオンライン抽出するε近似アルゴリズムの高速化
  • 日向 涼1、〇岩沼 宏冶1、仁科 拓巳1 (1. 山梨大学)

• 10:20 〜 10:40

  • [2E1-OS-13a-05] 大規模文字列集合データを表現するSequence BDDの高速な構築手法とその評価
  • 〇杉野 創1、川原 純1、湊 真一1 (1. 京都大学)

プログラム (第2部)

• 概要
  • 2021年6月9日(水) 13:20 〜 15:00 E会場 (OS会場 3)
  • [2E3-OS-13b] AIと制約プログラミング(2/3))
  • 座長：沖本 天太（神戸大学）
• 13:20 〜 13:40
  • [2E3-OS-13b-01] SIR感染症モデルに対するブール式を用いた有界モデル検査
  • 〇花田 研太1 (1. 奈良先端科学技術大学院大学)
• 13:40 〜 14:00
  • [2E3-OS-13b-02] 差分制約を含んだ時間オートマトンモデルの LMNtal による状態空間構築
  • 〇橋本 彩美1、上田 和紀1 (1. 早稲田大学)
• 14:00 〜 14:20
  • [2E3-OS-13b-03] パラメタ付きモデルの到達可能性解析に基づくハイブリッドシステムモデリングツールの性能評価
  • 〇秦 国大1、上田 和紀1 (1. 早稲田大学)
• 14:20 〜 14:40
  • [2E3-OS-13b-04] ポセットアンチマトロイド上の協力ゲームにおける効率的なシャプレイ値計算
  • 〇波多野 大督1 (1. 理化学研究所 革新知能統合研究センター)
• 14:40 〜 15:00
  • [2E3-OS-13b-05] ADSAT：敵対者が存在するMaxSAT
  • 〇菅原 知也1、越村 三幸1、横尾 真1 (1. 九州大学)

プログラム (第3部)

• 概要
  • 2021年6月9日(水) 15:20 〜 16:00 E会場 (OS会場 3)
  • [2E4-OS-13c] AIと制約プログラミング(3/3)
  • 座長：宋 剛秀（神戸大学）

• 15:20 〜 15:40

  • [2E4-OS-13c-01] SQL 型ソルバ CombSQL+による車両割当て問題の記述
  • 〇井上 和哉1、岸 潤一郎2、酒井 正彦2 (1. 名古屋大学情報学部、2. 名古屋大学大学院情報学研究科)

• 15:40 〜 16:00

  • [2E4-OS-13c-02] 圧縮した SAT 問題における高速な単位伝播手法
  • 〇早瀬 悠真1、鍋島 英知1、盧 暁南1 (1. 山梨大学)