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

田村 直之  TAMURA NAOYUKI

研究者番号 60207248
その他のID
  • ORCIDhttps://orcid.org/0000-0002-5466-1010
外部サイト
所属 (現在) 2020年度: 神戸大学, 情報基盤センター, 教授
所属 (過去の研究課題情報に基づく) *注記 2016年度 – 2018年度: 神戸大学, 情報基盤センター, 教授
2015年度: 神戸大学, 学内共同利用施設等, 教授
2010年度 – 2014年度: 神戸大学, 情報基盤センター, 教授
2003年度 – 2009年度: 神戸大学, 学術情報基盤センター, 教授
2005年度: 神戸大学, 学術基盤研究センター, 教授 … もっと見る
2003年度 – 2004年度: 神戸大学, 工学部, 教授
1997年度 – 2003年度: 神戸大学, 工学部, 助教授
1995年度: 神戸大学, 自然科学研究科, 助教授
1992年度 – 1994年度: 神戸大学, 工学部, 助教授
1989年度 – 1991年度: 神戸大学, 工学部, 講師 隠す
審査区分/研究分野
研究代表者
計算機科学 / ソフトウエア / 知能情報学 / ソフトウェア
研究代表者以外
計算機科学 / 幾何学 / 解析学 / 情報工学 / 知能情報学 / 工学基礎 / ソフトウエア / ソフトウェア / 小区分60050:ソフトウェア関連
キーワード
研究代表者
線形論理 / 制約プログラミング / 充足可能性判定問題 / 命題論理 / 論理型プログラミング言語 / 制約論理型プログラミング言語 / ファジィ論理 / 論理型言語 / 静的解析 / SAT … もっと見る / 制約最適化問題 / 並列処理・分散処理 / 計算機システム / 自動演繹 / 自動証明 / 定理証明 / Linear Logic / Automated Deduction / Automated Reasoning / Theorem Proving / 制約充足問題 / グリッド計算 / 並列計算 / 制約解消 / グリッド / Constraint Satisfaction Problems / Grid Computing / Parallel Computing / 情報システム / SATソルバー … もっと見る
研究代表者以外
Prolog / マルチエージェント / 線形論理 / 学習理論 / classical proof execution / Linear Logic / 数理論理学 / 論理的手法 / 形式仕様 / 形式検証 / 実時間システム / 証明論 / 解集合プログラミング / ソフトウェアプロセス / 論理プログラミング / 協調システム / マルチエージェントシステムソフトウェアプロセス / semiring / semimodule / lattice / injective / frame / cancellatuie / R-regular / quasi-order / 分布定数系 / 制御理論 / 同定問題 / 安定化理論 / フィードバック制御 / 検定問題 / ファジ-数 / プロログの言語 / 拡張Prolog言語 / 協調計算 / JAVA / データベースマシン / プロセッサアレイ / 知識ベース / 関係データベース / デ-タベ-スマシン / 知識ベ-ス / 関係デ-タベ-ス / デ-タ・ベ-スマシン / 関係ベ-タ・ベ-ス / data base machine / processor array / relational database / knowledge base / 分散協調処理 / エージェント / 場 / リ-クステーションネットワーク / ワークステーションネットワーク / 協調処理 / 並列処理 / Distributed computing / Multi-agent / Agent / Field / Workstation network / 形式的証明の開発 / 定理証明 / 論理情報の視覚化 / 古典論理証明の実行 / Curry-Howardの対応 / constructive programming / program verification / program logic / learning theory / 時相線形論理 / 時相論理 / 論理型言語 / 直観主義 / コンパイラ / 時相腺形論理 / Temporal Linear Logic / Temporal Logic / Logic Programming Language / Intuitionism / Compiler / inductive inference / 古典論理証明実行 / 形式的証明 / 形式的技法 / 極限計算 / 非構成的論理 / 非構成的原理 / Inductive inference / mathematical logic / Real Time Systems / Formal Specification / Formal Verification / Proof Search / 情報の流れ / 抽象設計論 / 不確定分類 / 不確定集合論ZF^± / 設計論 / Informatign flow / Abstract design theory / uncertain classification / set theory of uncertainty ZF^± / logical method / linear logic / formal specification / formal verification / real-time system / proof theory / 制約プログラミング / SAT技術 / SAT / 多目的最適化 隠す
  • 研究課題

    (23件)
  • 研究成果

    (179件)
  • 共同研究者

    (44人)
  •  先進的な知識表現および推論技術を基盤とした多目的最適化ソルバーの研究開発継続中

    • 研究代表者
      番原 睦則
    • 研究期間 (年度)
      2018 – 2020
    • 研究種目
      基盤研究(C)
    • 審査区分
      小区分60050:ソフトウェア関連
    • 研究機関
      名古屋大学
  •  SATを基盤とした新しい制約プログラミングシステムの研究開発研究代表者

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

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

    • 研究代表者
      田村 直之
    • 研究期間 (年度)
      2012 – 2014
    • 研究種目
      基盤研究(B)
    • 研究分野
      ソフトウエア
    • 研究機関
      神戸大学
  •  制約最適化問題のSAT変換による解法とその並列分散処理に関する研究研究代表者

    • 研究代表者
      田村 直之
    • 研究期間 (年度)
      2008 – 2011
    • 研究種目
      基盤研究(A)
    • 研究分野
      ソフトウエア
    • 研究機関
      神戸大学
  •  グリッド計算環境上で動作する並列制約解消システムに関する研究研究代表者

    • 研究代表者
      田村 直之
    • 研究期間 (年度)
      2005 – 2007
    • 研究種目
      基盤研究(C)
    • 研究分野
      知能情報学
    • 研究機関
      神戸大学
  •  充実期を迎えた線形論理の進化とその応用に関する研究

    • 研究代表者
      岡田 光弘
    • 研究期間 (年度)
      2003 – 2005
    • 研究種目
      基盤研究(B)
    • 研究分野
      ソフトウエア
    • 研究機関
      慶應義塾大学
  •  線形論理の自動演繹システムに関する研究研究代表者

    • 研究代表者
      田村 直之
    • 研究期間 (年度)
      2002 – 2004
    • 研究種目
      基盤研究(C)
    • 研究分野
      計算機科学
    • 研究機関
      神戸大学
  •  極限計算の論理とその応用

    • 研究代表者
      林 晋
    • 研究期間 (年度)
      2001 – 2003
    • 研究種目
      基盤研究(B)
    • 研究分野
      計算機科学
    • 研究機関
      神戸大学
  •  実時間システムに対する論理的仕様・検証言語の国際共同実装計画

    • 研究代表者
      岡田 光弘
    • 研究期間 (年度)
      2001 – 2003
    • 研究種目
      基盤研究(B)
    • 研究分野
      計算機科学
    • 研究機関
      慶應義塾大学
  •  抽象設計論の構築とその展開

    • 研究代表者
      角田 譲
    • 研究期間 (年度)
      2001 – 2002
    • 研究種目
      基盤研究(C)
    • 研究分野
      工学基礎
    • 研究機関
      神戸大学
  •  資源と時間の論理に基づいたプログラミング言語の設計と処理系の構築研究代表者

    • 研究代表者
      高橋 真, 田村 直之
    • 研究期間 (年度)
      1999 – 2000
    • 研究種目
      基盤研究(C)
    • 研究分野
      計算機科学
    • 研究機関
      神戸大学
  •  古典線形論理に基づいた論理型言語に関する研究研究代表者

    • 研究代表者
      田村 直之
    • 研究期間 (年度)
      1998
    • 研究種目
      特定領域研究(A)
    • 研究機関
      神戸大学
  •  マルチエージェントの協調による発展可能型ソフトウェアの実現

    • 研究代表者
      金田 悠紀夫
    • 研究期間 (年度)
      1998
    • 研究種目
      特定領域研究(A)
    • 研究機関
      神戸大学
  •  証明アニメーション(構成的プログラミンブによる証明テスト技法)

    • 研究代表者
      林 晋
    • 研究期間 (年度)
      1998 – 2000
    • 研究種目
      基盤研究(B)
    • 研究分野
      計算機科学
    • 研究機関
      神戸大学
  •  マルチエージェントの協調に基づく発展可能型ソフトウェアの具現化

    • 研究代表者
      金田 悠紀夫
    • 研究期間 (年度)
      1997
    • 研究種目
      重点領域研究
    • 研究機関
      神戸大学
  •  分布定数系の制御,観測,同定問題の理論的および数値解析的研究

    • 研究代表者
      中桐 信一
    • 研究期間 (年度)
      1994
    • 研究種目
      一般研究(C)
    • 研究分野
      解析学
    • 研究機関
      神戸大学
  •  ファジィ制約を取り扱うプログラミング言語についての研究研究代表者

    • 研究代表者
      田村 直之
    • 研究期間 (年度)
      1994
    • 研究種目
      一般研究(C)
    • 研究分野
      計算機科学
    • 研究機関
      神戸大学
  •  並列協調処理システム記述用言語処理系のワークステーション連結型並列計算機での実現

    • 研究代表者
      金田 悠紀夫
    • 研究期間 (年度)
      1994 – 1995
    • 研究種目
      一般研究(C)
    • 研究分野
      知能情報学
    • 研究機関
      神戸大学
  •  半加群のホモロジー代数

    • 研究代表者
      高橋 典大
    • 研究期間 (年度)
      1993
    • 研究種目
      一般研究(C)
    • 研究分野
      幾何学
    • 研究機関
      神戸大学
  •  論理プログラミングにおけるソフトウェア構成プロセスのモデル化に関する研究

    • 研究代表者
      金田 悠紀夫
    • 研究期間 (年度)
      1992
    • 研究種目
      重点領域研究
    • 研究機関
      神戸大学
  •  論理プログラミングにおけるソフトウェア構成プロセスのモデル化に関する研究

    • 研究代表者
      金田 悠紀夫
    • 研究期間 (年度)
      1991
    • 研究種目
      重点領域研究
    • 研究機関
      神戸大学
  •  一次元プロセッサアレイ型データ・ベースマシンの研究

    • 研究代表者
      金田 悠紀夫
    • 研究期間 (年度)
      1989 – 1990
    • 研究種目
      一般研究(C)
    • 研究分野
      情報工学
    • 研究機関
      神戸大学

