• 研究課題をさがす
  • 研究者をさがす
  • KAKENの使い方
  1. 前のページに戻る

宋 剛秀  SOH TAKEHIDE

ORCIDORCID連携する *注記
研究者番号 00625121
その他のID
所属 (現在) 2020年度: 神戸大学, 情報基盤センター, 准教授
所属 (過去の研究課題情報に基づく) *注記 2020年度: 神戸大学, 情報基盤センター, 准教授
2018年度: 神戸大学, 情報基盤センター, 准教授
2014年度 – 2018年度: 神戸大学, 情報基盤センター, 助教
2013年度 – 2015年度: 神戸大学, 学内共同利用施設等, 助教
2012年度: 神戸大学, 情報基盤センター, 助教
審査区分/研究分野
研究代表者
ソフトウェア / 小区分60050:ソフトウェア関連
研究代表者以外
ソフトウェア / ソフトウエア / 小区分60050:ソフトウェア関連 / 学術変革領域研究区分(Ⅳ)
キーワード
研究代表者
制約プログラミング / SAT符号化 / SATソルバー / ハイブリッド符号化 / 制約充足問題 / 代謝パスウェイ / Elementary Mode / ハミルトン閉路 / ドメイン特化言語 / 命題論理 … もっと見る / SAT型制約プログラミングシステム / システム生物学 / グラフ上の組合せ問題 / 国際情報交換 / SAT技術 / 動的制約 / ハミルトン閉路問題 / 推論技術 / フランス / 順序符号化 / 対数符号化 / 情報システム / SAT (充足可能性判定問題) / CSP (制約充足問題) / MDD … もっと見る
研究代表者以外
制約プログラミング / 充足可能性判定問題 / 命題論理 / 解集合プログラミング / SATソルバー / SAT技術 / SAT / 情報システム / 多目的最適化 / 組合せ遷移 / 配電切替 / ゼロサプレス型二分決定グラフ 隠す
  • 研究課題

    (8件)
  • 研究成果

    (143件)
  • 共同研究者

    (11人)
  •  MDDを用いたSAT型CSPソルバーの高速化研究代表者継続中

    • 研究代表者
      宋 剛秀
    • 研究期間 (年度)
      2020 – 2022
    • 研究種目
      基盤研究(C)
    • 審査区分
      小区分60050:ソフトウェア関連
    • 研究機関
      神戸大学
  •  工学アプローチによる組合せ遷移の展開:配電切替を足がかりとして汎用ソルバーへ継続中

    • 研究代表者
      川原 純
    • 研究期間 (年度)
      2020 – 2022
    • 研究種目
      学術変革領域研究(B)
    • 審査区分
      学術変革領域研究区分(Ⅳ)
    • 研究機関
      京都大学
  •  先進的な知識表現および推論技術を基盤とした多目的最適化ソルバーの研究開発継続中

    • 研究代表者
      番原 睦則
    • 研究期間 (年度)
      2018 – 2020
    • 研究種目
      基盤研究(C)
    • 審査区分
      小区分60050:ソフトウェア関連
    • 研究機関
      名古屋大学
  •  ハイブリッド符号化を用いた高性能なSAT型制約プログラミングシステム研究代表者

    • 研究代表者
      宋 剛秀
    • 研究期間 (年度)
      2016 – 2018
    • 研究種目
      若手研究(B)
    • 研究分野
      ソフトウェア
    • 研究機関
      神戸大学
  •  SATを基盤とした新しい制約プログラミングシステムの研究開発

    • 研究代表者
      田村 直之
    • 研究期間 (年度)
      2016 – 2018
    • 研究種目
      基盤研究(B)
    • 研究分野
      ソフトウェア
    • 研究機関
      神戸大学
  •  SAT符号化を用いた制約解集合プログラミングに関する研究開発

    • 研究代表者
      番原 睦則
    • 研究期間 (年度)
      2015 – 2017
    • 研究種目
      基盤研究(C)
    • 研究分野
      ソフトウェア
    • 研究機関
      神戸大学
  •  代謝パスウェイ解析のための制約プログラミングシステムの研究開発研究代表者

    • 研究代表者
      宋 剛秀
    • 研究期間 (年度)
      2013 – 2015
    • 研究種目
      若手研究(B)
    • 研究分野
      ソフトウェア
    • 研究機関
      神戸大学
  •  命題論理の推論技術を用いた高性能かつ柔軟な制約プログラミングシステムの実現

    • 研究代表者
      田村 直之
    • 研究期間 (年度)
      2012 – 2014
    • 研究種目
      基盤研究(B)
    • 研究分野
      ソフトウエア
    • 研究機関
      神戸大学

すべて 2019 2018 2017 2016 2015 2014 2013 2012 その他

