宋 剛秀 (そう たけひで)

研究分野

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

学歴

• 現在
  博士後期課程学生, 総合研究大学院大学 複合科学研究科 情報学専攻.
• 2006年3月
  修士(工学), 神戸大学大学院 自然科学研究科 電気電子工学専攻.
• 2004年3月
  学士(工学)，神戸大学 工学部 電気電子工学科.

職歴

• 2008年4月 - 現在
  リサーチアシスタント, 国立情報学研究所.
• 2006年4月 - 2008年3月
  情報システム事業部, サントリー株式会社.

受賞歴

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

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

• 日本学術振興会特別研究員（DC2）平成22年4月～平成24年3月

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

• 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.

学術論文誌

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, IOS Press, (to appear).
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, Volume 154, Issue 16 (1 November 2006), pp.2291-2306.

学会発表 (査読有り)

1. Identifying Necessary Reactions in Metabolic Pathways by Minimal Model Generation
   Takehide Soh and Katsumi Inoue
   The Sixth Conference on Prestigious Applications of Intelligent Systems, Lisbon, 2010.
2. Finding Minimal Reaction Sets in Large Metabolic Pathways
   Takehide Soh and Katsumi Inoue
   Workshop on Constraint Based Methods for Bioinformatics (co-located with ICLP 2010), Edinburgh, 2010.
3. A SAT-based Method for Analyzing Metabolic Pathways
   Takehide Soh and Katsumi Inoue
   Poster presentation at: Systems Biochemistry 2010, University of York, 2010.
4. A SAT-based Method for Solving the Two-dimensional Strip Packing Problem
   Takehide Soh, Katsumi Inoue, Naoyuki Tamura, Mutsunori Banbara, Hidetomo Nabeshima
   The 15th RCRA workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion, Udine Italy, 12-13 December 2008.
5. 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.
6. 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. モデル生成を用いた代謝ネットワークにおける極小部分パスウェイの同定
   宋剛秀, 井上克巳
   人工知能学会全国大会, 長崎, 2010.
2. 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.
3. SAT 問題への変換を用いたフィードバックを含むパスウェイの解析
   宋剛秀, 井上克巳
   人工知能学会全国大会, 高松, 2009.
4. 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.
5. ショップ・スケジューリング問題のSAT変換による解法
   田村直之，多賀明子，番原睦則，宋剛秀，鍋島英知，井上克巳
   スケジューリング・シンポジウム2007, 京都大学，2007.
6. 効率的なSAT プランニングとSAT スケジューリングのための補題再利用
   鍋島英知, 宋剛秀, 井上克巳, 岩沼宏治
   電子情報通信学会技術研究報告, AI2006-4, pages 19-24, 信学技報, 2006.
7. 行列分割を用いたBlock Lanczos 法の改良
   宋剛秀, 桑門秀典, 森井昌克, 田中初一
   Symposium on Cryptography and Information Security (SCIS2006), pages 40, 2006.
8. Dual-CPU 上におけるBlock Lanczos 法の並列実装
   宋剛秀, 桑門秀典, 森井昌克, 田中初一
   電子情報通信学会ソサエティ大会, A-7-4, 2005.
9. 複数のSATソルバを用いたジョブショップスケジューリング問題の解法
   宋剛秀, 井上克巳
   電子情報通信学会技術研究報告, AI2004-4, pages 19-24, 信学技報, 2004.

Link

• 井上研究室
• Franco-Japanese Symposia

メモ

Contact

宋剛秀: soh at nii.ac.jp

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