人工知能学会第103回人工知能基本問題研究会(SIG-FPAI)

人工知能学会第103回人工知能基本問題研究会(SIG-FPAI)
(第103回は情報処理学会第162回アルゴリズム研究会との合同研究会になります．)

主査　河原吉伸
幹事　瀧川一学，石畠正和，西郷浩人，宋剛秀，田部井靖生
担当幹事　宋剛秀，田部井靖生

■ 開催日：2017年3月13日(月)，14日(火)

■ 会場：湯布院公民館
〒879-5102 大分県由布市湯布院町川上3758-1

■ 発表申込期限：2017年2月7日(火) 12:00

■ 原稿提出期限：2017年2月28日(火) 12:00
原稿提出先：editor@ai-gakkai.or.jp
原稿提出について詳細は人工知能学会の編集担当の方から連絡されます．

■ テーマ：特集「SAT技術の理論，実装，応用」および一般

■ 開催趣旨
命題論理式の充足可能性判定（SAT）問題は，約半世紀に渡って膨大な量の研
究が蓄積されてきました．特に近年SAT問題を解くプログラムであるSATソルバー
の性能が飛躍的に向上し，様々な応用領域における推論の基盤技術としてSAT
技術は注目を集めています．

例えば，スケジューリング問題の未解決問題の求解，インテル社のi7プロセッ
サの検証，Eclipseのコンポーネント間の依存解析にSAT技術が使われるなど，
産学両方において応用が進んでいます．

またスタンフォード大学 Knuth 教授著 ``The Art of Computer Programming''
の4巻の最新分冊 (分冊6, 2015年12月出版) ではSATについて300ページ以上が割かれ，
序文には「SAT問題は，非常に多くの問題を解くためのキーであることから，
明らかに killer app である」と述べられています．

今回の研究会ではSATおよびその関連技術である SMT, ASP, CSPなどの近年の
動向を学ぶ機会として，幅広く研究発表を募集します．また，これに限らず，
人工知能の基本問題に関する理論・技術の研究発表も歓迎します．

■ 招待講演：
戸田貴久 (電気通信大学)
講演タイトル
　命題論理式を充足する変数割当の網羅的探索手法について
講演概要
　AllSAT は与えられた命題論理式を充足する変数割当を列挙する問題であり，充足可能性判定問題（SAT）の派生問題の一つである. AllSAT は形式的検証における古典的な応用に加えて，近年注目されているデータマイニングやネットワーク検証への応用などがあり，重要な研究課題である． SATの他の派生問題と比較して研究が少なく，計算技法の包括的な比較がされていなかったり，一般に公開されて利用できるソルバーが少ないなどの課題がある. 本講演では、このような課題の解決に向けて我々がこれまでに取り組んできた研究の成果や各種の知見などについて発表する。具体的には、AllSAT応用、特に過去の文献でほとんど言及されていなかった最近の応用について紹介する。 AllSAT問題を解くための主要な計算技法について解説する。さらに、そのような計算技法について、様々な種類のベンチマーク問題を用いて性能を評価した結果を紹介する。

■ 参加費:
当研究会の聴講は無料です．
研究会資料は発表の有無に関わらず1500円(学生会員無料)です．

■ 懇親会:
2017年3月13日(月) 研究会後18〜19時開始
七厘焼き和作
参加は事前申し込み制で，以下の web page から参加申し込みができます．
SIG-FPAI/SIGAL 懇親会

■プログラム:

----------------------------------------
3月13日(月)
----------------------------------------

FPAIセッション(1)
- 10:00-10:25 FPAI-01
  - ポートフォリオ型SATソルバーのための分類器の構築手法
  - o藤江柊輔，鍋島英知 (山梨大学)
- 10:25-10:50 FPAI-02
  - 点対称の像を用いた追跡問題のQ学習の高速化
  - o飯岡徹人，細部博史 (法政大学)
- 休憩 (10分)
FPAIセッション(2)
- 11:00-11:25 FPAI-03
  - 混合基数を用いた擬似ブール制約のSAT符号化
  - o上村直輝，藤田博，越村三幸，査澳龍 (九州大学)
- 11:25-11:50 FPAI-04
  - ブール基数制約を経由した擬似ブール制約のSAT符号化法
  - o南雄之，宋剛秀，番原睦則，田村直之 (神戸大学)
- 11:50-12:15 FPAI-05
  - 同順位を含む研究室配属問題のCSPソルバーによる解法の検討
  - o藤井樹，伊藤靖展，鍋島英知 (山梨大学)
昼休み (1時間15分)
招待講演
- 13:30-14:20 FPAI-招待講演
  - 命題論理式を充足する変数割当の網羅的探索手法について
  - 戸田貴久 (電気通信大学)
  - AllSAT は与えられた命題論理式を充足する変数割当を列挙する問題であり，充足可能性判定問題（SAT）の派生問題の一つである. AllSAT は形式的検証における古典的な応用に加えて，近年注目されているデータマイニングやネットワーク検証への応用などがあり，重要な研究課題である． SATの他の派生問題と比較して研究が少なく，計算技法の包括的な比較がされていなかったり，一般に公開されて利用できるソルバーが少ないなどの課題がある. 本講演では，このような課題の解決に向けて我々がこれまでに取り組んできた研究の成果や各種の知見などについて発表する．具体的には，AllSAT応用，特に過去の文献でほとんど言及されていなかった最近の応用について紹介する． AllSAT問題を解くための主要な計算技法について解説する．さらに，そのような計算技法について，様々な種類のベンチマーク問題を用いて性能を評価した結果を紹介する．
