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

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

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

2017.3.10 受賞 田村研究室の宋助教が日本ソフトウェア科学会の 第19回プログラミングおよびプログラミング言語ワークショップ (PPL 2017) においてPPL2017発表賞(一般の部)を受賞しました!
発表題目「SATソルバーの最新動向と利用技術」
2017.3.1 受賞 田村研究室修士2年の迫さんが2016年6月6-9日に開催された「2016年度人工知能学会全国大会」において2016年度全国大会優秀賞を受賞しました!
発表題目「SAT型制約ソルバーによるナンバーリンクの解法とその評価」
2016.9.4 田村研究室修士課程の迫さんの論文が学術誌 コンピュータソフトウェア に採録されました.
論文題目「インクリメンタルSAT解法ライブラリとその応用」
2016.9.16 受賞 2016年9月15日にDAシンポジウム内にて開催されたアルゴリズムデザインコンテスト で田村研究室学部4年の坡山さん,修士2年の川原さんと迫さんが中心になって開発したナンバーリンクソルバーが優秀賞 (2位) を受賞しました!
(日経テクノロジーに掲載された記事へのリンク)
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位) を受賞しました!
(日経テクノロジーに掲載された記事へのリンク)
2013.10.23 田村研究室修士課程の則武さんの論文が学術誌 コンピュータソフトウェア に採録されました.
論文題目「パッキング配列問題の制約モデリングと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)

学生 (2017年度)

卒業生,修了生


T. Soh CSPSAT3
since 23th March 2007