講演情報 2026.09.09 講演情報 日本オペレーションズ・リサーチ学会 2026年秋季シンポジウム（第94回） テーマ「広がる数理科学」，@京都大学 講演タイトル: SAT ソルバーの仕組みと制約ソルバーへの応用 登壇者情報 アンケート・問い合わせ (Google Form) https://forms.gle/YrHtFwSydi4FiQcj7 スライド Speaker Deck 2025.12.01 講演情報 (一社)人工知能学会 第134回人工知能基本問題研究会(SIG-FPAI) シンポジウム： 制約充足、探索、列挙、最適化 ― よい「答え」を見つける技術の最先端 アンケート・問い合わせ (Google Form) https://forms.gle/LoUw15wmCwbZJWiQ6 スライド Speaker Deck プロジェクトへのリンク KRR@NU 番原・宋研究室