すべて 2019 2018 2017 2016 2015 2014 2013 2012 2011 2010 2009 2008 2007 2006 2005 2004 2003 2002 その他

すべて 雑誌論文 学会発表

  • [雑誌論文] 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
  • [雑誌論文] 小特集「LSIの配線問題―DAシンポジウムの配線問題解法コンテスト」: SATを用いた解法2018

    • 著者名/発表者名
      松永 裕介,田村 直之
    • 雑誌名

      情報処理

      巻: 59(3) ページ: 232238-232238

    • データソース
      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-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-16H02803
  • [雑誌論文] SAT技術を用いたペトリネットのデッドロック検出手法の提案2018

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

      情報処理学会論文誌

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

    • NAID

      130007425532

    • 査読あり
    • データソース
      KAKENHI-PROJECT-18K11242
  • [雑誌論文] SATソルバーの最新動向と利用技術2018

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

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

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

    • DOI

      10.11309/jssst.35.72

    • NAID

      130007552525

    • ISSN
      0289-6540
    • 言語
      日本語
    • 査読あり
    • データソース
      KAKENHI-PROJECT-17K00300, KAKENHI-PROJECT-18K11242
  • [雑誌論文] 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

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

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

      巻: 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-16H02803
  • [雑誌論文] 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
  • [雑誌論文] 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
  • [雑誌論文] 解集合プログラミングによるカリキュラムベース・コース時間割編成2017

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

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

      巻: - ページ: 73-88

    • 国際共著/国際学会である
    • データソース
      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
  • [雑誌論文] 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
  • [雑誌論文] SATとパズル2016

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

      情報処理

      巻: 57(8)

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

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

      情報処理

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

    • 査読あり
    • データソース
      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-16H02803
  • [雑誌論文] 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
  • [雑誌論文] 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
  • [雑誌論文] 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
  • [雑誌論文] 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
  • [雑誌論文] 直観主義線形論理型言語LLPとそのコンパイラ処理系2013

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

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

      巻: 30 ページ: 83-89

    • NAID

      10031151476

    • 査読あり
    • データソース
      KAKENHI-PROJECT-24300007
  • [雑誌論文] 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
  • [雑誌論文] 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
  • [雑誌論文] 直観主義線形論理型言語LLPとそのコンパイラ処理系2013

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

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

      巻: 30(2) 号: 2 ページ: 2_83-2_89

    • DOI

      10.11309/jssst.30.2_83

    • NAID

      10031151476

    • ISSN
      0289-6540
    • 言語
      日本語
    • 査読あり
    • データソース
      KAKENHI-PROJECT-24300007
  • [雑誌論文] 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
  • [雑誌論文] 位取り記数法に基づく整数有限傾域上の制約充足問題のコンパクトかつ効率的なSAT符号化2013

    • 著者名/発表者名
      丹生智也,田村直之,番原睦則
    • 雑誌名

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

      巻: 30(1) ページ: 211-230

    • 査読あり
    • データソース
      KAKENHI-PROJECT-24300007
  • [雑誌論文] Azucar: A SAT-Based CSP Solver Using Compact Order Encoding2012

    • 著者名/発表者名
      Tomoya Tanjo, Naoyuki Tamura, Mutsunori Banbara
    • 雑誌名

      The 15th International Conference on Theory and Applications of Satisfiability Testing (SAT 2012), LNCS, Springer

      巻: 7317 ページ: 456-462

    • 査読あり
    • データソース
      KAKENHI-PROJECT-24300007
  • [雑誌論文] Scala上の制約プログラミング用ドメイン特化言語Coprisについて2012

    • 著者名/発表者名
      田村直之, 丹生智也, 番原睦則
    • 雑誌名

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

    • NAID

      130004549288

    • 査読あり
    • データソース
      KAKENHI-PROJECT-20240003
  • [雑誌論文] Generating Event-Sequence Test Cases by Answer Set Programming with Incidence Matrix2012

    • 著者名/発表者名
      Mutsunori Banbara
    • 雑誌名

      The 28th International Conference on Logic Programmimg(ICLP 2012)

      巻: LIPIcs 17 ページ: 86-97

    • DOI

      10.4230/LIPIcs.ICLP.2012.86

    • 言語
      英語
    • 査読あり
    • データソース
      KAKENHI-PROJECT-22700032, KAKENHI-PROJECT-24300007
  • [雑誌論文] 私のブックマーク:SATソルバー2012

    • 著者名/発表者名
      番原睦則, 田村直之, 井上克巳
    • 雑誌名

      人工知能学会誌

      巻: (掲載決定)

    • データソース
      KAKENHI-PROJECT-20240003
  • [雑誌論文] Scala上の制約プログラミング用ドメイン特化言語Coprisについて2012

    • 著者名/発表者名
      田村直之,丹生智也,番原睦則
    • 雑誌名

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

      巻: 29(4) ページ: 114-129

    • NAID

      130004549288

    • 査読あり
    • データソース
      KAKENHI-PROJECT-24300007
  • [雑誌論文] SAT符号化を用いた釣合い型不完備ブロック計画の構成2012

    • 著者名/発表者名
      松中春樹, 丹生智也, 番原睦則, 田村直之
    • 雑誌名

      人工知能学会論文誌

      巻: 27巻2号 号: 2 ページ: 10-15

    • DOI

      10.1527/tjsai.27.10

    • NAID

      130001878739

    • ISSN
      1346-0714, 1346-8030
    • 言語
      日本語
    • 査読あり
    • データソース
      KAKENHI-PROJECT-20240003, KAKENHI-PROJECT-22700032
  • [雑誌論文] A Compact and Efficient SAT-Encoding of Finite Domain CSP2011

    • 著者名/発表者名
      T. Tanjo, N. Tamura, M. Banbara
    • 雑誌名

      Proc of 14th Int' l Conf. on Theory and Applications of Satisfiability Testing(SAT 2011)

      ページ: 375-376

    • 査読あり
    • データソース
      KAKENHI-PROJECT-20240003
  • [雑誌論文] A Compact and Efficient SAT-Encoding of Finite Domain CSP2011

    • 著者名/発表者名
      Tomoya Tanjo, Naoyuki Tamura, Mutsunori Banbara
    • 雑誌名

      Proc.of 14th Int'l Conf.on Theory and Applications of Satisfiability Testing (SAT 2011)

      ページ: 375-376

    • DOI

      10.1007/978-3-642-21581-0_36

    • 査読あり
    • データソース
      KAKENHI-PROJECT-20240003
  • [雑誌論文] Proposal of a compact and efficient SAT encoding using a numeral system of any base2011

    • 著者名/発表者名
      Tomoya Tanjo, Naoyuki Tamura, Mutsunori Banbara
    • 雑誌名

      Proc.of 1st Int'l Workshop on the Cross-Fertilization Between CSP and SAT (CSPSAT 2011)

    • 査読あり
    • データソース
      KAKENHI-PROJECT-20240003
  • [雑誌論文] Generating Combinatorial Test Cases by Efficient SAT Encodings Suitable for CDCL SAT Solvers2010

    • 著者名/発表者名
      M.Banbara, H.Matsunaka, N.Tamura. K.Inoue
    • 雑誌名

      17th Int'l Conf. on Logic for Programming, Artificial Intelligence and Reasoning (LPAR-17)

      ページ: 112-126

    • 査読あり
    • データソース
      KAKENHI-PROJECT-20240003
  • [雑誌論文] A SAT-based Method for Solving the Two-dimensional Strip Packing Problem2010

    • 著者名/発表者名
      T. Soh, K. Inoue, N. Tamura, M. Banbara, H. Nabeshima
    • 雑誌名

      Fundamenta Informaticae

      巻: Vol.102 ページ: 467-487

    • 査読あり
    • データソース
      KAKENHI-PROJECT-20240003
  • [雑誌論文] SAT変換に基づく制約ソルバーとその性能評価2010

    • 著者名/発表者名
      田村直之, 丹生智也, 番原睦則
    • 雑誌名

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

      ページ: 183-196

    • NAID

      130004549193

    • 査読あり
    • データソース
      KAKENHI-PROJECT-20240003
  • [雑誌論文] A SAT-based Method for Solving the Two-dimensional Strip Packing Problem2010

    • 著者名/発表者名
      T.Soh, K.Inoue, N.Tamura, M.Banbara, H.Nabeshima
    • 雑誌名

      Fundamenta Informaticae Vol.102

      ページ: 467-487

    • 査読あり
    • データソース
      KAKENHI-PROJECT-20240003
  • [雑誌論文] 特集「最近のSAT技術の発展」にあたって2010

    • 著者名/発表者名
      井上克巳, 田村直之
    • 雑誌名

      人工知能学会誌 25・1

      ページ: 56-56

    • データソース
      KAKENHI-PROJECT-20240003
  • [雑誌論文] SAT変換に基づく制約ソルバーとその性能評価2010

    • 著者名/発表者名
      田村直之, 丹生智也, 番原睦則
    • 雑誌名

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

      巻: 27巻 ページ: 183-196

    • NAID

      130004549193

    • 査読あり
    • データソース
      KAKENHI-PROJECT-20240003
  • [雑誌論文] SATソルバーの基礎2010

    • 著者名/発表者名
      井上克巳, 田村直之
    • 雑誌名

      人工知能学会誌 25・1

      ページ: 57-67

    • データソース
      KAKENHI-PROJECT-20240003
  • [雑誌論文] A SAT-based Method for Solving the Two-dimensional Strip Packing Problem2010

    • 著者名/発表者名
      T.Soh, K.Inoue, N.Tamura, M.Banbara, H.Nabeshima
    • 雑誌名

      Fundamenta Informaticae

      巻: 102・3-4 ページ: 467-487

    • 査読あり
    • データソース
      KAKENHI-PROJECT-20240003
  • [雑誌論文] SATによるシステム検証2010

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

      人工知能学会誌 25・1

      ページ: 122-129

    • NAID

      120002736925

    • データソース
      KAKENHI-PROJECT-20240003
  • [雑誌論文] 制約最適化問題とSAT符号化2010

    • 著者名/発表者名
      田村直之, 丹生智也, 番原睦則
    • 雑誌名

      人工知能学会誌 25・1

      ページ: 77-85

    • データソース
      KAKENHI-PROJECT-20240003
  • [雑誌論文] Compiling Finite Linear CSP into SAT2009

    • 著者名/発表者名
      Naoyuki Tamura
    • 雑誌名

      Constraints Vol. 14, Issue 2

      ページ: 254-272

    • NAID

      120000944873

    • データソース
      KAKENHI-PROJECT-20240003
  • [雑誌論文] Compiling Finite Linear CSP into SAT2009

    • 著者名/発表者名
      N.Tamura, A.Taga, S.Kitagawa, M.Banbara
    • 雑誌名

      Constraints Vol.27

      ページ: 254-272

    • NAID

      120000944873

    • データソース
      KAKENHI-PROJECT-20240003
  • [雑誌論文] Compiling Finite Linear CSP into SAT2009

    • 著者名/発表者名
      N.Tamura, A.Taga, S.Kitagawa, M.Banbara
    • 雑誌名

      Constraints 14・2

      ページ: 254-272

    • NAID

      120000944873

    • 査読あり
    • データソース
      KAKENHI-PROJECT-20240003
  • [雑誌論文] Compiling Finite Linear CSP into SAT2009

    • 著者名/発表者名
      N. Tamura, A. Taga, S. Kitagawa, M. Banbara
    • 雑誌名

      Constraints

      巻: Vol.27 ページ: 254-272

    • NAID

      120000944873

    • 査読あり
    • データソース
      KAKENHI-PROJECT-20240003
  • [雑誌論文] Sugar: A CSP to SAT translator based on order encoding2008

    • 著者名/発表者名
      N. Tamura, M. Banbara
    • 雑誌名

      Proc. of the 2nd International CSP Solver Competition

      ページ: 65-69

    • 説明
      「研究成果報告書概要(欧文)」より
    • データソース
      KAKENHI-PROJECT-17500094
  • [雑誌論文] System Description of a SAT-based CSP Solver Sugar2008

    • 著者名/発表者名
      Naoyuki Tamura
    • 雑誌名

      Third International CSP Solver Competition

      ページ: 71-75

    • 査読あり
    • データソース
      KAKENHI-PROJECT-20240003
  • [雑誌論文] Sugar: A CSP to SAT Translator Based on Order Encoding2008

    • 著者名/発表者名
      Naoyuki Tamura
    • 雑誌名

      Proceedings of the Second International CSP Solver Competition

    • 説明
      「研究成果報告書概要(和文)」より
    • 査読あり
    • データソース
      KAKENHI-PROJECT-17500094
  • [雑誌論文] PrologからJavaへのトランスレータ処埋系とその応用2007

    • 著者名/発表者名
      番原睦則, 田村直之, 井上克己
    • 雑誌名

      コンピュータソフトウェア (印刷中)

    • データソース
      KAKENHI-PROJECT-17500094
  • [雑誌論文] Prolog to Java Translator System and its Application2007

    • 著者名/発表者名
      M. Banbara, N. Tamura, K. Inoue, A
    • 雑誌名

      Computer Software Vol. 24, No. 3

      ページ: 75-86

    • NAID

      110006366612

    • 説明
      「研究成果報告書概要(欧文)」より
    • データソース
      KAKENHI-PROJECT-17500094
  • [雑誌論文] Compiling Finite Linear CSP into SAT2006

    • 著者名/発表者名
      Naoyuki Tamura
    • 雑誌名

      Proceedings of the 12th International Conference on Principles Practice of Constraint Programming (CP 2006)

      ページ: 590-603

    • NAID

      120000944873

    • 説明
      「研究成果報告書概要(和文)」より
    • 査読あり
    • データソース
      KAKENHI-PROJECT-17500094
  • [雑誌論文] Prolog Cafe: A Pro-log to Java Translator System2006

    • 著者名/発表者名
      N. Tamura, M. Banbara
    • 雑誌名

      Journal of the Japanese Society for Artificial Intelligence Vol. 21, No. 4

      ページ: 1-8

    • 説明
      「研究成果報告書概要(欧文)」より
    • データソース
      KAKENHI-PROJECT-17500094
  • [雑誌論文] Prolog Cafe : Java上で動作するProlog処理系2006

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

      人工知能学会学会誌 21・4

      ページ: 1-8

    • データソース
      KAKENHI-PROJECT-17500094
  • [雑誌論文] A Competitive and Cooperative Approach to Propositional Satisfiability2006

    • 著者名/発表者名
      K.Inoue, K.Soh, S.Ueda, Y.Sasaura, M.Banbara, N.Tamura
    • 雑誌名

      Discrete Applied Mathematics 154・16

      ページ: 2291-2306

    • データソース
      KAKENHI-PROJECT-17500094
  • [雑誌論文] Compiling Finite Linear CSP into SAT2006

    • 著者名/発表者名
      N.Tamura 他
    • 雑誌名

      Proc. CP 2006

      ページ: 590-603

    • NAID

      120000944873

    • データソース
      KAKENHI-PROJECT-17500094
  • [雑誌論文] Compiling finite linear CSP into SAT2006

    • 著者名/発表者名
      N. Tamura, A. Taga, S., Kitagawa, M.M Ban-bara
    • 雑誌名

      Proc. of the 12th International Conference on Principles and Practice of Constraint Programming(CP 2006)

      ページ: 590-603

    • NAID

      120000944873

    • 説明
      「研究成果報告書概要(欧文)」より
    • データソース
      KAKENHI-PROJECT-17500094
  • [雑誌論文] Prolog Cafe : a Prolog to Java translator system2005

    • 著者名/発表者名
      M.Banbara, N.Tamura 他
    • 雑誌名

      Proc.INAP 2005

      ページ: 45-54

    • データソース
      KAKENHI-PROJECT-17500094
  • [雑誌論文] 線形論理型言語コンパイラ処理系を用いた古典命題線形論理の定理証明システム2005

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

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

      ページ: 98-103

    • NAID

      130005006638

    • 説明
      「研究成果報告書概要(和文)」より
    • データソース
      KAKENHI-PROJECT-14580375
  • [雑誌論文] A general method us-ing constraint programming techniques to apply local search to combinatorial optimization prob-lems containing OR constraints2005

    • 著者名/発表者名
      S. Olmishi, N. Tamura
    • 雑誌名

      Computer Software Vol. 22, No. 3

      ページ: 179-185

    • 説明
      「研究成果報告書概要(欧文)」より
    • データソース
      KAKENHI-PROJECT-17500094
  • [雑誌論文] OR制約を含む組合せ最適化問題に対する制約プログラミング技術を用いた汎用的局所探索の実現2005

    • 著者名/発表者名
      大西秀志, 田村直之
    • 雑誌名

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

      ページ: 179-185

    • NAID

      130005006573

    • データソース
      KAKENHI-PROJECT-17500094
  • [雑誌論文] Experimental results fir solving job-shop schedul-ing problems with multiple SAT solvers2005

    • 著者名/発表者名
      T. Soh, K. Inoue, M, I. Banbara, N. Tamura
    • 雑誌名

      Proc. of the 1st International Workshop on Distributed and Speculative Constraint Processing(DSCP05)

    • 説明
      「研究成果報告書概要(欧文)」より
    • データソース
      KAKENHI-PROJECT-17500094
  • [雑誌論文] Classical propositional linear logic theorem prover on a linear logic programming language compiler system2005

    • 著者名/発表者名
      N.Tamura, M.Banbara
    • 雑誌名

      A Proof Theory Workshop(Keio University)

    • NAID

      130005006638

    • 説明
      「研究成果報告書概要(欧文)」より
    • データソース
      KAKENHI-PROJECT-14580375
  • [雑誌論文] Classical propositional linear logic theorem prover on a linear logic programming language compiler system2005

    • 著者名/発表者名
      N.Tamura, M.Banbara
    • 雑誌名

      A Proof Theory Workshop, Keio University

    • NAID

      130005006638

    • 説明
      「研究成果報告書概要(和文)」より
    • データソース
      KAKENHI-PROJECT-14580375
  • [雑誌論文] a constraint solving system on the Grid2005

    • 著者名/発表者名
      M. Kawatani, M. Nakagawa, A. Shiga, S. Kita-gawa, S. Ohnishi, M. banhara, N. Tamura, i, Hecs
    • 雑誌名

      Proc. of the 16th International Conference on Applications of Declarative Programming anti Knowledge Management,(INAP 2005)

      ページ: 191-199

    • 説明
      「研究成果報告書概要(欧文)」より
    • データソース
      KAKENHI-PROJECT-17500094
  • [雑誌論文] Calc/Cream: OpenOffice spreadsheet front-end for constraint programming2005

    • 著者名/発表者名
      Naoyuki Tamura
    • 雑誌名

      {Lecture Notes in Computer Science 4369: Proceedings of the 16 International Conference on Applications of Declarative Programming and Knowledge Management (INAP 2005)

    • 説明
      「研究成果報告書概要(和文)」より
    • 査読あり
    • データソース
      KAKENHI-PROJECT-17500094
  • [雑誌論文] Inoue, Prolog Cafe: a Prolog to Java translator system2005

    • 著者名/発表者名
      M. Banbara, N. Tamura, K
    • 雑誌名

      Proc. of the 16th Internat.ional Conference on Applications of Declarative Programming and Knowledge Management(INAP 2005)

      ページ: 45-54

    • 説明
      「研究成果報告書概要(欧文)」より
    • データソース
      KAKENHI-PROJECT-17500094
  • [雑誌論文] Calc/Cream: OpenOffice spreadsheet front-end for constraint programming(invited tu-torial)2005

    • 著者名/発表者名
      N. Tamura
    • 雑誌名

      Proc. of the 16th International Conference on Applications of Declarative Programming and Knowledge Management(INAP 2005)

      ページ: 1-6

    • 説明
      「研究成果報告書概要(欧文)」より
    • データソース
      KAKENHI-PROJECT-17500094
  • [雑誌論文] g-Hecs : a constraint solving system on the Grid2005

    • 著者名/発表者名
      M.Banbara, N.Tamura 他
    • 雑誌名

      Proc.INAP 2005

      ページ: 191-199

    • データソース
      KAKENHI-PROJECT-17500094
  • [雑誌論文] Classical Propositional Linear Logic Theorem Prover on a Linear Logic Programming Language Compiler System2005

    • 著者名/発表者名
      N.Tamura, M.Banbara
    • 雑誌名

      Computer Software 22-1

      ページ: 98-103

    • NAID

      130005006638

    • 説明
      「研究成果報告書概要(欧文)」より
    • データソース
      KAKENHI-PROJECT-14580375
  • [雑誌論文] Calc/Cream : OpenOffice spreadsheet front-end for constraint programming (Invited Tutorial)2005

    • 著者名/発表者名
      Naoyuki Tamura
    • 雑誌名

      Proc.INAP 2005

      ページ: 1-6

    • データソース
      KAKENHI-PROJECT-17500094
  • [雑誌論文] 線形論理型言語コンパイラ処理系を用いた古典命題線形論理の定理証明システム2004

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

      日本ソフトウェア科学会第20回全国大会

    • NAID

      130005006638

    • データソース
      KAKENHI-PROJECT-14580375
  • [雑誌論文] Demonstration of Unsafe Time Condition Extraction for Train-Gate Controller2004

    • 著者名/発表者名
      N.Tamura, M.Banbara, et al.
    • 雑誌名

      Workshop on Proof Theory and its Applications(Keio University)

    • 説明
      「研究成果報告書概要(欧文)」より
    • データソース
      KAKENHI-PROJECT-14580375
  • [雑誌論文] Demonstration of Unsafe Time Condition Extraction for Train-Gate Controller2004

    • 著者名/発表者名
      N.Tamura, M.Banbara他
    • 雑誌名

      Proof Theory and its Applicationsに関する合同セミナー

    • データソース
      KAKENHI-PROJECT-14580375
  • [雑誌論文] Demonstration of Unsafe Time Condition Extraction for Train-Gate Controller2004

    • 著者名/発表者名
      N.Tamura, M.Banbara他
    • 雑誌名

      Workshop on Proof Theory and its Applications, Keio University

    • 説明
      「研究成果報告書概要(和文)」より
    • データソース
      KAKENHI-PROJECT-14580375
  • [雑誌論文] LLPTTP:線形論理型言語コンパイラ処理系を用いた定理証明システム2003

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

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

      ページ: 90-96

    • NAID

      130006949877

    • 説明
      「研究成果報告書概要(和文)」より
    • データソース
      KAKENHI-PROJECT-14580375
  • [雑誌論文] Demonstration of Compiler Systems for Linear Logic Programming Languages and their Applications2003

    • 著者名/発表者名
      M.Banbara, T.Tanizawa, N.Tamura
    • 雑誌名

      Workshop on Logic and Computation(Keio University)

    • 説明
      「研究成果報告書概要(欧文)」より
    • データソース
      KAKENHI-PROJECT-14580375
  • [雑誌論文] LLPTTP : Theorem Prover using Compiler of a Linear Logic Programming Language2003

    • 著者名/発表者名
      N.Tamura, M.Banbara
    • 雑誌名

      Computer Software 20-5

      ページ: 90-96

    • NAID

      130006949877

    • 説明
      「研究成果報告書概要(欧文)」より
    • データソース
      KAKENHI-PROJECT-14580375
  • [雑誌論文] Demonstration of Compiler Systems for Linear Logic Programming Languages and their Applications2003

    • 著者名/発表者名
      M.Banbara, T.Tanizawa, N.Tamura
    • 雑誌名

      Workshop on Logic and Computation, Keio University

    • 説明
      「研究成果報告書概要(和文)」より
    • データソース
      KAKENHI-PROJECT-14580375
  • [雑誌論文] Linear Logic and Logic Programming [Special Invited Paper]2002

    • 著者名/発表者名
      N.Tamura
    • 雑誌名

      Technical Report of the Institute of Electronics, Information and Communication Engineers 102-91

      ページ: 37-42

    • 説明
      「研究成果報告書概要(欧文)」より
    • データソース
      KAKENHI-PROJECT-14580375
  • [雑誌論文] [特別招待論文]線形論理と論理プログラミング2002

    • 著者名/発表者名
      田村直之
    • 雑誌名

      電子情報通信学会技術研究報告 102・91

      ページ: 37-42

    • 説明
      「研究成果報告書概要(和文)」より
    • データソース
      KAKENHI-PROJECT-14580375
  • [雑誌論文] A competitive and cooper-ative approach to propositional satisfiability -

    • 著者名/発表者名
      K. Inoue, T. Soh, S. Ueda, Y. S, sanra, M.M Ban-bara, N. Tamura
    • 雑誌名

      Discrete Applied Mathematics Vol. 154, No. 16

      ページ: 2291-2306

    • 説明
      「研究成果報告書概要(欧文)」より
    • データソース
      KAKENHI-PROJECT-17500094
  • [雑誌論文] A SAT-based Method for Solving the Two-dimensional Strip Packing Problem

    • 著者名/発表者名
      T.Soh, K.Inoue, N.Tamura, M.Banbara, H.Nabeshima
    • 雑誌名

      Jouranal of Algorithms in Cognition, Informatics and Logic (掲載確定)

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

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

    • 著者名/発表者名
      大野 周亮, 番原 睦則, 宋 剛秀, 田村 直之
    • 学会等名
      人工知能学会 第109回人工知能基本問題研究会
    • データソース
      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, and Philipp Wanko
    • 学会等名
      The 28th International Conference on Automated Planning and Scheduling (ICAPS 2018)
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-18K11242
  • [学会発表] sCOP: SAT-based Constraint Programming System2018

    • 著者名/発表者名
      Takehide Soh, Daniel Le Berre, Mutsunori Banbara, Naoyuki Tamura
    • 学会等名
      XCSP3 Competition 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
  • [学会発表] SATソルバーを用いた様相命題論理S4の充足可能性判定2018

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

    • 著者名/発表者名
      生田 哲也, 田村 直之, 番原 睦則, 宋 剛秀
    • 学会等名
      日本ソフトウェア科学会 第35回大会
    • データソース
      KAKENHI-PROJECT-16H02803
  • [学会発表] SAT技術を用いたペトリネットのデッドロック検出手法の提案2017

    • 著者名/発表者名
      寸田智也, 宋剛秀, 番原睦則, 田村直之
    • 学会等名
      人工知能学会全国大会(第31回)
    • データソース
      KAKENHI-PROJECT-15K00099
  • [学会発表] 制約充足問題のASP符号化に関する一考察2017

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

    • 著者名/発表者名
      田村直之, 宋剛秀, 番原睦則
    • 学会等名
      第58回プログラミング・シンポジウム
    • データソース
      KAKENHI-PROJECT-16H02803
  • [学会発表] ブール基数制約を経由した擬似ブール制約のSAT符号化法2017

    • 著者名/発表者名
      南雄之, 宋剛秀, 番原睦則, 田村直之
    • 学会等名
      人工知能基本問題研究会(第103回)
    • 発表場所
      湯布院公民館 (大分県・由布市)
    • 年月日
      2017-03-13
    • データソース
      KAKENHI-PROJECT-15K00099
  • [学会発表] 解集合プログラミングを用いた3次元ナンバーリンクソルバー2017

    • 著者名/発表者名
      坡山直樹, 飯野有軌, 番原睦則, 田村直之
    • 学会等名
      DAシンポジウム2017
    • データソース
      KAKENHI-PROJECT-15K00099
  • [学会発表] Diet-Sugar: ハイブリッドSAT符号化を実装したSAT型制約ソルバー2017

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

    • 著者名/発表者名
      坡山 直樹, 川原 征大, 迫 龍哉, 宋 剛秀, 番原 睦則, 田村 直之
    • 学会等名
      第19回プログラミングおよびプログラミング言語ワークショップ (PPL 2017)
    • データソース
      KAKENHI-PROJECT-16H02803
  • [学会発表] SATソルバーの使い方 ―問題をSATに符号化する方法―2017

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

    • 著者名/発表者名
      坡山 直樹, 番原 睦則, 宋 剛秀, 田村 直之
    • 学会等名
      第31回人工知能学会全国大会
    • データソース
      KAKENHI-PROJECT-16H02803
  • [学会発表] SAT技術を用いたペトリネットのデッドロック検出手法の提案2017

    • 著者名/発表者名
      寸田 智也, 宋 剛秀, 番原 睦則, 田村 直之
    • 学会等名
      人工知能学会全国大会(第31回)
    • データソース
      KAKENHI-PROJECT-16H02803
  • [学会発表] SugarTracer: SAT型制約ソルバーSugarのトレースツール2017

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

    • 著者名/発表者名
      南 雄之, 宋 剛秀, 番原 睦則, 田村 直之
    • 学会等名
      日本ソフトウェア科学会第34回大会
    • データソース
      KAKENHI-PROJECT-16H02803
  • [学会発表] Diet-Sugar: ハイブリッドSAT符号化を実装したSAT型制約ソルバー2017

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

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

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

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

    • 著者名/発表者名
      吉玉 元和, 寸田 智也, 南 雄之, 宋 剛秀, 番原 睦則, 田村 直之
    • 学会等名
      第19回プログラミングおよびプログラミング言語ワークショップ (PPL 2017)
    • データソース
      KAKENHI-PROJECT-16H02803
  • [学会発表] 解集合プログラミングを用いた3次元ナンバーリンクソルバー2017

    • 著者名/発表者名
      坡山 直樹, 飯野 有軌, 番原 睦則, 田村 直之
    • 学会等名
      DAシンポジウム2017
    • データソース
      KAKENHI-PROJECT-16H02803
  • [学会発表] SATソルバーの最新動向と利用技術2017

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

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

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

    • 著者名/発表者名
      寸田 智也, 宋 剛秀, 番原 睦則, 田村 直之
    • 学会等名
      日本ソフトウェア科学会第33回大会
    • データソース
      KAKENHI-PROJECT-16H02803
  • [学会発表] SAT技術を用いた正規ペトリネットのデッドロック検出手法の提案2016

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

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

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

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

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

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

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

    • 著者名/発表者名
      迫 龍哉, 川原 征大, 宋 剛秀, 番原 睦則, 田村 直之, 鍋島 英知
    • 学会等名
      2016年度 人工知能学会全国大会
    • データソース
      KAKENHI-PROJECT-16H02803
  • [学会発表] iSugar : インクリメンタルSAT解法が利用可能なSAT型制約ソルバー2015

    • 著者名/発表者名
      迫龍哉, 宋剛秀, 番原睦則, 田村直之, 鍋島英知, 井上克巳
    • 学会等名
      日本ソフトウェア科学会第32回大会
    • 発表場所
      早稲田大学西早稲田キャンパス(東京都新宿区大久保)
    • 年月日
      2015-09-09
    • データソース
      KAKENHI-PROJECT-15K00099
  • [学会発表] 制約充足問題のハイブリッド符号化に向けて2015

    • 著者名/発表者名
      宋剛秀, 佐古田淳史, 番原睦則, 田村直之
    • 学会等名
      人工知能学会 第97回人工知能基本問題研究会
    • 発表場所
      別府国際コンベンションセンター (大分県)
    • 年月日
      2015-03-22
    • データソース
      KAKENHI-PROJECT-24300007
  • [学会発表] SAT型制約ソルバーによるナンバーリンクの求解と解の最適化2015

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

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

    • 著者名/発表者名
      兼行大将, 番原睦則, 宋剛秀, 田村直之, 井上克巳
    • 学会等名
      2015年度人工知能学会全国大会(第29回)
    • 発表場所
      公立はこだて未来大学 (北海道函館市亀田中野町)
    • 年月日
      2015-05-30
    • データソース
      KAKENHI-PROJECT-15K00099
  • [学会発表] Scarab: 高度なSAT解法を利用可能な制約プログラミングシステム2015

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

    • 著者名/発表者名
      川原征大, 宋剛秀, 番原睦則, 田村直之
    • 学会等名
      日本ソフトウェア科学会第32回大会
    • 発表場所
      早稲田大学西早稲田キャンパス(東京都新宿区大久保)
    • 年月日
      2015-09-09
    • データソース
      KAKENHI-PROJECT-15K00099
  • [学会発表] 登録後コース時間割問題の基数制約を用いた制約モデルとSATソルバーを用いた解法2014

    • 著者名/発表者名
      佐古田淳史, 宋剛秀, 番原睦則, 田村直之
    • 学会等名
      第28回人工知能学会全国大会
    • 発表場所
      ひめぎんホール (愛媛県)
    • 年月日
      2014-05-12
    • データソース
      KAKENHI-PROJECT-24300007
  • [学会発表] SAT Solver and its Application to Combinatorial Problems2014

    • 著者名/発表者名
      田村直之
    • 学会等名
      実験計画法およびその周辺の組合せ構造 2014
    • 発表場所
      城崎国際アートセンター (兵庫県)
    • 年月日
      2014-12-14
    • 招待講演
    • データソース
      KAKENHI-PROJECT-24300007
  • [学会発表] Scala上で実現されたSAT型制約プログラミングシステムのための開発ツール2014

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

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

    • 著者名/発表者名
      宋剛秀, 則武治樹, 番原睦則, 田村直之, 井上克巳
    • 学会等名
      日本ソフトウェア科学会第31回大会
    • 発表場所
      名古屋大学 (愛知県)
    • 年月日
      2014-09-08
    • データソース
      KAKENHI-PROJECT-24300007
  • [学会発表] 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
  • [学会発表] SATソルバーと密に結合された制約プログラミングシステムScarabとハミルトン閉路問題への応用2014

    • 著者名/発表者名
      宋剛秀, Daniel Le Berre, Stephanie Roussel, 番原睦則, 田村直之
    • 学会等名
      第28回人工知能学会全国大会
    • 発表場所
      ひめぎんホール (愛媛県)
    • 年月日
      2014-05-12
    • データソース
      KAKENHI-PROJECT-24300007
  • [学会発表] SAT符号化を用いたパッキング配列の構成2013

    • 著者名/発表者名
      則武治樹,番原睦則、宋剛秀,田村直之,井上克巳
    • 学会等名
      第15回プログラミングおよびプログラミング言語ワークショップ(PPL 2013)
    • 発表場所
      会津若松市(福島県)
    • 年月日
      2013-03-05
    • データソース
      KAKENHI-PROJECT-24300007
  • [学会発表] Scarab: Scala上で実現されたSAT型制約プログラミングシステムのための高速開発ツール2013

    • 著者名/発表者名
      宋剛秀,田村直之,番原睦則
    • 学会等名
      第15回プログラミングおよびプログラミング言語ワークショップ(PPL 2013)
    • 発表場所
      会津若松市(福島県)
    • 年月日
      2013-03-05
    • データソース
      KAKENHI-PROJECT-24300007
  • [学会発表] Azucar:コンパクト順序符号化を用いたSAT型制約ソルバー2012

    • 著者名/発表者名
      丹生智也, 田村直之, 番原睦則,
    • 学会等名
      第14回プログラミングおよびプログラミング言語ワークショップ(PPL 2012)
    • 発表場所
      むさし(和歌山県)
    • 年月日
      2012-03-08
    • データソース
      KAKENHI-PROJECT-20240003
  • [学会発表] 制約充足問題のSAT符号化を用いたパッキング配列の構成2012

    • 著者名/発表者名
      則武治樹,番原睦則,田村直之,井上克己
    • 学会等名
      第26回人工知能学会全国大会
    • 発表場所
      山口県教育会館(山口県)
    • 年月日
      2012-06-12
    • データソース
      KAKENHI-PROJECT-24300007
  • [学会発表] (学生奨励賞受賞)カリキュラムベースのコース時間罰問題の擬似プール最適化問題への符号化2012

    • 著者名/発表者名
      鈴江美奈,田村直之,番原睦則,宋剛秀,鳩野逸生
    • 学会等名
      日本ソフトウェア科学会第29回大会
    • 発表場所
      法政大学(東京都)
    • 年月日
      2012-08-24
    • データソース
      KAKENHI-PROJECT-24300007
  • [学会発表] 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
  • [学会発表] Specific Language Copris for Constraint Programming in Scala2012

    • 著者名/発表者名
      Naoyuki Tamura, Tomoya Tanjo, Mutsunori Banbara
    • 学会等名
      The 2012 CRIL-Nil Collaborative Meeting on Reasoning about Dynamic Constraint Networks
    • 発表場所
      Universite d'Artois(France)
    • 年月日
      2012-11-23
    • データソース
      KAKENHI-PROJECT-24300007
  • [学会発表] ハミルトン閉路問題のSAT符号化に関する`研究2012

    • 著者名/発表者名
      船越泰輔,番原睦則,田村直之
    • 学会等名
      第26回人工知能学会全国大会
    • 発表場所
      山口県教育会館(山口県)
    • 年月日
      2012-06-12
    • データソース
      KAKENHI-PROJECT-24300007
  • [学会発表] Generating Event-Sequence Test Cass by Constraint Programming and Answer Set Programming2012

    • 著者名/発表者名
      Mutsunori Banbara, Naoyuki Tamura, Katsumi Inoue, Hidetomo Nabeshima
    • 学会等名
      The 2012 CRIL-Nil Collaborative Meeting on Reasoning about Dynamic Constraint Networks
    • 発表場所
      Universite d'Artois(France)
    • 年月日
      2012-11-23
    • データソース
      KAKENHI-PROJECT-24300007
  • [学会発表] 整数有限領域上の制約充足問題のコンパクトかつ効率的なSAT符号化2011

    • 著者名/発表者名
      丹生智也, 田村直之, 番原睦則
    • 学会等名
      2011年度人工知能学会全国大会(JSAI 2011)
    • 発表場所
      いわて県民情報交流センター(岩手県)
    • 年月日
      2011-06-03
    • データソース
      KAKENHI-PROJECT-20240003
  • [学会発表] SAT型制約ソルバーSugarについて2011

    • 著者名/発表者名
      田村直之, 丹生智也, 番原睦則
    • 学会等名
      第81回人工知能学会人工知能基本問題研究会
    • 発表場所
      山梨大学(招待講演)
    • 年月日
      2011-01-31
    • データソース
      KAKENHI-PROJECT-20240003
  • [学会発表] 位取り記数法に基づく整数有限領域上の制約充足問題のコンパクトかつ効率的なSAT符号化2011

    • 著者名/発表者名
      丹生智也, 田村直之, 番原睦則
    • 学会等名
      日本ソフトウェア科学会第28回大会
    • 発表場所
      沖縄産業支援センター(沖縄県)
    • 年月日
      2011-09-27
    • データソース
      KAKENHI-PROJECT-20240003
  • [学会発表] SAT型制約ソルバーSugarについて2011

    • 著者名/発表者名
      田村直之, 丹生智也, 番原睦則
    • 学会等名
      第81回人工知能学会人工知能基本問題研究会
    • 発表場所
      山梨人学(山梨県)(招待講演)
    • 年月日
      2011-01-31
    • データソース
      KAKENHI-PROJECT-20240003
  • [学会発表] 整数有限領域上の線形制約充足問題のコンパクトかつ効率のなSAT符号化の提案2011

    • 著者名/発表者名
      丹生智也, 田村直之, 番原睦則
    • 学会等名
      第81回人工知能学会人工知能基本問題研究会
    • 発表場所
      山梨大学(山梨県)
    • 年月日
      2011-01-31
    • データソース
      KAKENHI-PROJECT-20240003
  • [学会発表] SAT型制約ソルバーSugarとScalaインターフェイスについて2011

    • 著者名/発表者名
      田村直之, 丹生智也, 番原睦則
    • 学会等名
      日本ソフトウェア科学会第28回大会
    • 発表場所
      沖縄産業支援センター(沖縄県)
    • 年月日
      2011-09-29
    • データソース
      KAKENHI-PROJECT-20240003
  • [学会発表] SAT型制約ソルバーSugarについて2011

    • 著者名/発表者名
      田村直之, 丹生智也, 番原睦則
    • 学会等名
      第81回人工知能学会人工知能基本問題研究会
    • 発表場所
      山梨大学
    • 年月日
      2011-01-31
    • データソース
      KAKENHI-PROJECT-20240003
  • [学会発表] SAT符号化を用いた釣合い型不完備ブロック計画の構成2011

    • 著者名/発表者名
      松中春樹, 丹生智也, 番原睦則, 田村直之
    • 学会等名
      2011年度人工知能学会全国大会(JSAI 2011)
    • 発表場所
      いわて県民情報交流センター(岩手県)
    • 年月日
      2011-06-03
    • データソース
      KAKENHI-PROJECT-20240003
  • [学会発表] Solving Constraint Satisfaction Problems with SAT Technology2010

    • 著者名/発表者名
      N. Tamura, T. Tanjo, M. Banbara
    • 学会等名
      10th Int' l Symp. on Functional and Logic Programming
    • 発表場所
      東北大学(宮城県)
    • 年月日
      2010-04-19
    • データソース
      KAKENHI-PROJECT-20240003
  • [学会発表] Solving Constraint Satisfaction Problems by a SAT Solver2010

    • 著者名/発表者名
      N.Tamura, T.Tanjo, M.Banbara
    • 学会等名
      Joint Workshop on Implementation of Constraint Logic Programming Systerns and Logic-based Methods in Prograrmming Environments
    • 発表場所
      Edinburgh (Scotland)(招待講演)
    • 年月日
      2010-07-15
    • データソース
      KAKENHI-PROJECT-20240003
  • [学会発表] Solving Constraint Satisfactions Problems with SAT Technology2010

    • 著者名/発表者名
      N.Tamura, T.Tanjo, N.Banbara
    • 学会等名
      10th Int'l Symp. on Functional and Logic Programming (FLOPS 2010)
    • 発表場所
      東北大学(宮城県)(招待講演)
    • 年月日
      2010-04-19
    • データソース
      KAKENHI-PROJECT-20240003
  • [学会発表] Towards a Compact and Efficient SAT-Encoding of Finite Linear CSP2010

    • 著者名/発表者名
      T.Tanjo, N.Tamura, M.Bantara
    • 学会等名
      9th Int'l Workshop on Constraint Modelling and Reformulation (ModRef 2010)
    • 発表場所
      St.Andrews (Scotland)
    • データソース
      KAKENHI-PROJECT-20240003
  • [学会発表] SAT技術を用いた組合せテストケース生成2010

    • 著者名/発表者名
      番原睦則, 松中春樹, 田村直之, 井上克巳
    • 学会等名
      日本ソフトウェア科学会第27回大会
    • 発表場所
      津田塾大学(東京都)
    • 年月日
      2010-09-13
    • データソース
      KAKENHI-PROJECT-20240003
  • [学会発表] Solving Constraint Satisfaction Problems by a SAT Solver2010

    • 著者名/発表者名
      N. Tamura, T. Tanjo, M. Banbara
    • 学会等名
      Joint Workshop on Implementation of Constraint Logic Programming Systems and Logic-based Methods in Programming Environments
    • 発表場所
      Edinburgh(Scotland)
    • 年月日
      2010-07-15
    • データソース
      KAKENHI-PROJECT-20240003
  • [学会発表] Solving Constraint Satisfaction Problems with SAT Technology2010

    • 著者名/発表者名
      N.Tamura, T.Tanjo, M.Banbara
    • 学会等名
      10th Int'l Symp.on Functional and Logic Programming
    • 発表場所
      東北大学(宮城県)(招待講演)
    • 年月日
      2010-04-19
    • データソース
      KAKENHI-PROJECT-20240003
  • [学会発表] Solving Constraint Satisfaction Problems by a SAT Solver2010

    • 著者名/発表者名
      N.Tamura, T.Tanjo, M.Banbara
    • 学会等名
      Joint Workshop on Implementation of Constraint Logic Programming Systems and Logic-based Methods in Programming Environments(CICLOPS-WLPE 2010)
    • 発表場所
      Edinburgh (Scotland)(招待講演)
    • 年月日
      2010-07-15
    • データソース
      KAKENHI-PROJECT-20240003
  • [学会発表] 制約充足問題のSAT変換とグラフ彩色問題への応用2009

    • 著者名/発表者名
      丹生智也, 田村直之, 番原睦則
    • 学会等名
      日本ソフトウェア科学会第26回大会
    • 発表場所
      島根大学(島根県)
    • データソース
      KAKENHI-PROJECT-20240003
  • [学会発表] Solving Shop Schedul-ing Problems by SAT encoding2007

    • 著者名/発表者名
      N. Tamura., A. Taga, M. Banbara, T. Soh, H. Nabeshima, K. Inoue
    • 学会等名
      Scheduling Symposium 2007
    • 発表場所
      Kyoto
    • 説明
      「研究成果報告書概要(欧文)」より
    • データソース
      KAKENHI-PROJECT-17500094
  • [学会発表] ショップ・スケジューリング問題のSAT変換による解法2007

    • 著者名/発表者名
      田村 直之
    • 学会等名
      スケジューリング・シンポジウム2007講演論文集
    • 発表場所
      京都大学
    • 年月日
      2007-09-29
    • データソース
      KAKENHI-PROJECT-17500094
  • [学会発表] Solving SAT-encoded Shop Scheduling Problems on Grid Computing Environment2007

    • 著者名/発表者名
      A. Taga, N. Tamura. S. Kitagawa, M. Banbara
    • 学会等名
      Scheduling Symposium 2007
    • 発表場所
      Kyoto
    • 説明
      「研究成果報告書概要(欧文)」より
    • データソース
      KAKENHI-PROJECT-17500094
  • [学会発表] g-Hecs: A heteroge-neous constraint solving system on the Grid2005

    • 著者名/発表者名
      N. Tamura, M. Banbara
    • 学会等名
      2nd Franco-Japanese Workshop on Constraint Programming
    • 発表場所
      Le Croisic, France
    • 説明
      「研究成果報告書概要(欧文)」より
    • データソース
      KAKENHI-PROJECT-17500094
  • [学会発表] 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
  • [学会発表] 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
  • [学会発表] 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
  • [学会発表] 正方形詰込み問題の制約モデルとSAT符号化を用いた解法

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

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

    • 著者名/発表者名
      宋剛秀, 番原睦則, 田村直之, Daniel Le Berre, Stéphanie Roussel
    • 学会等名
      日本ソフトウェア科学会第30回大会
    • 発表場所
      東京大学
    • データソース
      KAKENHI-PROJECT-24300007
  • 1.  番原 睦則 (80290774)
    共同の研究課題数: 8件
    共同の研究成果数: 154件
  • 2.  金田 悠紀夫 (80107979)
    共同の研究課題数: 6件
    共同の研究成果数: 0件
  • 3.  井上 克巳 (10252321)
    共同の研究課題数: 4件
    共同の研究成果数: 34件
  • 4.  宋 剛秀 (00625121)
    共同の研究課題数: 4件
    共同の研究成果数: 86件
  • 5.  松田 秀雄 (50183950)
    共同の研究課題数: 3件
    共同の研究成果数: 0件
  • 6.  角田 譲 (50031365)
    共同の研究課題数: 3件
    共同の研究成果数: 0件
  • 7.  林 晋 (40156443)
    共同の研究課題数: 3件
    共同の研究成果数: 0件
  • 8.  鍋島 英知 (10334848)
    共同の研究課題数: 3件
    共同の研究成果数: 10件
  • 9.  岡田 光弘 (30224025)
    共同の研究課題数: 2件
    共同の研究成果数: 0件
  • 10.  中篠 拓伯 (80217736)
    共同の研究課題数: 2件
    共同の研究成果数: 0件
  • 11.  八杉 満利子 (90022277)
    共同の研究課題数: 2件
    共同の研究成果数: 0件
  • 12.  高橋 真 (50154860)
    共同の研究課題数: 2件
    共同の研究成果数: 0件
  • 13.  田畑 稔 (70207215)
    共同の研究課題数: 2件
    共同の研究成果数: 0件
  • 14.  南部 隆夫 (40156013)
    共同の研究課題数: 2件
    共同の研究成果数: 0件
  • 15.  中桐 信一 (20031148)
    共同の研究課題数: 2件
    共同の研究成果数: 0件
  • 16.  平山 勝敏 (00273813)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 17.  岩沼 宏治 (30176557)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 18.  山本 泰生 (30550793)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 19.  横尾 真 (20380678)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 20.  長谷川 隆三 (20274483)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 21.  藤田 博 (70284552)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 22.  越村 三幸 (30274492)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 23.  上田 和紀 (10257206)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 24.  丹生 智也 (40635067)
    共同の研究課題数: 1件
    共同の研究成果数: 4件
  • 25.  沖本 天太 (10632432)
    共同の研究課題数: 1件
    共同の研究成果数: 2件
  • 26.  前川 禎男 (20031057)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 27.  荻原 剛志 (90231224)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 28.  瀧 和男 (20243321)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 29.  佐藤 雅彦 (20027387)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 30.  二木 厚吉 (50251971)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 31.  長坂 一朗 (10314501)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 32.  菊池 誠 (60273801)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 33.  小林 直樹 (00262155)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 34.  照井 一成 (70353422)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 35.  高橋 典大 (00031295)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 36.  垣内 逸郎 (90091248)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 37.  堀内 清光 (90211549)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 38.  赤間 陽二 (30272454)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 39.  高橋 大輔 (50188025)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 40.  石原 哉 (10211046)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 41.  山本 章博 (30230535)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 42.  田浦 俊春 (00251497)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 43.  下嶋 篤 (40303341)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 44.  中川 中
    共同の研究課題数: 1件
    共同の研究成果数: 0件

URL: 

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

Powered by NII kakenhi