宋 剛秀 (そう たけひで)

研究分野

• 充足可能性判定 (SAT) を含む制約充足問題とその応用
  
• システム生物学分野における知識発見
  

職歴

• 2011年10月 - 現在
  融合プロジェクト特任研究員, 新領域融合研究センター
• 2010年4月 - 2011年9月
  日本学術振興会特別研究員
• 2008年4月 - 2010年9月
  リサーチアシスタント, 国立情報学研究所
• 2006年4月 - 2008年3月
  情報システム事業部, サントリー株式会社

学歴

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

受賞歴

• 2010年度 総合研究大学院大学学長賞
• 人工知能学会 2009年度全国大会優秀賞

奨学金，研究奨励金の獲得実績

• 2010年4月～2011年9月
  日本学術振興会特別研究員（DC2）
• 2010年4月〜2012年3月
  科学研究費補助金（特別研究員奨励金）※2011年10月より所属機関変更・継続
• 2011年11月〜2012年3月
  融合研究シーズ探索 "グローバル調節ネットワークにおける因果関係と推論を用いた知識発見"
  提案代表者

学会ならびに社会における活動

• November 13 - 17, 2011
  Local Organizer,
  International Symposium on Symbolic Systems Biology (ISSSB' 11), Hayama Japan.
• September 21 - 25, 2009
  Program Chair,
  The 3rd Franco-Japanese Symposium on Knowledge Discovery in Systems Biology (FJ'09), Corsica France.
• October 30 - November 3, 2008
  Local Organizing Committee Member,
  The 2nd Franco-Japanese Symposium on Knowledge Discovery in Systems Biology (FJ'08), Takayama Japan.

言語

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

学位論文

1. Studies on Applying Incremental SAT Solving to Optimization and Enumeration Problems
   Takehide Soh
   School of Multidisciplinary Sciences, The Graduate University for Advanced Studies, Japan, September 2011.

学術論文誌

1. 高速SATソルバーの原理
   鍋島英知，宋剛秀
   解説論文，人工知能学会論文誌, 25(1):68-76, 2010.
2. A SAT-based Method for Solving the Two-dimensional Strip Packing Problem
   Takehide Soh, Katsumi Inoue, Naoyuki Tamura, Mutsunori Banbara, Hidetomo Nabeshima
   Fundamenta Informaticae, 102(3--4): 467--487, IOS Press, 2010.
3. A Competitive and Cooperative Approach to Propositional Satisfiability
   Katsumi Inoue, Takehide Soh, Seiji Ueda, Yoshito Sasaura, Mutsunori Banbara and Naoyuki Tamura
   Discrete Applied Mathematics, 154(16):2291-2306, Elsevier, 2006.

学会発表 (査読有り)

1. Predicting Gene Knockout Effects by Minimal Pathway Enumeration
   Takehide Soh, Katsumi Inoue, Tomoya Baba, Toyoyuki Takada and Toshihiko Shiroishi
   The 4th International Conference on Bioinformatics, Biocomputational Systems and Biotechnologies (BIOTECHNO 2012), accepted, 2012.
2. Analyzing Pathways using ASP-based Approaches
   Oliver Ray, Takehide Soh, and Katsumi Inoue
   In: Katsuhisa Horimoto, Masahiko Nakatsui, and Nikolaj Popov (eds.), Algebraic and Numeric Biology: Proceedings of the 2010 International Conference (ANB'10), Lecture Notes in Computer Science, Vol. 6479, to appear, Springer, 2011.
3. Identifying Necessary Reactions in Metabolic Pathways by Minimal Model Generation
   Takehide Soh and Katsumi Inoue
   The Sixth Conference on Prestigious Applications of Intelligent Systems (PAIS 2010), In the Proceedings of the 19th European Conference on Artificial Intelligence (ECAI 2010), pp.277-282, IOS Press, 2010.
4. Finding Minimal Reaction Sets in Large Metabolic Pathways
   Takehide Soh and Katsumi Inoue
   In the Proceedings of the Workshop on Constraint Based Methods for Bioinformatics (WCB 2010), pp.54-68, Edinburgh, 2010.
5. A SAT-based Method for Analyzing Metabolic Pathways
   Takehide Soh and Katsumi Inoue
   Poster presentation at: Systems Biochemistry 2010, University of York, 2010.
6. A SAT-based Method for Solving the Two-dimensional Strip Packing Problem
   Takehide Soh, Katsumi Inoue, Naoyuki Tamura, Mutsunori Banbara, Hidetomo Nabeshima
   In: Marco Gavanelli and Toni Mancini (eds.), Proceedings of The 15th RCRA workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion, No.16 (15 pages), CEUR Workshop Proceedings (CEUR-WS.org), Vol.451, 2008.
7. Lemma Reusing for SAT based Planning and Scheduling
   Hidetomo Nabeshima, Takehide Soh, Katsumi Inoue, and Koji Iwanuma
   In the proceedings of the International Conference on Automated Planning and Scheduling 2006 (ICAPS 2006), pages 103-112, AAAI Press, 2006.
8. Experimental Results for Solving Job-shop Scheduling Problems with Multiple SAT Solvers
   Takehide Soh, Katsumi Inoue, Mutsunori Banbara, and Naoyuki Tamura
   In the Proceedings of the 1st International Workshop on Distributed and Speculative Constraint Processing (held in conjunction with CP 2005), pages 25-38, Sitges Spain, October 1st 2005.

学会発表 (査読無し)

1. 極小活性パスウェイの列挙を用いた大腸菌における遺伝子欠損の影響予測
   宋剛秀, 井上克巳, 馬場知哉, 高田豊行, 城石俊彦
   情報処理学会研究報告, Vol.2012-ICS-165, No.7, pages 1-6, 2012.
2. Identifying Necessary Reactions in Metabolic Pathways by Minimal Model Generation
   Takehide Soh and Katsumi Inoue
   JFLI Workshop in Paris, Université Pierre et Marie Curie, Paris, 2010.
3. モデル生成を用いた代謝ネットワークにおける極小部分パスウェイの同定
   宋剛秀, 井上克巳
   人工知能学会第24回全国大会 (JSAI 2010), 人工知能学会, 2010.
4. An Implementation of Model-based Abduction and its Application to Systems Biology
   Takehide Soh and Katsumi Inoue
   The 3rd Franco-Japanese Symposium on Knowledge Discovery in Systems Biology (FJ'09), Bastia, France, 2009.
5. SAT 問題への変換を用いたフィードバックを含むパスウェイの解析
   宋剛秀, 井上克巳
   人工知能学会第23回全国大会 (JSAI 2009), 人工知能学会, 2009.
6. A SAT-based Approach for Analyzing Biochemical Pathways
   Takehide Soh and Katsumi Inoue
   The 2nd Franco-Japanese Symposium on Knowledge Discovery in Systems Biology (FJ'08), Takayama, Japan, 2008.
7. ショップ・スケジューリング問題のSAT変換による解法
   田村直之，多賀明子，番原睦則，宋剛秀，鍋島英知，井上克巳
   スケジューリング・シンポジウム2007, pages 97-102, スケジューリング学会，2007.
8. 効率的なSAT プランニングとSAT スケジューリングのための補題再利用
   鍋島英知, 宋剛秀, 井上克巳, 岩沼宏治
   電子情報通信学会技術研究報告, 106(38): 19-24, 信学技報, 2006.
9. 行列分割を用いたBlock Lanczos 法の改良
   宋剛秀, 桑門秀典, 森井昌克, 田中初一
   暗号と情報セキュリティシンポジウム予稿集, pages 40, 信学会情報セキュリティ研究専門委員会, 2006.
10. Dual-CPU 上におけるBlock Lanczos 法の並列実装
    宋剛秀, 桑門秀典, 森井昌克, 田中初一
    信学会ソサエティ大会, A-7-4, 電子情報通信学会, 2005.
11. 複数のSATソルバを用いたジョブショップスケジューリング問題の解法
    宋剛秀, 井上克巳
    信学技報, 104(133): 19-24, 電子情報通信学会技術研究報告, 2004.

Link

• 井上研究室
• Franco-Japanese Symposia

Notes

Contact

宋剛秀: soh at nii.ac.jp

Webmaster: 宋剛秀 (E-mail soh at nii.ac.jp)