人工知能学会全国大会 オーガナイズドセッション（制約・SAT）
人工知能学会全国大会（JSAI）で、2011年から毎年開催している制約プログラミング・SAT 関連のオーガナイズドセッション（OS）のまとめです。セッション名は時代に合わせて次のように変わってきました。
| 略称 | 期間 | セッション名 | 回数 |
|---|---|---|---|
| S | 2011–2017 | SAT技術の理論，実装，応用 | 7回 |
| D | 2018–2019 | AIにおける離散構造処理と制約充足 | 2回 |
| A | 2020–2025 | AIと制約プログラミング | 6回 |
| C | 2026– | 制約プログラミングの理論と実践: 充足・列挙・計数・最適化 | 1回 |
一覧
| 年 | 大会 | 開催地 | 名称 | OS | オーガナイザ | 招待講演 | 発表 | 所属組織 |
|---|---|---|---|---|---|---|---|---|
| 2011 | 第25回 | 盛岡 | S | OS-07 | 田村 直之，番原 睦則，平山 勝敏 | 9 | 5 | |
| 2012 | 第26回 | 山口 | S | OS-04 | 越村 三幸，鍋島 英知，平山 勝敏 | 10 | 5 | |
| 2013 | 第27回 | 富山 | S | OS-09 | 越村 三幸，鍋島 英知，宋 剛秀 | 酒井 正彦 | 14 | 13 |
| 2014 | 第28回 | 松山 | S | OS-11 | 越村 三幸，鍋島 英知，宋 剛秀 | 長谷川 隆三 | 12 | 12 |
| 2015 | 第29回 | 函館 | S | OS-3 | 越村 三幸，戸田 貴久，宋 剛秀 | 湊 真一 | 9 | 8 |
| 2016 | 第30回 | 北九州 | S | OS-2 | 宋 剛秀，波多野 大督，戸田 貴久 | 鍋島 英知 | 11 | 9 |
| 2017 | 第31回 | 名古屋 | S | OS-2 | 戸田 貴久，沖本 天太，波多野 大督 | 番原 睦則 | 9 | 7 |
| 2018 | 第32回 | 鹿児島 | D | OS-16 | 戸田 貴久，番原 睦則，波多野 大督 | 10 | 10 | |
| 2019 | 第33回 | 新潟 | D | OS-3 | 波多野 大督，蓑田 玲緒奈 | 西野 正彬 | 6 | 7 |
| 2020 | 第34回 | オンライン | A | OS-17 | 宋 剛秀，沖本 天太 | 横尾 真 | 9 | 10 |
| 2021 | 第35回 | オンライン | A | OS-13 | 宋 剛秀，沖本 天太 | 12 | 11 | |
| 2022 | 第36回 | 京都 | A | OS-8 | 宋 剛秀，沖本 天太 | 伊藤 健洋 | 9 | 9 |
| 2023 | 第37回 | 熊本 | A | OS-9 | 花田 研太，波多野 大督，宋 剛秀 | 平山 勝敏 | 9 | 6 |
| 2024 | 第38回 | 浜松 | A | OS-11 | 花田 研太，波多野 大督，宋 剛秀 | 梅谷 俊治 | 8 | 10 |
| 2025 | 第39回 | 大阪 | A | OS-13 | 波多野 大督，宋 剛秀 | 土屋 達弘 | 5 | 5 |
| 2026 | 第40回 | 高崎 | C | OS-36 | 波多野 大督，宋 剛秀 | 岩田 陽一 | 10 | 7 |
名称は上の表の略称です。発表数は招待講演を含みます（2019年は確認できた件数）。所属組織は、その年の予稿の著者が所属する組織の数です。
発表者の所属
予稿集（J-STAGE）に掲載された142件の発表について、著者の所属を集計しました。延べ 38組織（大学・高専23、研究機関4、企業7、海外4）から発表があり、予稿のない招待講演者の所属（東北大学、AtCoder）を加えると40組織になります。オーガナイザの所属に限らず、全国の大学・研究機関・企業、海外の研究者が参加する幅広いコミュニティでセッションが構成されています。
| 区分 | 組織（発表件数） |
|---|---|
| 大学・高専（23） | 神戸大学 27，山梨大学 27，名古屋大学 16，九州大学 15，早稲田大学 15，北海道大学 9，京都大学 8，東京大学 5，東京工業大学 4，電気通信大学 3，大阪大学 3，名古屋工業大学 3，長崎大学 2，奈良先端科学技術大学院大学 2，総合研究大学院大学 2，岐阜大学 1，埼玉大学 1，拓殖大学 1，豊橋技術科学大学 1，法政大学 1，鹿児島大学 1，徳山工業高等専門学校 1，木更津工業高等専門学校 1 |
| 研究機関（4） | 国立情報学研究所 13，科学技術振興機構（JST）2，産業技術総合研究所 2，理化学研究所 2 |
| 企業（7） | NTT 7，富士通 3，NEC 1，東洋紡 1，リクルート 1，サスメド 1，Growth xPartners 1 |
| 海外（4） | アルトワ大学 CRIL（フランス）3，JFLI（CNRS・東京大学）1，インスブルック大学（オーストリア）1，成都理工大学（中国）1 |
発表件数は、その組織に所属する著者を1人以上含む発表の数です（共著で複数の組織が関わる発表は、それぞれの組織で数えています）。所属名は発表当時の名称で、研究科・学部などの部局は大学単位にまとめています。
各年のページ
2026 制約プログラミングの理論と実践: 充足・列挙・計数・最適化
- 第40回 人工知能学会全国大会，2026年6月8日–12日，Gメッセ群馬（高崎市）
- 招待講演: 岩田 陽一（AtCoder株式会社）「ICFPC 2025優勝解法におけるSATエンコーディング設計」
- 大会ページ ／ OS一覧 ／ 招待講演 ／ 予稿集（J-STAGE） ／ OS報告（人工知能学会誌 41(6)）
2025 AIと制約プログラミング
- 第39回 人工知能学会全国大会，2025年5月27日–30日，大阪国際会議場（大阪市）
- 招待講演: 土屋 達弘（大阪大学）「テスト・検証・信頼性評価とSAT/BDD」
- 大会ページ ／ OS一覧 ／ 招待講演 ／ 予稿集（J-STAGE） ／ OS報告（人工知能学会誌 40(6)）
2024 AIと制約プログラミング
- 第38回 人工知能学会全国大会，2024年5月28日–31日，アクトシティ浜松（浜松市）
- 招待講演: 梅谷 俊治（株式会社リクルート）「組合せ最適化による問題解決の実践的アプローチ」（スライド）
- 大会ページ ／ OS一覧 ／ 招待講演 ／ 予稿集（J-STAGE） ／ OS報告（人工知能学会誌 39(6)）
2023 AIと制約プログラミング
- 第37回 人工知能学会全国大会，2023年6月6日–9日，熊本城ホール（熊本市）
- 招待講演: 平山 勝敏（神戸大学）「分散船舶衝突回避アルゴリズム」
- 大会ページ ／ OS一覧 ／ 招待講演 ／ 予稿集（J-STAGE） ／ OS報告（人工知能学会誌 38(6)）
2022 AIと制約プログラミング
- 第36回 人工知能学会全国大会，2022年6月14日–17日，国立京都国際会館（京都市）
- 招待講演: 伊藤 健洋（東北大学）「組合せ遷移への招待」
- 大会ページ ／ OS一覧 ／ OSページ（プログラム） ／ 招待講演 ／ 予稿集（J-STAGE） ／ OS報告（人工知能学会誌 37(6)）
2021 AIと制約プログラミング
- 第35回 人工知能学会全国大会，2021年6月8日–11日，オンライン
- 大会ページ ／ OS一覧 ／ OSページ ／ プログラム ／ 予稿集（J-STAGE）
2020 AIと制約プログラミング
- 第34回 人工知能学会全国大会，2020年6月9日–12日，オンライン
- 招待講演: 横尾 真「制約付きマッチングの理論」
- 大会ページ ／ OS一覧 ／ 予稿集（J-STAGE）
2019 AIにおける離散構造処理と制約充足
- 第33回 人工知能学会全国大会，2019年6月4日–7日，朱鷺メッセ（新潟市）
- 招待講演: 西野 正彬
- 大会ページ ／ OS一覧 ／ 予稿集（J-STAGE）
2018 AIにおける離散構造処理と制約充足
- 第32回 人工知能学会全国大会，2018年6月5日–8日，城山ホテル鹿児島（鹿児島市）
- 大会ページ ／ OS一覧 ／ 予稿集（J-STAGE）
2017 SAT技術の理論，実装，応用
- 第31回 人工知能学会全国大会，2017年5月23日–26日，ウインクあいち（名古屋市）
- 招待講演: 番原 睦則
- 大会ページ ／ OS一覧 ／ プログラム（前半，後半） ／ 予稿集（J-STAGE）
2016 SAT技術の理論，実装，応用
- 第30回 人工知能学会全国大会，2016年6月6日–9日，北九州国際会議場（北九州市）
- 招待講演: 鍋島 英知
- 大会ページ ／ OS一覧 ／ プログラム（前半，後半） ／ OS報告（人工知能学会誌 31(6)）
2015 SAT技術の理論，実装，応用
- 第29回 人工知能学会全国大会，2015年5月30日–6月2日，公立はこだて未来大学（函館市）
- 招待講演: 湊 真一
- 大会ページ ／ OS一覧 ／ プログラム（前半，後半） ／ OS報告（人工知能学会誌 30(6)）
2014 SAT技術の理論，実装，応用
- 第28回 人工知能学会全国大会，2014年5月12日–15日，ひめぎんホール（松山市）
- 講演: 長谷川 隆三
- 大会ページ ／ OS一覧 ／ プログラム（前半，後半） ／ OS報告（人工知能学会誌 29(6)） ／ CSPSAT2
2013 SAT技術の理論，実装，応用
- 第27回 人工知能学会全国大会，2013年6月4日–7日，富山国際会議場（富山市）
- 招待講演: 酒井 正彦
- 大会ページ ／ OS一覧 ／ プログラム（前半，後半） ／ OS報告（人工知能学会誌 28(6)） ／ CSPSAT2
2012 SAT技術の理論，実装，応用
- 第26回 人工知能学会全国大会，2012年6月12日–15日，山口県教育会館ほか（山口市）
- 大会ページ ／ OS紹介 ／ プログラム ／ OS報告（人工知能学会誌 27(6)）
2011 SAT技術の理論，実装，応用
- 第25回 人工知能学会全国大会，2011年6月1日–3日，いわて県民情報交流センター アイーナ（盛岡市）
- 大会ページ ／ プログラム ／ 予稿（J-STAGE） ／ CSPSAT ニュース