@Helsinki

SOH, Takehide
宋 剛秀
English Page | Japanese Page
Tamura Lab | CSPSAT | Scarab
経歴・実績 業績 ソフトウェア リンク メモ

1 プロフィールページ

2 最近の出来事と今後の予定

  • <2018-08-28 火> 受賞
  • <2017-09-06 水>
    • フランス国立科学研究センター (Centre national de la recherche scientifique; CNRS) の客員研究員として2018年9月までフランスの CRIL (Centre de Recherche en Informatique de Lens) に研究滞在し ます．
  • <2017-03-10 金> 受賞
    • 第19回プログラミングおよびプログラミング言語ワークショップ (PPL 2017) で{{{alert(PPL2017発表賞 (一般の部) }}}を受賞しました！(詳細)
  • <2016-09-20 火> 受賞
    • 日本ソフトウェア科学会 第20回研究論文賞（2015年度）を受賞しました (詳細)．
      • パッキング配列問題の制約モデリングとSAT符号化. コンピュータソフトウェア, 31(1):116-130, 2014.
  • <2015-10-21 水>
    • 第9回AIツールセミナーSATソルバーとそのアプリケーション開発についてで講師を務めます (詳細)．
      • 日時：12月14日（月）10:00〜17:00 予定
      • 場所：国立情報学研究所
      • 主催：人工知能学会
      • 詳細情報・お申し込みはこちら．
  • <2015-08-27 木> 受賞
    • iSugar+GlueMiniSatチームがDAシンポジウム2015において開催されたアルゴリズムデザインコンテストにおいて第1位となり最優秀賞を受賞しました．
    • さらに詳細が日経オンラインテクノロジーの記事で紹介されました．
      • 数から質へ、IC設計に通じるパズル解きコンテストが進化
  • <2015-07-23 木>
  • <2015-06-21 日>
  • <2014-12-10 水> 受賞
    • 日本ソフトウェア科学会・第31回大会高橋奨励賞を受賞しました！(詳細)

3 興味のある研究

  • SATやCSPとその応用
    • 充足可能性判定 (SAT) 問題
    • 制約充足問題 (CSP)
  • 制約プログラミング
  • システム生物，特に代謝パスウェイにおける知識発見

4 職歴

  • 2019/04 - 現在 神戸大学 情報基盤センター 准教授
  • 2012/04 - 2019/03 神戸大学 情報基盤センター 助教
  • 2017/09 - 2018/09 Centre National de la Recherche Scientifique; CNRS 客員研究員
  • 2011/10 - 2012/03 新領域融合研究センター, 融合プロジェクト特任研究員
  • 2010/04 - 2011/09 日本学術振興会特別研究員
  • 2008/04 - 2010/09 国立情報学研究所, リサーチアシスタント
  • 2006/04 - 2008/03 サントリー株式会社, 情報システム事業部

5 学歴

  • 2011/09 博士(情報学), 総合研究大学院大学 複合科学研究科 情報学専攻
  • 2006/03 修士(工学), 神戸大学大学院 自然科学研究科 電気電子工学専攻
  • 2004/03 学士(工学), 神戸大学 工学部 電気電子工学科

6 受賞歴

  1. 2019/08 日本ソフトウェア科学会 第7回解説論文賞 (2018年度)
  2. 2019/08 人工知能学会 2019年度(第33回) 全国大会優秀賞
  3. 2018/09 情報処理学会 2018 年度特選論文
  4. 2018/08 XCSP18 逐次CSPソルバー部門1位, 並列CSPソルバー部門1位
  5. 2017/03 PPL2017発表賞（一般の部） (日本ソフトウェア科学会 第19回プログラミングおよびプログラミング言語ワークショップ)
  6. 2016/03 日本ソフトウェア科学会 第20回研究論文賞
  7. 2015/08 アルゴリズムデザインコンテスト2015 最優秀賞 (DAシンポジウム2015) (日経オンラインテクノロジー記事)
  8. 2014/11 日本ソフトウェア科学会 第31回大会高橋奨励賞 (2014)
  9. 2014/08 アルゴリズムデザインコンテスト2014 最優秀賞 (DAシンポジウム2014・SWEST16) (日経テクノロジーオンライン記事)
  10. 2010/04 2010年度 総合研究大学院大学学長賞
  11. 2009/10 人工知能学会 2009年度全国大会優秀賞

7 招待講演

  • 2015/12/14 SATソルバーとそのアプリケーション開発について (SAT型制約ソルバー). 宋剛秀. 第9回AIツール入門講座, 国立情報学研究所, 19階会議室1901,1902,1903.

8 言語

  • 日本語 (ネイティブ), 英語 (TOEIC 905)

9 研究奨励金，競争的研究資金の獲得実績 (代表者)

(代表者)

  1. 2019/08 - 2021/07
    • (研究代表者) SAT技術を用いた非同期なオートマタネットワークにおけるアトラクタの計算 進行中
    • JSPS 二国間交流事業(共同研究) フランスとの共同研究(MEAE-MESRI) ``SAKURAプログラム''>
  2. 2019/04 - 2020/03
    • (研究代表者) 複数の制約モデリングとSAT符号化を用いた新しいSAT型並列CSPソルバーの研究開発 進行中
    • 平成31年度国立情報学研究所共同研究一般研究公募型
  3. 2016/04 - 2019/03
  4. 2013/04 - 2016/03
  5. 2014/04 - 2015/03
    • (研究代表者) SAT技術を用いた教育機関のための高速な時間割システムの実現
    • 平成26年度国立情報学研究所共同研究一般研究公募型
  6. 2013/04 - 2014/03
    • (研究代表者) インクリメンタル解法を用いた高性能かつ高機能な制約 ASP ソルバーに関する研究
    • 平成25年度国立情報学研究所共同研究一般研究公募型
  7. 2011/11 - 2012/03
    • (研究代表者) グローバル調節ネットワークにおける因果関係と推論を用いた知識発見
    • 融合研究シーズ探索
  8. 2010/04 - 2012/03
    • (研究代表者) SAT変換を用いた制約充足問題の解法とシステム生物学への応用
    • JSPS 特別研究員（DC2）-- 科学研究費補助金（特別研究員奨励金）
    • 2011年10月より所属機関変更・継続
    • (KAKEN) https://kaken.nii.ac.jp/ja/grant/KAKENHI-PROJECT-10J02321/

10 研究奨励金，競争的研究資金の獲得実績 (共同研究者・分担者 (科研費)))

