Skip to content

宋 剛秀 (Takehide Soh)

宋 剛秀
  • 宋 剛秀 (Takehide Soh)
  • 准教授 (情報学研究科, 名古屋大学)
  • 研究分野
    • 命題論理の充足可能性判定問題 (Boolean Satisfiability; SAT) の実践
    • 制約プログラミング (Constraint Programming; CP) の実践
  • 番原・宋 研究室

私たちの身の回りには，試合日程，生産工程，勤務シフトなど，配置・順序・割当てを決める組合せ問題が数多くあります．組合せは選択肢とともに急増するため，すべてを試す方法は現実的ではありません．私は，こうした難しい問題を汎用的かつ高速に解く「ソルバー」，特に制約伝播を用いる制約ソルバーを研究しています．

お知らせ

  • 2026年9月9日，日本オペレーションズ・リサーチ学会 2026年秋季シンポジウム（第94回）で「SAT ソルバーの仕組みと制約ソルバーへの応用」を講演します．[シンポジウム] [登壇者情報] [スライドなど]
  • FLoC 2026 併催の XCSP3 Competition 2026 にて，KAT が Main CSP 部門で共同優勝 (joint winner) として表彰されました．[FLoC 2026 Olympiad] [写真と Diploma]
XCSP3 Competition 2026 award ceremony FLoC 2026 medal FLoC 2026 diploma

論文と統計情報

すべての論文のリストはこちら.

職歴

  • 2025年08月 - 現在 准教授, 情報学研究科，名古屋大学
  • 2022年04月 - 2025年07月 准教授, DX・情報統括本部, 神戸大学
  • 2019年04月 - 2022年03月 准教授, 情報基盤センター, 神戸大学
  • 2017年09月 - 2018年09月 訪問研究員, Centre national de la recherche scientifique; CNRS, フランス
  • 2012年04月 - 2019年03月 助教, 情報基盤センター，神戸大学
  • 2011年10月 - 2012年03月 特任研究員, 新領域融合研究センター
  • 2010年04月 - 2011年09月 特別研究員, 日本学術振興会 (JSPS)
  • 2008年04月 - 2010年09月 研究補助員, 国立情報学研究所
  • 2006年04月 - 2008年03月 情報システム部, サントリー株式会社

学歴

  • 2011年09月 博士 (情報学)，総合研究大学院大学複合科学研究科
  • 2006年03月 修士 (工学) 神戸大学大学院自然科学研究科
  • 2004年03月 学士 (工学) 神戸大学工学部
  • 2002年03月 準学士，奈良工業高等専門学校

招待講演

受賞歴 (研究)

受賞歴 (教育)

言語

  • 日本語 (母語), 英語 (TOEIC 905)

競争的資金 (代表者のもの)

  • 2023/04 - 2027/03
  • 2023/04 - 2024/03
    • (PI) SAT 技術を用いた組合せ遷移問題の解法に関する研究
    • 2023年度 国立情報学研究所共同研究一般研究公募型
  • 2020/04 - 2023/03
  • 2019/04 - 2020/03
    • (PI) 複数の制約モデリングとSAT符号化を用いた新しいSAT型並列CSPソルバーの研究開発
    • 2019年度 国立情報学研究所共同研究一般研究公募型
  • 2019/08 - 2021/07
    • (PI) SAT技術を用いた非同期なオートマタネットワークにおけるアトラクタの計算
    • JSPS 二国間交流事業(共同研究) フランスとの共同研究(MEAE-MESRI) ``SAKURAプログラム''
  • 2016/04 - 2019/03
  • 2013/04 - 2016/03
  • 2014/04 - 2015/03
    • (PI) SAT技術を用いた教育機関のための高速な時間割システムの実現
    • 2014年度 国立情報学研究所共同研究一般研究公募型
  • 2013/04 - 2014/03
    • (PI) インクリメンタル解法を用いた高性能かつ高機能な制約 ASP ソルバーに関する研究
    • 2013年度 国立情報学研究所共同研究一般研究公募型
  • 2011/11 - 2012/03
    • (PI) グローバル調節ネットワークにおける因果関係と推論を用いた知識発見
    • 第2回融合研究シーズ探索
  • 2010/04 - 2012/03

競争的資金 (科研費・分担者)

競争的資金 (その他・分担者)

これまでに担当した授業

  • 情報基礎 (神戸大学・学部)
  • 言語工学 (神戸大学・学部)
  • ソフトウェア工学 (神戸大学・学部)
  • プログラミング言語論および演習：演習前半 (神戸大学・学部)
  • プログラミング言語特論 (神戸大学・大学院)
  • ソフトウェア科学特論2 (神戸大学・大学院)
  • Knowledge representation and processing (ポツダム大学, ドイツ・学部/大学院)
    • 日時: 2014年7月11日 12:15-13:15 の講義を担当
    • タイトル: Incremental SAT-based Method with Native Boolean Cardinality Handling for the Hamiltonian Cycle Problem
  • Introduction of Scala Programming Language (アルトワ大学, フランス・大学院)

専門的/学術的なサービス (国際)

  • International Joint Conferences on Artificial Intelligence (IJCAI)
    • PC member: 2017, 2020, 2021, 2022, 2023, 2024
  • Annual AAAI Conference on Artificial Intelligence (AAAI)
    • PC member: 2022
  • International Conference on Theory and Applications of Satisfiability Testing (SAT)
    • PC member: 2016, 2018, 2019, 2021, 2022
  • International Symposium on Combinatorial Search (SoCS)
    • PC member: 2021, 2022, 2023, 2024
  • International Workshop of Pragmatics of SAT (PoS)
    • PC member: 2015, 2017, 2019
  • Doctoral Consortium of International Conference on Logic Programming
    • PC member: 2014, 2015, 2016, 2017

専門的/学術的なサービス (国内)

  • 2019年04月 - 現在: 日本ソフトウェア科学会 編集委員
  • 2019年04月 - 2023年03月
    • 情報処理学会・プログラミング研究会 運営委員
    • 情報処理学会・論文誌プログラミング 編集委員
  • プログラミングおよびプログラミング言語ワークショップ
    • プログラム委員: 2015, 2017, 2022
  • 人工知能学会 全国大会 オーガナイズドセッション
    • SAT技術の理論，実装，応用
      • オーガナイザ: 2013, 2014, 2015, 2016
    • AIと制約プログラミング
      • オーガナイザ: 2021, 2022, 2023, 2024