すべて 雑誌論文 学会発表

  • [雑誌論文] teaspoon: Solving the Curriculum-based Course Timetabling Problems with Answer Set Programming2019

    • 著者名/発表者名
      Mutsunori Banbara, Katsumi Inoue, Benjamin Kaufmann, Tenda Okimoto, Torsten Schaub, Takehide Soh, Naoyuki Tamura, Philipp Wanko
    • 雑誌名

      Annals of Operations Research

      巻: - ページ: 3-37

    • DOI

      10.1007/s10479-018-2757-7

    • 査読あり / オープンアクセスとしている / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-16K16036, KAKENHI-PROJECT-17H01790, KAKENHI-PROJECT-15K00099, KAKENHI-PROJECT-17H00763, KAKENHI-PROJECT-16H02803
  • [雑誌論文] SAT技術を用いたペトリネットのデッドロック検出手法の提案2018

    • 著者名/発表者名
      寸田 智也, 宋 剛秀, 番原 睦則, 田村 直之, 井上 克巳
    • 雑誌名

      情報処理学会論文誌

      巻: 59(9) ページ: 1749-1760

    • NAID

      170000149759

    • 査読あり
    • データソース
      KAKENHI-PROJECT-16H02803
  • [雑誌論文] SAT技術を用いたペトリネットのデッドロック検出手法の提案2018

    • 著者名/発表者名
      寸田智也, 宋剛秀, 番原睦則, 田村直之, 井上克巳
    • 雑誌名

      情報処理学会論文誌

      巻: 59(9) ページ: 1749-1760

    • NAID

      130007425532

    • 査読あり
    • データソース
      KAKENHI-PROJECT-18K11242
  • [雑誌論文] sCOP: SAT-based Constraint Programming System2018

    • 著者名/発表者名
      Takehide Soh, Daniel Le Berre, Mutsunori Banbara, Naoyuki Tamura
    • 雑誌名

      Proceedings of XCSP3 Competition 2018

      巻: なし ページ: 93-94

    • オープンアクセスとしている / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-16H02803
  • [雑誌論文] ブール基数制約を経由した擬似ブール制約のSAT符号化手法2018

    • 著者名/発表者名
      南雄之, 宋剛秀, 番原睦則, 田村直之
    • 雑誌名

      コンピュータ ソフトウェア

      巻: 35(3) 号: 3 ページ: 3_65-3_78

    • DOI

      10.11309/jssst.35.3_65

    • NAID

      130007487601

    • ISSN
      0289-6540
    • 言語
      日本語
    • 査読あり / オープンアクセスとしている
    • データソース
      KAKENHI-PROJECT-18K11242, KAKENHI-PROJECT-16H02803, KAKENHI-PROJECT-16K16036
  • [雑誌論文] SATソルバーの最新動向と利用技術2018

    • 著者名/発表者名
      宋 剛秀, 番原 睦則, 田村 直之, 鍋島 英知
    • 雑誌名

      コンピュータソフトウェア

      巻: 35(4) ページ: 72-92

    • NAID

      130007552525

    • 査読あり / オープンアクセスとしている
    • データソース
      KAKENHI-PROJECT-16K16036
  • [雑誌論文] SATソルバーの最新動向と利用技術2018

    • 著者名/発表者名
      宋 剛秀, 番原 睦則, 田村 直之, 鍋島 英知
    • 雑誌名

      コンピュータソフトウェア

      巻: 35(4) ページ: 72-92

    • NAID

      130007552525

    • 査読あり / オープンアクセスとしている
    • データソース
      KAKENHI-PROJECT-16H02803
  • [雑誌論文] sCOP: SAT-based Constraint Programming System2018

    • 著者名/発表者名
      Takehide Soh, Daniel Le Berre, Mutsunori Banbara, Naoyuki Tamura
    • 雑誌名

      Proceedings of XCSP3 Competition 2018

      巻: なし ページ: 93-94

    • オープンアクセスとしている / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-16K16036
  • [雑誌論文] SATソルバーの最新動向と利用技術2018

    • 著者名/発表者名
      宋 剛秀、番原 睦則、田村 直之、鍋島 英知
    • 雑誌名

      コンピュータ ソフトウェア

      巻: 35 号: 4 ページ: 72-92

    • DOI

      10.11309/jssst.35.72

    • NAID

      130007552525

    • ISSN
      0289-6540
    • 言語
      日本語
    • 査読あり
    • データソース
      KAKENHI-PROJECT-17K00300, KAKENHI-PROJECT-18K11242
  • [雑誌論文] SAT技術を用いたペトリネットのデッドロック検出手法の提案2018

    • 著者名/発表者名
      寸田 智也, 宋 剛秀, 番原 睦則, 田村 直之, 井上 克巳
    • 雑誌名

      情報処理学会論文誌

      巻: 59(9) ページ: 1749-1760

    • NAID

      130007425532

    • 査読あり
    • データソース
      KAKENHI-PROJECT-16K16036
  • [雑誌論文] catnap: Generating Test Suites of Constrained Combinatorial Testing with Answer Set Programming2017

    • 著者名/発表者名
      Mutsunori Banbara, Katsumi Inoue, Hiromasa Kaneyuki, Tenda Okimoto, Torsten Schaub, Takehide Soh, Naoyuki Tamura
    • 雑誌名

      In: Proceedings of the 14th International Conference on Logic Programming and Non-monotonic Reasoning (LPNMR 2017), Lecture Notes in Computer Science

      巻: 10377 ページ: 265-278

    • DOI

      10.1007/978-3-319-61660-5_24

    • 査読あり / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-16K16036, KAKENHI-PROJECT-16H02803, KAKENHI-PROJECT-15K00099, KAKENHI-PROJECT-17H00763
  • [雑誌論文] 解集合プログラミングによるカリキュラムベース・コース時間割編成2017

    • 著者名/発表者名
      番原 睦則, 井上 克巳, ベンジャミン カウフマン, トルステン シャウブ, 宋 剛秀, 田村 直之, フィリップ ワンコ
    • 雑誌名

      第29回RAMPシンポジウム論文集

      巻: - ページ: 73-88

    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-16H02803
  • [雑誌論文] Solving Multiobjective Discrete Optimization Problems with Propositional Minimal Model Generation2017

    • 著者名/発表者名
      Takehide Soh, Mutsunori Banbara, Naoyuki Tamura, Daniel Le Berre
    • 雑誌名

      Proceedings of the 23rd International Conference on Principles and Practice of Constraint Programming (CP 2017)

      巻: 10416 ページ: 596-614

    • DOI

      10.1007/978-3-319-66158-2_38

    • 査読あり / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-16K16036, KAKENHI-PROJECT-16H02803, KAKENHI-PROJECT-15K00099
  • [雑誌論文] インクリメンタルSAT解法ライブラリとその応用2017

    • 著者名/発表者名
      迫龍哉, 宋剛秀, 番原睦則, 田村直之, 鍋島英知, 井上克巳
    • 雑誌名

      コンピュータ ソフトウェア

      巻: 33(4) 号: 4 ページ: 16-29

    • DOI

      10.11309/jssst.33.4_16

    • NAID

      130005290581

    • ISSN
      0289-6540
    • 年月日
      2017-01-14
    • 言語
      日本語
    • 査読あり / オープンアクセスとしている
    • データソース
      KAKENHI-PROJECT-26330248, KAKENHI-PROJECT-15K00099, KAKENHI-PROJECT-16K16036, KAKENHI-PROJECT-16H02803
  • [雑誌論文] 解集合プログラミングによるカリキュラムベース・コース時間割編成2017

    • 著者名/発表者名
      番原睦則, 井上克巳, ベンジャミン カウフマン, トルステン シャウブ, 宋剛秀, 田村直之, フィリップ ワンコ
    • 雑誌名

      第29回RAMPシンポジウム論文集

      巻: - ページ: 73-88

    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-16K16036
  • [雑誌論文] Proposal and Evaluation of Hybrid Encoding of CSP to SAT Integrating Order and Log Encodings2017

    • 著者名/発表者名
      Takehide Soh, Mutsunori Banbara, Naoyuki Tamura
    • 雑誌名

      International Journal on Artificial Intelligence Tools

      巻: 26(1)

    • DOI

      10.1142/s0218213017600053

    • NAID

      120006406719

    • 査読あり / オープンアクセスとしている
    • データソース
      KAKENHI-PROJECT-16K16036, KAKENHI-PROJECT-16H02803, KAKENHI-PROJECT-15K00099
  • [雑誌論文] SAT型制約プログラミングシステムと周辺技術2017

    • 著者名/発表者名
      宋剛秀, 番原睦則, 田村直之
    • 雑誌名

      コンピュータ ソフトウェア

      巻: 34(1) 号: 1 ページ: 1_67-1_80

    • DOI

      10.11309/jssst.34.1_67

    • NAID

      130006855237

    • ISSN
      0289-6540
    • 言語
      日本語
    • 査読あり / オープンアクセスとしている
    • データソース
      KAKENHI-PROJECT-15K00099, KAKENHI-PROJECT-16K16036, KAKENHI-PROJECT-16H02803
  • [雑誌論文] 解集合プログラミングによるカリキュラムベース・コース時間割編成2017

    • 著者名/発表者名
      番原睦則, 井上克巳, ベンジャミン カウフマン, トルステン シャウブ, 宋剛秀, 田村直之, フィリップ ワンコ
    • 雑誌名

      第29回RAMPシンポジウム論文集

      巻: - ページ: 73-88

    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-15K00099
  • [雑誌論文] teaspoon: Solving the Curriculum-Based Course Timetabling Problems with Answer Set Programming2016

    • 著者名/発表者名
      Mutsunori Banbara, Katsumi Inoue, Benjamin Kaufmann, Torsten Schaub, Takehide Soh, Naoyuki Tamura, and Philipp Wanko
    • 雑誌名

      Proceedings of the 11th International Conference on the Practice and Theory of Automated Timetabling (PATAT 2016)

      巻: - ページ: 13-32

    • 査読あり / 謝辞記載あり / オープンアクセスとしている / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-15K00099
  • [雑誌論文] teaspoon: Solving the Curriculum-Based Course Timetabling Problems with Answer Set Programming2016

    • 著者名/発表者名
      Mutsunori Banbara, Katsumi Inoue, Benjamin Kaufmann, Torsten Schaub, Takehide Soh, Naoyuki Tamura, and Philipp Wanko
    • 雑誌名

      Proceedings of the 11th International Conference on the Practice and Theory of Automated Timetabling (PATAT 2016)

      巻: なし

    • 査読あり / 謝辞記載あり / オープンアクセスとしている / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-16K16036
  • [雑誌論文] SATとパズル2016

    • 著者名/発表者名
      田村 直之, 宋 剛秀, 番原 睦則
    • 雑誌名

      情報処理

      巻: 57(8)

    • 査読あり
    • データソース
      KAKENHI-PROJECT-16H02803
  • [雑誌論文] SATとパズル2016

    • 著者名/発表者名
      田村直之, 宋剛秀, 番原睦則
    • 雑誌名

      情報処理

      巻: 57(8) ページ: 710-715

    • 査読あり
    • データソース
      KAKENHI-PROJECT-15K00099
  • [雑誌論文] Implementing Efficient All Solutions SAT Solvers2016

    • 著者名/発表者名
      Takahisa Toda, Takehide Soh
    • 雑誌名

      ACM Journal of Experimental Algorithmics

      巻: 21(1) ページ: 1-44

    • DOI

      10.1145/2975585

    • 査読あり / 謝辞記載あり / オープンアクセスとしている
    • データソース
      KAKENHI-PROJECT-15K00099, KAKENHI-PROJECT-16K16036, KAKENHI-PROJECT-26870011, KAKENHI-PROJECT-16H02803
  • [雑誌論文] teaspoon: Solving the Curriculum-Based Course Timetabling Problems with Answer Set Programming2016

    • 著者名/発表者名
      Mutsunori Banbara, Katsumi Inoue, Benjamin Kaufmann, Torsten Schaub, Takehide Soh, Naoyuki Tamura, and Philipp Wanko
    • 雑誌名

      Proceedings of the 11th International Conference on the Practice and Theory of Automated Timetabling (PATAT 2016)

      巻: -

    • 査読あり / オープンアクセスとしている / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-16H02803
  • [雑誌論文] SATとパズル2016

    • 著者名/発表者名
      田村直之, 宋剛秀, 番原睦則
    • 雑誌名

      情報処理

      巻: 57(8)

    • 査読あり
    • データソース
      KAKENHI-PROJECT-16K16036
  • [雑誌論文] aspartame: Solving Constraint Satisfaction Problems with Answer Set Programming2015

    • 著者名/発表者名
      Mutsunori Banbara, Martin Gebser, Katsumi Inoue, Max Ostrowski, Andrea Peano, Torsten Schaub, Takehide Soh, Naoyuki Tamura, and Matthias Weise
    • 雑誌名

      Proceedings of the 13th International Conference on Logic Programming and Non-monotonic Reasoning (LPNMR 2015)

      巻: LNAI9345 ページ: 112-126

    • DOI

      10.1007/978-3-319-23264-5_10

    • 査読あり / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-15K00099, KAKENHI-PROJECT-25730042
  • [雑誌論文] A Hybrid Encoding of CSP to SAT Integrating Order and Log Encodings2015

    • 著者名/発表者名
      Takehide Soh, Mutsunori Banbara, and Naoyuki Tamura
    • 雑誌名

      Proceedings of the 27th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2015)

      巻: - ページ: 421-428

    • DOI

      10.1109/ictai.2015.70

    • NAID

      40020657481

    • 査読あり
    • データソース
      KAKENHI-PROJECT-15K00099, KAKENHI-PROJECT-25730042
  • [雑誌論文] Incremental SAT-based Method with Native Boolean Cardinality Handling for the Hamiltonian Cycle Problem2014

    • 著者名/発表者名
      Takehide Soh, Daniel Le Berre, Stephanie Roussel, Mutsunori Banbara, Naoyuki Tamura
    • 雑誌名

      Proceedings of the 14th European Conference on Logics in Artificial Intelligence (JELIA 2014)

      巻: Vol.8761 ページ: 684-693

    • DOI

      10.1007/978-3-319-11558-0_52

    • 査読あり / 謝辞記載あり
    • データソース
      KAKENHI-PROJECT-24300007, KAKENHI-PROJECT-25730042
  • [雑誌論文] パッキング配列問題の制約モデリングとSAT符号化2014

    • 著者名/発表者名
      則武治樹, 番原睦則, 宋剛秀, 田村直之, 井上克巳
    • 雑誌名

      コンピュータ ソフトウェア

      巻: 31(1) 号: 1 ページ: 116-130

    • DOI

      10.11309/jssst.31.1_116

    • NAID

      130004549327

    • ISSN
      0289-6540
    • 言語
      日本語
    • 査読あり
    • データソース
      KAKENHI-PROJECT-24300007, KAKENHI-PROJECT-25730042
  • [雑誌論文] Answer Set Programming as a Modeling Language for Course Timetabling2013

    • 著者名/発表者名
      Mutsunori Banbara, Takehide Soh, Naoyuki Tamura, Katsumi Inoue and Torsten Schaub
    • 雑誌名

      Theory and Practice of Logic Programming

      巻: 13(4-5) ページ: 783-798

    • DOI

      10.1017/s1471068413000495

    • 査読あり
    • データソース
      KAKENHI-PROJECT-24300007, KAKENHI-PROJECT-25730042
  • [雑誌論文] Aspartame: Solving Constraint Satisfaction Problems with Answer Set Programming2013

    • 著者名/発表者名
      Mutsunori Banbara, Martin Gebser, Katsumi Inoue, Torsten Schaub, Takehide Soh, Naoyuki Tamura and Matthias Weise
    • 雑誌名

      Proceedings of the Sixth Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP 2013)

      巻: なし ページ: 33-48

    • 査読あり
    • データソース
      KAKENHI-PROJECT-25730042
  • [雑誌論文] Scarab : A Rapid Prototyping Tool for SAT-based Constraint Programming Systems (Tool Paper)2013

    • 著者名/発表者名
      Takehide Soh, Naoyuki Tamura, Mutsunori Banbara
    • 雑誌名

      Proceedings of the 16th International Conference on Theory and Applications of Satisfiability Testing (SAT 2013), LNCS, Springer

      巻: 掲載確定(掲載確定)

    • 査読あり
    • データソース
      KAKENHI-PROJECT-24300007
  • [雑誌論文] PBSugar: Compiling Pseudo-Boolean Constraints to SAT with Order Encoding2013

    • 著者名/発表者名
      Naoyuki Tamura, Mutsunori Banbara, and Takehide Soh
    • 雑誌名

      Proceedings of the 25th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2013)

      巻: なし ページ: 1020-1027

    • DOI

      10.1109/ictai.2013.153

    • 査読あり
    • データソース
      KAKENHI-PROJECT-24300007, KAKENHI-PROJECT-25730042
  • [雑誌論文] Scarab: A Rapid Prototyping Tool for SAT-based Constraint Programming Systems2013

    • 著者名/発表者名
      Takehide Soh, Naoyuki Tamura, and Mutsunori Banbara
    • 雑誌名

      Proceedings of the 16th International Conference on Theory and Applications of Satisfiability Testing (SAT 2013)

      巻: なし ページ: 429-436

    • DOI

      10.1007/978-3-642-39071-5_34

    • 査読あり
    • データソース
      KAKENHI-PROJECT-24300007, KAKENHI-PROJECT-25730042
  • [雑誌論文] Aspartame: Solving Constraint Satisfaction Problems with Answer Set Programming2013

    • 著者名/発表者名
      Mutsunori Banbara, Martin Gebser, Katsumi Inoue, Torsten Schaub, Takehide Soh, Naoyuki Tamura and Matthias Weise
    • 雑誌名

      Proceedings of the Sixth Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP 2013)

      巻: なし ページ: 33-48

    • 査読あり
    • データソース
      KAKENHI-PROJECT-24300007
  • [雑誌論文] Evaluation of the Prediction of Gene Knockout Effects by Minimal Pathway Enumeration2012

    • 著者名/発表者名
      Takehide Soh, Katsumi Inoue, Tomoya Baba, Toyoyuki Takada, Toshihiko Shiroishi
    • 雑誌名

      International Journal on Advances in Life Sciences

      巻: 4(3-4) ページ: 154-165

    • 査読あり
    • データソース
      KAKENHI-PROJECT-24300007
  • [学会発表] alldifferent制約のブール基数制約への符号化手法の提案とクイーングラフ彩色問題への応用2019

    • 著者名/発表者名
      大野周亮, 番原睦則, 宋剛秀, 田村 直之
    • 学会等名
      人工知能基本問題研究会(第109回)
    • データソース
      KAKENHI-PROJECT-18K11242
  • [学会発表] alldifferent制約のブール基数制約への符号化手法の提案とクイーングラフ彩色問題への応用2019

    • 著者名/発表者名
      大野 周亮, 番原 睦則, 宋 剛秀, 田村 直之
    • 学会等名
      人工知能学会 第109回人工知能基本問題研究会
    • データソース
      KAKENHI-PROJECT-16H02803
  • [学会発表] alldifferent制約のブール基数制約への符号化手法の提案とクイーングラフ彩色問題への応用2019

    • 著者名/発表者名
      大野 周亮, 番原 睦則, 宋 剛秀, 田村 直之
    • 学会等名
      人工知能学会 第109回人工知能基本問題研究会
    • データソース
      KAKENHI-PROJECT-16K16036
  • [学会発表] SATソルバーを用いた様相命題論理S4の充足可能性判定2018

    • 著者名/発表者名
      飯野 有軌, 田村 直之, 番原 睦則, 宋 剛秀
    • 学会等名
      日本ソフトウェア科学会 第35回大会
    • データソース
      KAKENHI-PROJECT-16H02803
  • [学会発表] 正規制約のSAT符号化とその性能評価2018

    • 著者名/発表者名
      生田 哲也, 田村 直之, 番原 睦則, 宋 剛秀
    • 学会等名
      日本ソフトウェア科学会 第35回大会
    • データソース
      KAKENHI-PROJECT-16H02803
  • [学会発表] sCOP: SAT-based Constraint Programming System2018

    • 著者名/発表者名
      Takehide Soh, Daniel Le Berre, Mutsunori Banbara, Naoyuki Tamura
    • 学会等名
      XCSP3 Competition 2018
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-18K11242
  • [学会発表] 正規制約のSAT符号化とその性能評価2018

    • 著者名/発表者名
      生田 哲也, 田村 直之, 番原 睦則, 宋 剛秀
    • 学会等名
      日本ソフトウェア科学会 第35回大会
    • データソース
      KAKENHI-PROJECT-16K16036
  • [学会発表] teaspoon: Solving the Curriculum-Based Course Timetabling Problems with Answer Set Programming2018

    • 著者名/発表者名
      Mutsunori Banbara, Katsumi Inoue, Benjamin Kaufmann, Tenda Okimoto, Torsten Schaub, Takehide Soh, Naoyuki Tamura, and Philipp Wanko
    • 学会等名
      The 28th International Conference on Automated Planning and Scheduling (ICAPS 2018)
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-18K11242
  • [学会発表] teaspoon: Solving the Curriculum-Based Course Timetabling Problems with Answer Set Programming2018

    • 著者名/発表者名
      Mutsunori Banbara, Katsumi Inoue, Benjamin Kaufmann, Tenda Okimoto, Torsten Schaub, Takehide Soh, Naoyuki Tamura, Philipp Wanko
    • 学会等名
      The 28th International Conference on Automated Planning and Scheduling (ICAPS 2018)
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-16H02803
  • [学会発表] teaspoon: Solving the Curriculum-Based Course Timetabling Problems with Answer Set Programming2018

    • 著者名/発表者名
      Mutsunori Banbara, Katsumi Inoue, Benjamin Kaufmann, Tenda Okimoto, Torsten Schaub, Takehide Soh, Naoyuki Tamura, Philipp Wanko
    • 学会等名
      The 28th International Conference on Automated Planning and Scheduling (ICAPS 2018)
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-16K16036
  • [学会発表] SATソルバーを用いた様相命題論理S4の充足可能性判定2018

    • 著者名/発表者名
      飯野 有軌, 田村 直之, 番原 睦則, 宋 剛秀
    • 学会等名
      日本ソフトウェア科学会 第35回大会
    • データソース
      KAKENHI-PROJECT-16K16036
  • [学会発表] ブール基数制約を経由した擬似ブール制約のSAT符号化手法2017

    • 著者名/発表者名
      南雄之, 宋剛秀, 番原睦則, 田村直之
    • 学会等名
      日本ソフトウェア科学会第34回大会
    • データソース
      KAKENHI-PROJECT-16K16036
  • [学会発表] SATソルバーの最新動向と利用技術 (PPL2017発表賞(一般の部)受賞)2017

    • 著者名/発表者名
      宋 剛秀, 田村 直之
    • 学会等名
      第19回プログラミングおよびプログラミング言語ワークショップ (PPL 2017)
    • データソース
      KAKENHI-PROJECT-16H02803
  • [学会発表] Diet-Sugar: ハイブリッドSAT符号化を実装したSAT型制約ソルバー2017

    • 著者名/発表者名
      宋剛秀,番原睦則,田村直之
    • 学会等名
      第58回プログラミング・シンポジウム
    • 発表場所
      ラフォーレ倶楽部伊東温泉湯の庭(静岡県・伊東市)
    • 年月日
      2017-01-06
    • データソース
      KAKENHI-PROJECT-15K00099
  • [学会発表] 制約充足問題のASP符号化に関する一考察2017

    • 著者名/発表者名
      坡山直樹, 番原睦則, 宋剛秀, 田村直之
    • 学会等名
      人工知能学会全国大会(第31回)
    • データソース
      KAKENHI-PROJECT-15K00099
  • [学会発表] Diet-Sugar: ハイブリッドSAT符号化を実装したSAT型制約ソルバー2017

    • 著者名/発表者名
      宋 剛秀,番原 睦則,田村 直之
    • 学会等名
      第58回プログラミング・シンポジウム
    • データソース
      KAKENHI-PROJECT-16H02803
  • [学会発表] 解集合プログラミングを用いた多層ナンバーリンクの解法2017

    • 著者名/発表者名
      坡山 直樹, 川原 征大, 迫 龍哉, 宋 剛秀, 番原 睦則, 田村 直之
    • 学会等名
      第19回プログラミングおよびプログラミング言語ワークショップ (PPL 2017)
    • データソース
      KAKENHI-PROJECT-16H02803
  • [学会発表] SAT技術を用いたペトリネットのデッドロック検出手法の提案2017

    • 著者名/発表者名
      寸田智也, 宋剛秀, 番原睦則, 田村直之
    • 学会等名
      人工知能学会全国大会(第31回)
    • データソース
      KAKENHI-PROJECT-15K00099
  • [学会発表] ブール基数制約を経由した擬似ブール制約のSAT符号化手法2017

    • 著者名/発表者名
      南 雄之, 宋 剛秀, 番原 睦則, 田村 直之
    • 学会等名
      日本ソフトウェア科学会第34回大会
    • データソース
      KAKENHI-PROJECT-16H02803
  • [学会発表] SAT型制約ソルバーを用いた3次元ナンバーリンクの解法2017

    • 著者名/発表者名
      寸田 智也, 南 雄之, 宋 剛秀, 田村 直之
    • 学会等名
      DAシンポジウム2017
    • データソース
      KAKENHI-PROJECT-16H02803
  • [学会発表] Diet-Sugar: ハイブリッドSAT符号化を実装したSAT型制約ソルバー2017

    • 著者名/発表者名
      宋剛秀,番原睦則,田村直之
    • 学会等名
      第58回プログラミング・シンポジウム
    • 発表場所
      ラフォーレ伊東 (静岡県・伊東市)
    • 年月日
      2017-01-06
    • データソース
      KAKENHI-PROJECT-16K16036
  • [学会発表] 解集合プログラミングを用いた多層ナンバーリンクの解法2017

    • 著者名/発表者名
      坡山直樹, 川原征大, 迫龍哉, 宋剛秀, 番原睦則, 田村直之
    • 学会等名
      第19回プログラミングおよびプログラミング言語ワークショップ (PPL 2017)
    • 発表場所
      華やぎの章 慶山 (山梨県・笛吹市)
    • 年月日
      2017-03-08
    • データソース
      KAKENHI-PROJECT-16K16036
  • [学会発表] SugarTracer: SAT型制約ソルバーSugarのトレースツール2017

    • 著者名/発表者名
      吉玉元和, 寸田智也, 南雄之, 宋剛秀, 番原睦則, 田村 直之
    • 学会等名
      第19回プログラミングおよびプログラミング言語ワークショップ (PPL 2017)
    • 発表場所
      華やぎの章 慶山 (山梨県・笛吹市)
    • 年月日
      2017-03-08
    • データソース
      KAKENHI-PROJECT-15K00099
  • [学会発表] ブール基数制約を経由した擬似ブール制約のSAT符号化法2017

    • 著者名/発表者名
      南雄之, 宋剛秀, 番原睦則, 田村直之
    • 学会等名
      人工知能基本問題研究会(第103回)
    • 発表場所
      湯布院公民館 (大分県・由布市)
    • 年月日
      2017-03-13
    • データソース
      KAKENHI-PROJECT-15K00099
  • [学会発表] SAT技術を用いたペトリネットのデッドロック検出手法の提案2017

    • 著者名/発表者名
      寸田智也, 宋剛秀, 番原睦則, 田村直之
    • 学会等名
      人工知能学会全国大会(第31回)
    • データソース
      KAKENHI-PROJECT-16K16036
  • [学会発表] 解集合プログラミングを用いた多層ナンバーリンクの解法2017

    • 著者名/発表者名
      坡山直樹, 川原征大, 迫龍哉, 宋剛秀, 番原睦則, 田村直之
    • 学会等名
      第19回プログラミングおよびプログラミング言語ワークショップ (PPL 2017)
    • 発表場所
      華やぎの章 慶山 (山梨県・笛吹市)
    • 年月日
      2017-03-08
    • データソース
      KAKENHI-PROJECT-15K00099
  • [学会発表] SAT型制約ソルバーを用いた3次元ナンバーリンクの解法2017

    • 著者名/発表者名
      寸田智也, 南雄之, 宋剛秀, 田村直之
    • 学会等名
      DAシンポジウム2017
    • データソース
      KAKENHI-PROJECT-16K16036
  • [学会発表] ブール基数制約を経由した擬似ブール制約のSAT符号化法2017

    • 著者名/発表者名
      南雄之, 宋剛秀, 番原睦則, 田村直之
    • 学会等名
      人工知能基本問題研究会(第103回)
    • 発表場所
      湯布院公民館 (大分県・由布市)
    • 年月日
      2017-03-13
    • データソース
      KAKENHI-PROJECT-16K16036
  • [学会発表] SugarTracer: SAT型制約ソルバーSugarのトレースツール2017

    • 著者名/発表者名
      吉玉 元和, 寸田 智也, 南 雄之, 宋 剛秀, 番原 睦則, 田村 直之
    • 学会等名
      第19回プログラミングおよびプログラミング言語ワークショップ (PPL 2017)
    • データソース
      KAKENHI-PROJECT-16H02803
  • [学会発表] SATソルバーの最新動向と利用技術2017

    • 著者名/発表者名
      宋剛秀, 田村直之
    • 学会等名
      第19回プログラミングおよびプログラミング言語ワークショップ (PPL 2017)
    • 発表場所
      華やぎの章 慶山 (山梨県・笛吹市)
    • 年月日
      2017-03-08
    • データソース
      KAKENHI-PROJECT-15K00099
  • [学会発表] SATソルバーの使い方 ―問題をSATに符号化する方法―2017

    • 著者名/発表者名
      田村直之, 宋剛秀, 番原睦則
    • 学会等名
      第58回プログラミング・シンポジウム
    • 発表場所
      ラフォーレ倶楽部伊東温泉湯の庭(静岡県・伊東市)
    • 年月日
      2017-01-06
    • データソース
      KAKENHI-PROJECT-15K00099
  • [学会発表] 制約充足問題のASP符号化に関する一考察2017

    • 著者名/発表者名
      坡山直樹, 番原睦則, 宋剛秀, 田村直之
    • 学会等名
      人工知能学会全国大会(第31回)
    • データソース
      KAKENHI-PROJECT-16K16036
  • [学会発表] ブール基数制約を経由した擬似ブール制約のSAT符号化手法2017

    • 著者名/発表者名
      南雄之, 宋剛秀, 番原睦則, 田村直之
    • 学会等名
      日本ソフトウェア科学会第34回大会
    • データソース
      KAKENHI-PROJECT-15K00099
  • [学会発表] ブール基数制約を経由した擬似ブール制約のSAT符号化法2017

    • 著者名/発表者名
      南 雄之, 宋 剛秀, 番原 睦則, 田村 直之
    • 学会等名
      人工知能基本問題研究会(第103回)
    • データソース
      KAKENHI-PROJECT-16H02803
  • [学会発表] SugarTracer: SAT型制約ソルバーSugarのトレースツール2017

    • 著者名/発表者名
      吉玉元和, 寸田智也, 南雄之, 宋剛秀, 番原睦則, 田村 直之
    • 学会等名
      第19回プログラミングおよびプログラミング言語ワークショップ (PPL 2017)
    • 発表場所
      華やぎの章 慶山 (山梨県・笛吹市)
    • 年月日
      2017-03-08
    • データソース
      KAKENHI-PROJECT-16K16036
  • [学会発表] 制約充足問題のASP符号化に関する一考察2017

    • 著者名/発表者名
      坡山 直樹, 番原 睦則, 宋 剛秀, 田村 直之
    • 学会等名
      第31回人工知能学会全国大会
    • データソース
      KAKENHI-PROJECT-16H02803
  • [学会発表] SATソルバーの使い方 ―問題をSATに符号化する方法―2017

    • 著者名/発表者名
      田村直之, 宋剛秀, 番原睦則
    • 学会等名
      第58回プログラミング・シンポジウム
    • データソース
      KAKENHI-PROJECT-16H02803
  • [学会発表] SATソルバーの最新動向と利用技術 (PPL2017発表賞(一般の部)受賞)2017

    • 著者名/発表者名
      宋剛秀, 田村直之
    • 学会等名
      第19回プログラミングおよびプログラミング言語ワークショップ (PPL 2017)
    • 発表場所
      華やぎの章 慶山 (山梨県・笛吹市)
    • 年月日
      2017-03-08
    • データソース
      KAKENHI-PROJECT-16K16036
  • [学会発表] SAT技術を用いたペトリネットのデッドロック検出手法の提案2017

    • 著者名/発表者名
      寸田 智也, 宋 剛秀, 番原 睦則, 田村 直之
    • 学会等名
      人工知能学会全国大会(第31回)
    • データソース
      KAKENHI-PROJECT-16H02803
  • [学会発表] SATソルバーの使い方 ―問題をSATに符号化する方法―2017

    • 著者名/発表者名
      田村直之, 宋剛秀, 番原睦則
    • 学会等名
      第58回プログラミング・シンポジウム
    • 発表場所
      ラフォーレ伊東 (静岡県・伊東市)
    • 年月日
      2017-01-06
    • データソース
      KAKENHI-PROJECT-16K16036
  • [学会発表] SATソルバーを用いた部分グラフ探索のための制約モデル2016

    • 著者名/発表者名
      川原征大, 宋剛秀, 番原睦則, 田村直之
    • 学会等名
      2016年度 人工知能学会全国大会
    • 発表場所
      北九州国際会議場 (福岡県・北九州市)
    • 年月日
      2016-06-06
    • データソース
      KAKENHI-PROJECT-15K00099
  • [学会発表] SAT型制約ソルバーを用いた多層ナンバーリンクの解法2016

    • 著者名/発表者名
      寸田智也, 南雄之, 吉玉元和, 宋剛秀
    • 学会等名
      DAシンポジウム2016
    • 発表場所
      ゆのくに天祥 (石川県・加賀市)
    • 年月日
      2016-09-14
    • データソース
      KAKENHI-PROJECT-15K00099
  • [学会発表] 解集合プログラミングを用いた制約組合せテストケース生成2016

    • 著者名/発表者名
      兼行大将, 番原睦則, 宋剛秀, 田村直之, 井上克巳, 沖本天太
    • 学会等名
      第18回プログラミングおよびプログラミング言語ワークショップ (PPL 2016)
    • 発表場所
      ダイヤモンド瀬戸内マリンホテル(岡山県・玉野市)
    • 年月日
      2016-03-07
    • データソース
      KAKENHI-PROJECT-25730042
  • [学会発表] クラウド上のソフトウェア要素最適配置問題の解法2016

    • 著者名/発表者名
      田村直之, 井上克巳, 鍋島英知, 番原睦則, 宋剛秀
    • 学会等名
      人工知能基本問題研究会(第100回)
    • 発表場所
      熊本市民会館(熊本県・熊本市)
    • 年月日
      2016-03-27
    • データソース
      KAKENHI-PROJECT-25730042
  • [学会発表] SAT型制約ソルバーによるナンバーリンクの解法とその評価 (全国大会優秀賞受賞)2016

    • 著者名/発表者名
      迫龍哉, 川原征大, 宋剛秀, 番原睦則, 田村直之, 鍋島英知
    • 学会等名
      2016年度 人工知能学会全国大会
    • 発表場所
      北九州国際会議場 (福岡県・北九州市)
    • 年月日
      2016-06-06
    • データソース
      KAKENHI-PROJECT-16K16036
  • [学会発表] SAT技術を用いた正規ペトリネットのデッドロック検出手法の提案2016

    • 著者名/発表者名
      寸田智也, 宋剛秀, 番原睦則, 田村直之
    • 学会等名
      日本ソフトウェア科学会第33回大会
    • 発表場所
      東北大学 (宮城県・仙台市)
    • 年月日
      2016-09-06
    • データソース
      KAKENHI-PROJECT-15K00099
  • [学会発表] SATソルバーを用いた制約プログラミングシステムとその応用2016

    • 著者名/発表者名
      宋剛秀
    • 学会等名
      第57回プログラミング・シンポジウム
    • 発表場所
      ラフォーレ倶楽部伊東温泉湯の庭 (静岡県伊東市猪戸)
    • 年月日
      2016-01-08
    • データソース
      KAKENHI-PROJECT-15K00099
  • [学会発表] クラウド上のソフトウェア要素最適配置問題の解法2016

    • 著者名/発表者名
      田村直之, 井上克巳, 鍋島英知, 番原睦則, 宋剛秀
    • 学会等名
      人工知能基本問題研究会(第100回)
    • 発表場所
      熊本市民会館 (熊本県熊本市中央区桜町)
    • 年月日
      2016-03-27
    • データソース
      KAKENHI-PROJECT-15K00099
  • [学会発表] SAT型制約ソルバーを用いた多層ナンバーリンクの解法2016

    • 著者名/発表者名
      寸田智也, 南雄之, 吉玉元和, 宋剛秀
    • 学会等名
      DAシンポジウム2016
    • 発表場所
      ゆのくに天祥 (石川県・加賀市)
    • 年月日
      2016-09-14
    • データソース
      KAKENHI-PROJECT-16K16036
  • [学会発表] SAT技術を用いた正規ペトリネットのデッドロック検出手法の提案2016

    • 著者名/発表者名
      寸田 智也, 宋 剛秀, 番原 睦則, 田村 直之
    • 学会等名
      日本ソフトウェア科学会第33回大会
    • データソース
      KAKENHI-PROJECT-16H02803
  • [学会発表] 解集合プログラミングを用いた制約組合せテストケース生成2016

    • 著者名/発表者名
      兼行大将, 番原睦則, 宋剛秀, 田村直之, 井上克巳, 沖本天太
    • 学会等名
      第18回プログラミングおよびプログラミング言語ワークショップ (PPL 2016)
    • 発表場所
      ダイヤモンド瀬戸内マリンホテル(岡山県玉野市渋川)
    • 年月日
      2016-03-07
    • データソース
      KAKENHI-PROJECT-15K00099
  • [学会発表] 分子ネットワーク上の状態推定とその可視化による知識発見支援2016

    • 著者名/発表者名
      平沼祐人, 山本泰生, 守屋央朗, 宋剛秀, 岩沼宏治
    • 学会等名
      第45回バイオ情報学研究発表会
    • 発表場所
      北陸先端科学技術大学院大学(石川県・能美市)
    • 年月日
      2016-03-18
    • データソース
      KAKENHI-PROJECT-25730042
  • [学会発表] インクリメンタルSAT解法を用いた高速ナンバーリンクソルバー2016

    • 著者名/発表者名
      迫龍哉, 川原征大, 宋剛秀, 番原睦則, 田村直之, 鍋島英知
    • 学会等名
      第18回プログラミングおよびプログラミング言語ワークショップ (PPL 2016)
    • 発表場所
      ダイヤモンド瀬戸内マリンホテル(岡山県・玉野市)
    • 年月日
      2016-03-07
    • データソース
      KAKENHI-PROJECT-25730042
  • [学会発表] SAT型制約ソルバーによるナンバーリンクの解法とその評価2016

    • 著者名/発表者名
      迫龍哉, 川原征大, 宋剛秀, 番原睦則, 田村直之, 鍋島英知
    • 学会等名
      2016年度 人工知能学会全国大会
    • 発表場所
      北九州国際会議場 (福岡県・北九州市)
    • 年月日
      2016-06-06
    • データソース
      KAKENHI-PROJECT-15K00099
  • [学会発表] SATソルバーを用いた制約プログラミングシステムとその応用2016

    • 著者名/発表者名
      宋剛秀
    • 学会等名
      第57回プログラミング・シンポジウム
    • 発表場所
      ラフォーレ倶楽部伊東温泉湯の庭(静岡県・伊東市)
    • 年月日
      2016-01-08
    • データソース
      KAKENHI-PROJECT-25730042
  • [学会発表] SAT型制約ソルバーを用いた多層ナンバーリンクの解法2016

    • 著者名/発表者名
      寸田 智也, 南 雄之, 吉玉 元和, 宋 剛秀
    • 学会等名
      DAシンポジウム2016
    • データソース
      KAKENHI-PROJECT-16H02803
  • [学会発表] SAT型制約ソルバーによるナンバーリンクの解法とその評価 (全国大会優秀賞受賞)2016

    • 著者名/発表者名
      迫 龍哉, 川原 征大, 宋 剛秀, 番原 睦則, 田村 直之, 鍋島 英知
    • 学会等名
      2016年度 人工知能学会全国大会
    • データソース
      KAKENHI-PROJECT-16H02803
  • [学会発表] SAT技術を用いた正規ペトリネットのデッドロック検出手法の提案2016

    • 著者名/発表者名
      寸田智也, 宋剛秀, 番原睦則, 田村直之
    • 学会等名
      日本ソフトウェア科学会第33回大会
    • 発表場所
      東北大学 (宮城県・仙台市)
    • 年月日
      2016-09-06
    • データソース
      KAKENHI-PROJECT-16K16036
  • [学会発表] SATソルバーを用いた部分グラフ探索のための制約モデル2016

    • 著者名/発表者名
      川原 征大, 宋 剛秀, 番原 睦則, 田村 直之
    • 学会等名
      2016年度 人工知能学会全国大会
    • データソース
      KAKENHI-PROJECT-16H02803
  • [学会発表] SATソルバーを用いた部分グラフ探索のための制約モデル2016

    • 著者名/発表者名
      川原征大, 宋剛秀, 番原睦則, 田村直之
    • 学会等名
      2016年度 人工知能学会全国大会
    • 発表場所
      北九州国際会議場 (福岡県・北九州市)
    • 年月日
      2016-06-06
    • データソース
      KAKENHI-PROJECT-16K16036
  • [学会発表] インクリメンタルSAT解法を用いた高速ナンバーリンクソルバー2016

    • 著者名/発表者名
      迫龍哉, 川原征大, 宋剛秀, 番原睦則, 田村直之, 鍋島英知
    • 学会等名
      第18回プログラミングおよびプログラミング言語ワークショップ (PPL 2016)
    • 発表場所
      ダイヤモンド瀬戸内マリンホテル (岡山県玉野市渋川)
    • 年月日
      2016-03-07
    • データソース
      KAKENHI-PROJECT-15K00099
  • [学会発表] iSugar : インクリメンタルSAT解法が利用可能なSAT型制約ソルバー2015

    • 著者名/発表者名
      迫龍哉, 宋剛秀, 番原睦則, 田村直之, 鍋島英知, 井上克巳
    • 学会等名
      日本ソフトウェア科学会第32回大会
    • 発表場所
      早稲田大学西早稲田キャンパス(東京都新宿区大久保)
    • 年月日
      2015-09-09
    • データソース
      KAKENHI-PROJECT-15K00099
  • [学会発表] SATソルバーを用いた高速な部分グラフ探索ツールの実装と評価2015

    • 著者名/発表者名
      川原征大, 宋剛秀, 番原睦則, 田村直之
    • 学会等名
      日本ソフトウェア科学会第32回大会
    • 発表場所
      早稲田大学(東京都・新宿区)
    • 年月日
      2015-09-08
    • データソース
      KAKENHI-PROJECT-25730042
  • [学会発表] 組合せテストケース生成問題に対する制約解集合プログラミングの適用2015

    • 著者名/発表者名
      兼行大将, 番原睦則, 宋剛秀, 田村直之, 井上克巳
    • 学会等名
      2015年度人工知能学会全国大会(第29回)
    • 発表場所
      公立はこだて未来大学 (北海道函館市亀田中野町)
    • 年月日
      2015-05-30
    • データソース
      KAKENHI-PROJECT-15K00099
  • [学会発表] 制約充足問題のハイブリッド符号化に向けて2015

    • 著者名/発表者名
      宋剛秀, 佐古田淳史, 番原睦則, 田村直之
    • 学会等名
      人工知能学会 第97回人工知能基本問題研究会
    • 発表場所
      別府国際コンベンションセンター (大分県)
    • 年月日
      2015-03-22
    • データソース
      KAKENHI-PROJECT-25730042
  • [学会発表] 組合せテストケース生成問題に対する制約解集合プログラミングの適用2015

    • 著者名/発表者名
      兼行大将, 番原睦則, 宋剛秀, 田村直之, 井上克巳
    • 学会等名
      2015年度人工知能学会全国大会
    • 発表場所
      公立はこだて未来大学(北海道・函館市)
    • 年月日
      2015-05-30
    • データソース
      KAKENHI-PROJECT-25730042
  • [学会発表] 順序符号化と対数符号化を融合した制約充足問題のハイブリッド符号化2015

    • 著者名/発表者名
      宋剛秀, 番原睦則, 田村直之
    • 学会等名
      日本ソフトウェア科学会第32回大会
    • 発表場所
      早稲田大学(東京都・新宿区)
    • 年月日
      2015-09-08
    • データソース
      KAKENHI-PROJECT-25730042
  • [学会発表] iSugar : インクリメンタルSAT解法が利用可能なSAT型制約ソルバー2015

    • 著者名/発表者名
      迫龍哉, 宋剛秀, 番原睦則, 田村直之, 鍋島英知, 井上克巳
    • 学会等名
      日本ソフトウェア科学会第32回大会
    • 発表場所
      早稲田大学(東京都・新宿区)
    • 年月日
      2015-09-08
    • データソース
      KAKENHI-PROJECT-25730042
  • [学会発表] Scarab: 高度なSAT解法を利用可能な制約プログラミングシステム2015

    • 著者名/発表者名
      宋剛秀, 番原睦則, 田村直之
    • 学会等名
      第17回プログラミングおよびプログラミング言語ワークショップ (PPL 2015)
    • 発表場所
      道後プリンスホテル (愛媛県)
    • 年月日
      2015-03-04
    • データソース
      KAKENHI-PROJECT-24300007
  • [学会発表] SATソルバーを用いた高速な部分グラフ探索ツールの実装と評価2015

    • 著者名/発表者名
      川原征大, 宋剛秀, 番原睦則, 田村直之
    • 学会等名
      日本ソフトウェア科学会第32回大会
    • 発表場所
      早稲田大学西早稲田キャンパス(東京都新宿区大久保)
    • 年月日
      2015-09-09
    • データソース
      KAKENHI-PROJECT-15K00099
  • [学会発表] SAT型制約ソルバーによるナンバーリンクの求解と解の最適化2015

    • 著者名/発表者名
      迫龍哉, 川原征大, 田村直之, 番原睦則, 宋剛秀, 鍋島英知
    • 学会等名
      情報処理学会システムとLSIの設計技術研究会
    • 発表場所
      山代温泉ゆのくに天祥 (石川県加賀市山代温泉19-49-1)
    • 年月日
      2015-08-26
    • データソース
      KAKENHI-PROJECT-15K00099
  • [学会発表] 制約充足問題のハイブリッド符号化に向けて2015

    • 著者名/発表者名
      宋剛秀, 佐古田淳史, 番原睦則, 田村直之
    • 学会等名
      人工知能学会 第97回人工知能基本問題研究会
    • 発表場所
      別府国際コンベンションセンター (大分県)
    • 年月日
      2015-03-22
    • データソース
      KAKENHI-PROJECT-24300007
  • [学会発表] Scala 上に実現した生物の代謝パスウェイ解析用のドメイン特化言語について2015

    • 著者名/発表者名
      宋剛秀, 馬場知哉
    • 学会等名
      日本ソフトウェア科学会第32回大会
    • 発表場所
      早稲田大学(東京都・新宿区)
    • 年月日
      2015-09-08
    • データソース
      KAKENHI-PROJECT-25730042
  • [学会発表] Scarab: 高度なSAT解法を利用可能な制約プログラミングシステム2015

    • 著者名/発表者名
      宋剛秀, 番原睦則, 田村直之
    • 学会等名
      第17回プログラミングおよびプログラミング言語ワークショップ (PPL 2015)
    • 発表場所
      道後プリンスホテル (愛媛県)
    • 年月日
      2015-03-04
    • データソース
      KAKENHI-PROJECT-25730042
  • [学会発表] SATソルバーとそのアプリケーション開発について (SAT型制約ソルバー)2015

    • 著者名/発表者名
      宋剛秀
    • 学会等名
      第9回AIツール入門講座
    • 発表場所
      国立情報学研究所(東京都・千代田区)
    • 年月日
      2015-12-14
    • 招待講演
    • データソース
      KAKENHI-PROJECT-25730042
  • [学会発表] 順序符号化と対数符号化を融合した制約充足問題のハイブリッド符号化2015

    • 著者名/発表者名
      宋剛秀, 番原睦則, 田村直之
    • 学会等名
      日本ソフトウェア科学会第32回大会
    • 発表場所
      早稲田大学西早稲田キャンパス(東京都新宿区大久保)
    • 年月日
      2015-09-09
    • データソース
      KAKENHI-PROJECT-15K00099
  • [学会発表] SATソルバーと密に結合された制約プログラミングシステムScarabとハミルトン閉路問題への応用2014

    • 著者名/発表者名
      宋剛秀, Daniel Le Berre, Stéphanie Roussel, 番原睦則, 田村直之
    • 学会等名
      第28回人工知能学会全国大会
    • 発表場所
      ひめぎんホール (愛媛県)
    • 年月日
      2014-05-12
    • データソース
      KAKENHI-PROJECT-25730042
  • [学会発表] SATソルバーと密に結合された制約プログラミングシステムScarabとハミルトン閉路問題への応用2014

    • 著者名/発表者名
      宋剛秀, Daniel Le Berre, Stephanie Roussel, 番原睦則, 田村直之
    • 学会等名
      第28回人工知能学会全国大会
    • 発表場所
      ひめぎんホール (愛媛県)
    • 年月日
      2014-05-12
    • データソース
      KAKENHI-PROJECT-24300007
  • [学会発表] 登録後コース時間割問題の基数制約を用いた制約モデルとSATソルバーを用いた解法2014

    • 著者名/発表者名
      佐古田淳史, 宋剛秀, 番原睦則, 田村直之
    • 学会等名
      第28回人工知能学会全国大会
    • 発表場所
      ひめぎんホール (愛媛県)
    • 年月日
      2014-05-12
    • データソース
      KAKENHI-PROJECT-25730042
  • [学会発表] 制約解集合プログラミングシステムの設計方式に関する考察2014

    • 著者名/発表者名
      宋剛秀, 則武治樹, 番原睦則, 田村直之, 井上克巳
    • 学会等名
      日本ソフトウェア科学会第31回大会
    • 発表場所
      名古屋大学 (愛知県)
    • 年月日
      2014-09-08
    • データソース
      KAKENHI-PROJECT-24300007
  • [学会発表] 登録後コース時間割問題の基数制約を用いた制約モデルとSATソルバーを用いた解法2014

    • 著者名/発表者名
      佐古田淳史, 宋剛秀, 番原睦則, 田村直之
    • 学会等名
      第28回人工知能学会全国大会
    • 発表場所
      ひめぎんホール (愛媛県)
    • 年月日
      2014-05-12
    • データソース
      KAKENHI-PROJECT-24300007
  • [学会発表] Scala上で実現されたSAT型制約プログラミングシステムのための開発ツール2014

    • 著者名/発表者名
      宋剛秀, 番原睦則, 田村直之
    • 学会等名
      日本ソフトウェア科学会第31回大会
    • 発表場所
      名古屋大学 (愛知県)
    • 年月日
      2014-09-09
    • データソース
      KAKENHI-PROJECT-25730042
  • [学会発表] Incremental SAT-based Method with Native Boolean Cardinality Handling for the Hamiltonian Cycle Problem2014

    • 著者名/発表者名
      Takehide Soh, Daniel Le Berre, Stéphanie Roussel, Mutsunori Banbara, Naoyuki Tamura
    • 学会等名
      The 5th International Workshop on Pragmatics of SAT (PoS 2014)
    • 発表場所
      ウィーン工科大学 (オーストリア)
    • 年月日
      2014-07-13
    • データソース
      KAKENHI-PROJECT-25730042
  • [学会発表] Scala上で実現されたSAT型制約プログラミングシステムのための開発ツール2014

    • 著者名/発表者名
      宋剛秀, 番原睦則, 田村直之
    • 学会等名
      日本ソフトウェア科学会第31回大会
    • 発表場所
      名古屋大学 (愛知県)
    • 年月日
      2014-09-09
    • データソース
      KAKENHI-PROJECT-24300007
  • [学会発表] SAT型制約ソルバーを用いたナンバーリンクの解法2014

    • 著者名/発表者名
      田村直之, 宋剛秀, 番原睦則, 鍋島英知
    • 学会等名
      情報処理学会DAシンポジウム2014
    • 発表場所
      水明館 (岐阜県)
    • 年月日
      2014-08-29
    • データソース
      KAKENHI-PROJECT-24300007
  • [学会発表] Answer Set Programming as a Modeling Language for Course Timetabling2014

    • 著者名/発表者名
      Mutsunori Banbara, Takehide Soh, Naoyuki Tamura, Katsumi Inoue, Torsten Schaub
    • 学会等名
      第16回プログラミングおよびプログラミング言語ワークショップ (PPL 2014)
    • 発表場所
      阿蘇の司ビラパークホテル
    • データソース
      KAKENHI-PROJECT-25730042
  • [学会発表] SAT型制約ソルバーを用いたナンバーリンクの解法2014

    • 著者名/発表者名
      田村直之, 宋剛秀, 番原睦則, 鍋島英知
    • 学会等名
      DAシンポジウム2014
    • 発表場所
      水明館 (岐阜県)
    • 年月日
      2014-08-29
    • データソース
      KAKENHI-PROJECT-25730042
  • [学会発表] 制約解集合プログラミングシステムの設計方式に関する考察2014

    • 著者名/発表者名
      宋剛秀, 則武治樹, 番原睦則, 田村直之, 井上克巳
    • 学会等名
      日本ソフトウェア科学会第31回大会
    • 発表場所
      名古屋大学 (愛知県)
    • 年月日
      2014-09-08
    • データソース
      KAKENHI-PROJECT-25730042
  • [学会発表] Incremental SAT-based Method with Native Boolean Cardinality Handling for the Hamiltonian Cycle Problem2014

    • 著者名/発表者名
      Takehide Soh, Daniel Le Berre, Stephanie Roussel, Mutsunori Banbara, Naoyuki Tamura
    • 学会等名
      The 5th International Workshop on Pragmatics of SAT (PoS 2014)
    • 発表場所
      ウィーン工科大学 (オーストリア)
    • 年月日
      2014-07-13
    • データソース
      KAKENHI-PROJECT-24300007
  • [学会発表] System Architecture and Implementation of a Prototyping Tool for SAT-based Constraint Programming Systems2013

    • 著者名/発表者名
      Takehide Soh, Naoyuki Tamura, Mutsunori Banbara, Daniel Le Berre, and Stephanie Roussel
    • 学会等名
      The 4th International Workshop on Pragmatics of SAT (PoS 2013)
    • 発表場所
      University of Helsinki, Finland
    • データソース
      KAKENHI-PROJECT-25730042
  • [学会発表] パッキング配列問題の制約モデリングとSAT符号化2013

    • 著者名/発表者名
      則武治樹, 番原睦則, 宋剛秀, 田村直之, 井上克巳
    • 学会等名
      日本ソフトウェア科学会第30回大会
    • 発表場所
      東京大学
    • データソース
      KAKENHI-PROJECT-25730042
  • [学会発表] Scala 上で実現されたSAT型制約プログラミングシステムのための開発ツール Scarab について2013

    • 著者名/発表者名
      宋剛秀, 番原睦則, 田村直之, Daniel Le Berre, Stephanie Roussel
    • 学会等名
      日本ソフトウェア科学会第30回大会
    • 発表場所
      東京大学
    • データソース
      KAKENHI-PROJECT-25730042
  • [学会発表] SAT符号化を用いたパッキング配列の構成2013

    • 著者名/発表者名
      則武治樹,番原睦則、宋剛秀,田村直之,井上克巳
    • 学会等名
      第15回プログラミングおよびプログラミング言語ワークショップ(PPL 2013)
    • 発表場所
      会津若松市(福島県)
    • 年月日
      2013-03-05
    • データソース
      KAKENHI-PROJECT-24300007
  • [学会発表] 正方形詰込み問題の制約モデルとSAT符号化を用いた解法2013

    • 著者名/発表者名
      佐古田淳史, 宋剛秀, 番原睦則, 田村直之
    • 学会等名
      2013年度人工知能学会全国大会
    • 発表場所
      富山国際会議場
    • データソース
      KAKENHI-PROJECT-25730042
  • [学会発表] CSPSAT Projects and their SAT Related Tools2013

    • 著者名/発表者名
      Naoyuki Tamura, Takehide Soh, Mutsunori Banbara, and Katsumi Inoue
    • 学会等名
      The 16th International Conference on Theory and Applications of Satisfiability Testing (SAT 2013), Combined tool demo and poster session
    • 発表場所
      University of Helsinki, Finland
    • データソース
      KAKENHI-PROJECT-25730042
  • [学会発表] SAT型制約プログラミングシステムのための高速開発ツール2013

    • 著者名/発表者名
      宋 剛秀
    • 学会等名
      論理と推論の理論, 実装, 応用に関する合同セミナー
    • 発表場所
      北海道大学
    • データソース
      KAKENHI-PROJECT-25730042
  • [学会発表] Scarab: Scala上で実現されたSAT型制約プログラミングシステムのための高速開発ツール2013

    • 著者名/発表者名
      宋剛秀,田村直之,番原睦則
    • 学会等名
      第15回プログラミングおよびプログラミング言語ワークショップ(PPL 2013)
    • 発表場所
      会津若松市(福島県)
    • 年月日
      2013-03-05
    • データソース
      KAKENHI-PROJECT-24300007
  • [学会発表] PBSugar: Compiling Pseudo-Boolean Constraints to SAT with Order Encoding2013

    • 著者名/発表者名
      Naoyuki Tamura, Mutsunori Banbara, and Takehide Soh
    • 学会等名
      The 4th International Workshop on Pragmatics of SAT (PoS 2013)
    • 発表場所
      University of Helsinki, Finland
    • データソース
      KAKENHI-PROJECT-25730042
  • [学会発表] Towards In Crelnental SAT-based CSP Solving: experimental Results for the Hamiltonian Cycle Problem2012

    • 著者名/発表者名
      Takehlde Soh, Funakoshi Taisuke, Naoyuki Tamura, Mutsunori Banhara.
    • 学会等名
      The 2012 CRIL-Nil Collaborative Meeting on Reasoning about Dynamic Constraint Networks
    • 発表場所
      Universite d'Artois(France)
    • 年月日
      2012-11-23
    • データソース
      KAKENHI-PROJECT-24300007
  • [学会発表] (学生奨励賞受賞)カリキュラムベースのコース時間罰問題の擬似プール最適化問題への符号化2012

    • 著者名/発表者名
      鈴江美奈,田村直之,番原睦則,宋剛秀,鳩野逸生
    • 学会等名
      日本ソフトウェア科学会第29回大会
    • 発表場所
      法政大学(東京都)
    • 年月日
      2012-08-24
    • データソース
      KAKENHI-PROJECT-24300007
  • [学会発表] System Architecture and Implementation of a Prototyping Tool for SAT-based Constraint Programming Systems

    • 著者名/発表者名
      Takehide Soh, Naoyuki Tamura, Mutsunori Banbara, Daniel Le Berre, and Stéphanie Roussel
    • 学会等名
      The 4th International Workshop on Pragmatics of SAT (PoS 2013)
    • 発表場所
      University of Helsinki, Finland
    • データソース
      KAKENHI-PROJECT-24300007
  • [学会発表] PBSugar: Compiling Pseudo-Boolean Constraints to SAT with Order Encoding

    • 著者名/発表者名
      Naoyuki Tamura, Mutsunori Banbara, and Takehide Soh
    • 学会等名
      The 4th International Workshop on Pragmatics of SAT (PoS 2013)
    • 発表場所
      University of Helsinki, Finland
    • データソース
      KAKENHI-PROJECT-24300007
  • [学会発表] 正方形詰込み問題の制約モデルとSAT符号化を用いた解法

    • 著者名/発表者名
      佐古田淳史, 宋剛秀, 番原睦則, 田村直之
    • 学会等名
      2013年度人工知能学会全国大会
    • 発表場所
      富山国際会議場
    • データソース
      KAKENHI-PROJECT-24300007
  • [学会発表] パッキング配列問題の制約モデリングとSAT符号化

    • 著者名/発表者名
      則武治樹, 番原睦則, 宋剛秀, 田村直之, 井上克巳
    • 学会等名
      日本ソフトウェア科学会第30回大会
    • 発表場所
      東京大学
    • データソース
      KAKENHI-PROJECT-24300007
  • [学会発表] Answer Set Programming as a Modeling Language for Course Timetabling

    • 著者名/発表者名
      Mutsunori Banbara, Takehide Soh, Naoyuki Tamura, Katsumi Inoue, Torsten Schaub
    • 学会等名
      第16回プログラミングおよびプログラミング言語ワークショップ (PPL 2014)
    • 発表場所
      阿蘇の司ビラパークホテル
    • データソース
      KAKENHI-PROJECT-24300007
  • [学会発表] CSPSAT Projects and their SAT Related Tools

    • 著者名/発表者名
      Naoyuki Tamura, Takehide Soh, Mutsunori Banbara, and Katsumi Inoue
    • 学会等名
      The 16th International Conference on Theory and Applications of Satisfiability Testing (SAT 2013)
    • 発表場所
      University of Helsinki, Finland
    • データソース
      KAKENHI-PROJECT-24300007
  • [学会発表] Scala 上で実現されたSAT型制約プログラミングシステムのための開発ツール Scarab について

    • 著者名/発表者名
      宋剛秀, 番原睦則, 田村直之, Daniel Le Berre, Stéphanie Roussel
    • 学会等名
      日本ソフトウェア科学会第30回大会
    • 発表場所
      東京大学
    • データソース
      KAKENHI-PROJECT-24300007
  • 1.  田村 直之 (60207248)
    共同の研究課題数: 4件
    共同の研究成果数: 86件
  • 2.  番原 睦則 (80290774)
    共同の研究課題数: 4件
    共同の研究成果数: 82件
  • 3.  井上 克巳 (10252321)
    共同の研究課題数: 3件
    共同の研究成果数: 23件
  • 4.  鍋島 英知 (10334848)
    共同の研究課題数: 2件
    共同の研究成果数: 5件
  • 5.  丹生 智也 (40635067)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 6.  沖本 天太 (10632432)
    共同の研究課題数: 1件
    共同の研究成果数: 2件
  • 7.  川原 純 (20572473)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 8.  飯岡 大輔 (30377808)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 9.  戸田 貴久 (50451159)
    共同の研究課題数: 1件
    共同の研究成果数: 1件
  • 10.  鈴木 顕 (10723562)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 11.  照山 順一 (40709862)
    共同の研究課題数: 1件
    共同の研究成果数: 0件

URL: 

この研究者とORCID iDの連携を行いますか?
※ この処理は、研究者本人だけが実行できます。

サービス概要 検索マニュアル よくある質問 お知らせ 利用規程 科研費による研究の帰属

Powered by NII kakenhi