- 休憩 (10分)
FPAIセッション(3)
- 14:30-14:55 FPAI-06
  - 成分分割を用いる投射モデル計数ソルバにおける成分単位でのSAT判定を利用した性能改善
  - o鈴木涼介，橋本健二，酒井正彦 (名古屋大学)
- 14:55-15:20 FPAI-07
  - Inference Calculation of Partitioned Bayesian Networks Using d-Separation Based on ZDD Compilation
  - o高サン，石畠正和，湊真一 (北海道大学)
- 休憩 (10分)
ALセッション(1)
- 15:30-16:00 AL-01
  - 高階圧縮における連続パターンのコンパクトな表現法
  - o古谷勇，喜田拓也 (北海道大学)
- 16:00-16:30 AL-02
  - 単一の連からなるRun-Based Trieによるルール探索の高速化
  - o原田崇司，田中賢 (神奈川大学)，三河賢治 (新潟大学)
- 16:30-17:00 AL-03
  - グラフの連結成分の大きさを考慮した連結成分分割の高速な列挙
  - o中畑裕，川原純，笠原正治 (奈良先端科学技術大学院大学)
懇親会
- 2017年3月13日(月) 研究会後18〜19時開始
  七厘焼き和作
  参加は事前申し込み制で，以下の web page から参加申し込みができます．
  SIG-FPAI/SIGAL 懇親会

----------------------------------------
3月14日(火)
----------------------------------------

FPAIセッション(4)
- 09:00-09:25 FPAI-08
  - ヒトゲノムからの有意な散在反復配列の列挙
  - o中村篤祥 (北海道大学)
- 09:25-09:50 FPAI-09
  - 順序構造上の情報幾何的な統計解析
  - o杉山麿人 (大阪大学)，中原裕之 (理化学研究所)，津田宏治 (東京大学)
- 09:50-10:15 FPAI-10
  - 応答変数が連続値の際の組み合わせ仮説に対する多重検定補正法
  - 井ノ口敬章，永野竜輝 (九州工業大学)，o西郷浩人 (九州大学)
- 休憩 (15分)
ALセッション(2)
- 10:30-11:00 AL-04
  - データ研磨を用いた高速高精度バイクラスタマイニングアルゴリズム
  - 宇野毅明 (国立情報学研究所)，小池敦 (東北大学)，中原孝信 (専修大学)，羽室行信 (関西学院大学)
- 11:00-11:30 AL-05
  - On the Enumeration of Polymer Topologies
  - Toshihiko Haruna, oTakashi Horiyama, Koya Shimokawa (Saitama University)
昼休み (1時間30分)
FPAIセッション(5)
- 13:00-13:25 FPAI-11
  - 負の相関ルールマイニング効率化のための極小生成子の抽出計算
  - o佐生隼一，岩沼宏治，山本泰生，黒岩健歩 (山梨大学)
- 13:25-13:50 FPAI-12
  - クラスタ構造を仮定した場合の双クラスタリングアルゴリズムの解析
  - o山浦智佳子，小林靖明，山本章博 (京都大学)，久保山哲二 (学習院大学)
- 13:50-14:15 FPAI-13
  - 多項式時間計算可能な根無しラベル付き木の編集距離
  - o芳野拓也，平田耕一 (九州工業大学)
- 休憩 (15分)
FPAIセッション(6)
- 14:30-14:55 FPAI-14
  - 整数計画法による木間距離の計算を高速化するための新しい定式化
  - oHong Eunpyeong, 小林靖明, 山本章博 (京都大学)
- 14:55-15:20 FPAI-15
  - 根付きラベル付き木の地均し距離について
  - o川口泰雅，平田耕一 (九州工業大学)
- 休憩 (10分)
FPAIセッション(7)
- 15:30-15:55 FPAI-16
  - モジュラリティを基準とした関係データに対する特徴選択
  - o紫藤佑介，山本章博，小林靖明 (京都大学)，久保山哲二 (学習院大学)
- 15:55-16:20 FPAI-17
  - アンチバイオグラムからの相互依存重集合の抽出
  - o清田菜月，平田耕一 (九州工業大学)

■ 人工知能学会の研究会資料(第一種)の扱いについて（2015年度より)

2015年4月以降に人工知能学会第一種研究会に投稿された研究会資料は，
紙冊子に掲載されると同時に，学会事務局で資料ID(※１)を付与した上で
学会文献提供サイト「AI書庫」(https://jsai.ixsq.nii.ac.jp/ej/ )上のPDF
ファイルとして閲覧可能となります．

発行日(※２)から一年間は，一本あたり(非会員 600円＋消費税，学会員 300
円＋消費税，登録会員 0円)にて販売します．一年間の保留期間(エンバーゴ)
後は無料購読できるようになりオンライン公開されます．

なおAI書庫上のデータには，標準的な識別子(番号)は付与されませんが，
一般的な検索エンジンや国立情報学研究所が提供するCiNiiなどから容易に
検索できるようになります．

(※１)研究会資料ID付与規則の変更(2015年度より)

　研究会資料ID（論文ID）の付与ルールを下記のように統一しました．
　　資料ID: [研究会名略称]-[巻(3桁)]-[号(2桁)] 例：SIG-SWO-021-03
　　巻：研究会の通算の開催回数例：21
　　号：特定の回での論文の発表順例：3
　　頁：研究会毎に以下の何れかのポリシーで付与する．
　A) 各回でページナンバリングしている場合は，そのページ情報を使用
　B) そうでない場合には，発表毎に「pp. 1-論文のページ分量」

(※２)紙媒体の奥付に記載された発行日