(共同研究者・分担者 (科研費))

  1. 2018/04 - 2021/03
    • (研究分担者) 先進的な知識表現および推論技術を基盤とした多目的最適化ソルバーの研究開発 進行中
    • JSPS 科学研究費補助金基盤研究(C) (No.18K11242; 研究代表者：名古屋大学・番原睦則教授
    • (KAKEN) https://kaken.nii.ac.jp/ja/grant/KAKENHI-PROJECT-18K11242/
  2. 2016/04 - 2019/03
  3. 2015/04 - 2018/03
  4. 2012/04 - 2015/03

11 研究奨励金，競争的研究資金の獲得実績 (共同研究者・分担者 (NII共同研究))

(共同研究者・分担者 (NII共同研究))

  1. 2018/04 - 2019/03
    • (共同研究者) 背景理論付き解集合プログラミングに関する研究開発
    • 平成30年度国立情報学研究所共同研究戦略研究公募型 研究代表者：名古屋大学・番原睦則教授
    • 番原睦則, 井上克巳, 田村直之, 沖本天太, 宋剛秀, 坡山直樹, SCHAUB Torsten
  2. 2017/04 - 2018/03
    • (共同研究者) 背景理論付き解集合プログラミングに関する研究開発
    • 平成29年度国立情報学研究所共同研究戦略研究公募型 研究代表者：神戸大学・番原睦則准教授
    • 番原睦則, 井上克巳, 田村直之, 沖本天太, 宋剛秀, 坡山直樹, SCHAUB Torsten
  3. 2015/04 - 2016/03
    • (共同研究者) クラウド上のソフトウェア最適配置問題の解法
    • 平成27年度国立情報学研究所共同研究戦略研究公募型 研究代表者：神戸大学・田村直之教授
    • 田村直之, 井上克巳, 鍋島英知, 番原睦則, 宋剛秀, 川原正広, 迫龍哉, Le BERRE Daniel, Di COSMO Roberto
  4. 2015/04 - 2016/03
    • (共同研究者) 解集合プログラミングによるシステム検証
    • 平成27年度国立情報学研究所共同研究自由提案公募型 研究代表者：神戸大学・番原睦則准教授
    • 番原睦則, 井上克巳, 田村直之, 宋剛秀, SCHAUB Torsten
  5. 2012/04 - 2013/03
    • (共同研究者) SAT技術を用いた制約解集合プログラミングに関する研究
    • 平成24年度国立情報学研究所共同研究一般研究公募型 研究代表者：神戸大学・番原睦則准教授
    • 番原睦則, 井上克巳, 田村直之, 宋剛秀, 丹生智也
  6. 2011/04 - 2012/03
    • (共同研究者) SAT技術を用いた制約解集合プログラミングに関する研究
    • 平成23年度国立情報学研究所共同研究一般研究公募型 研究代表者：神戸大学・番原睦則准教授
    • 番原睦則, 井上克巳, 田村直之, 宋剛秀, 丹生智也
  7. 2010/04 - 2011/03
    • (共同研究者) 新しいSAT符号化法，新しいSATソルバー， 及び求解困難な問題への応用に関する研究
    • 平成22年度国立情報学研究所共同研究公募型 研究代表者：神戸大学・番原睦則准教授
    • 番原睦則, 井上克巳, 田村直之, 鍋島英知, 越村三幸, 宋剛秀, 丹生智也
  8. 2009/04 - 2010/03
    • (共同研究者) SAT変換技術の拡張による求解困難な制約最適化問題の解法に関する研究
    • 平成21年度国立情報学研究所共同研究公募型 研究代表者：神戸大学・田村直之教授
    • 田村直之, 井上克巳, 番原睦則, 鍋島英知, 越村三幸, 宋剛秀, 丹生智也
  9. 2008/04 - 2009/03
    • (共同研究者) 求解困難な制約最適化問題のSAT変換による解決に関する研究
    • 平成20年度国立情報学研究所共同研究公募型 研究代表者：神戸大学・田村直之教授
    • 田村直之, 井上克巳, 番原睦則, 平山勝敏, 岩沼宏治, 鍋島英知, 越村三幸, 宋剛秀
  10. 2005/04 - 2006/03
    • (共同研究者) 分散協調SATアルゴリズムの設計と実現に関する研究
    • 平成17年度国立情報学研究所共同研究企画型 研究代表者：国立情報学研究所・井上克巳教授
    • 井上克巳, 田村直之, 番原睦則, 平山勝敏, 宋剛秀
  11. 2004/04 - 2005/03
    • (共同研究者) 分散知能システムの基礎および実現に関する研究
    • 平成16年度国立情報学研究所共同研究企画型 研究代表者：国立情報学研究所・井上克巳教授
    • 井上克巳, 和田修, 田川聖治, 岩内英二, 岡本孝之, 山本秦生, 宋剛秀

12 (国際) 学会ならびに社会における活動

  1. 2019/07/07-12 International Conference on Theory and Applications of Satisfiability Testing (SAT 2019)
  2. 2019/07/08 International Workshop of Pragmatics of SAT (PoS 2019)
  3. 2018/07/09-12 International Conference on Theory and Applications of Satisfiability Testing (SAT 2018)
  4. 2017/08/28 International Workshop of Pragmatics of Constraint Reasoning (PoCR 2017)
  5. 2017/08/28 CP/ICLP/SAT Doctoral Program 2017
  6. 2016/07/05-08 International Conference on Theory and Applications of Satisfiability Testing (SAT 2016)
  7. 2016/10/18 12th Doctoral Consortium of International Conference on Logic Programming (ICLP-DC 2016)
  8. 2015/09/23 International Workshop of Pragmatics of SAT 2015 (PoS 2015)
  9. 2015/08/31 11th Doctoral Consortium of International Conference on Logic Programming (ICLP-DC 2015)
    • プログラム委員
  10. 2014/07/21 10th Doctoral Consortium of International Conference on Logic Programming (ICLP-DC 2014)
    • プログラム委員
  11. 2014/06/04-06 12th International Symposium on Functional and Logic Programming (FLOPS 2014)
  12. 2012/05/23-25 11th International Symposium on Functional and Logic Programming (FLOPS 2012), Kobe Japan.
  13. 2011/11/13-17 International Symposium on Symbolic Systems Biology (ISSSB' 11), Hayama Japan.
  14. 2009/09/21-25 3rd Franco-Japanese Symposium on Knowledge Discovery in Systems Biology (FJ'09), Corsica France
  15. 2008/10/30-11/03 2nd Franco-Japanese Symposium on Knowledge Discovery in Systems Biology (FJ'08), Takayama Japan

13 (国内) 学会ならびに社会における活動

  1. 2019/04/01- 日本ソフトウェア科学会
  2. 2019/04/01- 情報処理学会・プログラミング研究会
  3. 2019/04/01- 情報処理学会・論文誌プログラミング
  4. 2017/03/08-10 第19回プログラミングおよびプログラミング言語ワークショップ (PPL 2017)
  5. 2016/06/06-06/07 オーガナイズドセッション SAT技術の理論，実装，応用
  6. 2016/04 - 2019/03 人工知能学会 人工知能基本問題研究会
  7. 2015/05/31-06/02 オーガナイズドセッション SAT技術の理論，実装，応用
  8. 2015/03/04-06 第17回プログラミングおよびプログラミング言語ワークショップ (PPL 2015)
  9. 2014/05/12 オーガナイズドセッション SAT技術の理論，実装，応用
  10. 2013/06/05 オーガナイズドセッション SAT技術の理論，実装，応用

14 これまでに担当した授業

  • 情報基礎 (神戸大学・学部)
  • 言語工学 (神戸大学・学部)
  • プログラミング言語論および演習：演習前半 (神戸大学・学部)
  • プログラミング言語特論 (神戸大学・大学院)
  • Wissensrepräsentation und -verarbeitung (ポツダム大学, ドイツ・学部/大学院)
    • 日時: 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 (アルトワ大学, フランス・大学院)

Author: Takehide Soh

Created: 2019-09-05 木 13:02

Validate