田村研究室 (CS18A)
神戸大学 工学部 情報知能工学科 情報基礎講座

ニュース (論文・発表・受賞等)

プロジェクトCSPSATに関するニュースはこちらをご覧ください.

2016.4.7 新プロジェクトCSPSAT3の Web Page 公開!!
2016.3.17 受賞 田村研究室OBの則武さんが修士在学中に筆頭著者として執筆し日本ソフトウェア科学会誌「コンピュータソフトウェア」に掲載された論文が第20回研究論文賞を受賞しました!
論文題目「パッキング配列問題の制約モデリングとSAT符号化」
コンピュータソフトウェア, Vol. 31 (2014), No. 1, pp. 116-130.
2015.10.22 セミナー 第9回AIツールセミナーSATソルバーとそのアプリケーション開発についてを開催します (詳細).
日時:12月14日(月)10:00〜17:00 予定
場所:国立情報学研究所
主催:人工知能学会
詳細情報・お申し込みはこちら
2015.9.24 受賞 田村研究室修士1年の川原さんが2015年9月9,10,11日に開催された日本ソフトウェア科学会第32回大会 において学生奨励賞を受賞しました!
発表題目「SATソルバーを用いた高速な部分グラフ探索ツールの実装と評価」
2015.8.27 受賞 2015年8月27日にDAシンポジウム内にて開催されたアルゴリズムデザインコンテスト で田村研究室修士1年の迫さんと川原さんが中心になって開発したナンバーリンクソルバーが全参加ソルバーの中で最高得点を獲得し学生部門で最優秀賞 (1位) を受賞しました!
詳細な結果は資料1資料2を御覧ください.
(日経テクノロジーに掲載された記事へのリンク)
2015.7.21 受賞 田村研究室修士2年の兼行さんが5月31日に開催された「2015年度人工知能学会全国大会」において2015年度全国大会優秀賞を受賞しました!
発表題目「組合せテストケース生成問題に対する制約解集合プログラミングの適用」
2014.12.10 受賞 田村研究室・助教の宋先生が日本ソフトウェア科学会の第31回大会高橋奨励賞を受賞しました.
2014.8.28 受賞 2014年8月28日にDAシンポジウム内にて開催されたアルゴリズムデザインコンテスト で田村研究室で開発されたSugarと山梨大学で開発されたGlueMiniSatを用いたナンバーリンクソルバーが最優秀賞 (1位) を受賞しました!
(日経テクノロジーに掲載された記事へのリンク)
2014.5.12 田村研究室修士課程の佐古田さん がJSAI2014 で発表しました.
発表題目「登録後コース時間割問題の基数制約を用いた制約モデルとSATソルバーを用いた解法」
2013.10.23 田村研究室修士課程の則武さんの論文が学術誌 コンピュータソフトウェア に採録されました.
論文題目「パッキング配列問題の制約モデリングとSAT符号化」
2013.6.5 田村研究室修士課程の佐古田さん がJSAI2013 で発表しました.
発表題目「正方形詰込み問題の制約モデルとSAT符号化を用いた解法」
2013.3.5 田村研究室修士課程の則武さん がPPL2013で 発表しました.
発表題目「SAT符号化を用いたパッキング配列の構成」
2012.10.3 受賞 田村研究室を2012年3月に修了された松中さんが優秀な成績で修了した博士課程前期課程の大学院生に対して授与される研究科長表彰を受賞しました!
2012.8.24 受賞 田村研究室修士1年の鈴江さんが8月22日-24日に開催された「日本ソフトウェア科学会第29回大会」で学生奨励賞を受賞しました!
発表題目「カリキュラムベースのコース時間割問題の擬似ブール最適化問題への符号化」
2012.6.18 受賞 田村研究室を2012年3月に修了された本條さんが開発した ShinMaxSAT が Seventh Max-SAT Evaluation (Max-SAT 2012) Weighted Partial Max-SAT カテゴリ(Crafted) で準優勝しました!
2012.5.1 新プロジェクトCSPSAT2の Web Page 公開!
CSPSAT2開始: 国立情報学研究所,山梨大学の研究者との共同プロジェクト
新4年生へのメッセージ (by 田村教授)

研究内容

現在,田村研究室ではCSPSAT3プロジェクトを進めています.

メンバー

教員

田村 直之,教授
(at SAT 2012)
番原 睦則,准教授
(at FLOPS 2012)
宋 剛秀,助教
(at Kyoto)

学生 (2016年度)

卒業生,修了生


T. Soh CSPSAT3
since 23th March 2007