神戸大学 工学部 情報知能工学科 情報基盤講座
田村研究室 (CS18A)
Last updated at Time-stamp: <2011-11-17 11:19:34 banbara>
最新情報
研究内容
- 制約プログラミング
- 制約充足問題，制約最適化問題
- SAT技術
- 論理プログラミング
メンバー
教員
学生
- 丹生 智也 (D)
- 本條 健吾 (M)
- 松中 春樹 (M)
- 船越 泰輔 (M)
- 渋谷 健寛 (B)
- 鈴江 美奈 (B)
- 則武 治樹 (B)
卒業生，修了生
- 2011年度：
- 2010年度：
- 2009年度：
- 2008年度：北川 哲(D)，Indira(M)，櫻井 広基(B)
- 2007年度：多賀 明子(M)，田島 宏史(M)，奥田 奈央(B)，窪添 璃紗(B)
- 2006年度：志賀 彰(M)，中川 雅也(M)，塩出 雅史(M)，KIM JUNG-HOON(B)，幸 健太郎(B)
ソフトウェア
田村研究室で開発した(している)ソフトウェアです．
- Sugar
SAT技術に基づく制約ソルバ
- Cream
Java上の制約プログラミング・ライブラリ
- Calc/Cream
OpenOffice.org Calcスプレッドシート上での制約プログラミングツール
- Prolog Cafe
論理型プログラミグ言語PrologからJavaへのトランスレータ処理系
- LLP
線形論理に基づく論理型プログラミング言語のコンパイラ処理系
- メッチャ検索エンジン
複数の検索エンジンの結果を統合して表示する統合型メタ検索エンジン
上記以外にも，
TLLP,
llprover,
seqprover,
lolliCoP,
LL2LLP等があります．
IPA未踏ソフトウェア創造事業
未踏ソフトウェア創造事業とは，
情報処理推進機構(IPA)
が推進しているIT人材の発掘・育成プロジェクトです
(詳しくはこちら)．
田村研究室では，これまで以下のテーマが採択されています．
-
スプレッドシートと様々なシステムを接続するオープンミドルウェアの開発
川谷宗之
平成17年度上期IPA未踏ソフトウェア創造事業
-
局所探索が使える制約プログラミングシステムの開発
大西秀志
平成16年度第2回IPA未踏ソフトウェア創造事業
-
Javaによる分散協調制約解消システム
番原睦則 (研究代表者)，田村直之，井上克已，川村尚生，玉置久
平成15年度IPA未踏ソフトウェア創造事業
-
Javaによる異種協調制約解消システムの開発
番原睦則 (研究代表者)，田村直之，井上克已，川村尚生
平成14年度IPA未踏ソフトウェア創造事業
NII共同研究
田村研究室は，
以下の国立情報学研究所 (NII)
共同研究に参加しています．
- SAT変換による制約最適化問題の限界突破
田村直之 (研究代表者)，井上克巳，鍋島英知，越村三幸，番原睦則，丹生智也，宋剛秀
平成21年度国立情報学研究所共同研究,
平成21年4月1日〜平成22年3月31日
- 求解困難な制約最適化問題のSAT変換による解法に関する研究
田村直之 (研究代表者)，岩沼宏治，井上克已，鍋島英知，平山勝敏，越村三幸，番原睦則ほか
平成20年度国立情報学研究所共同研究 (研究テーマ提案型),
平成20年4月1日〜平成21年3月31日
- 補題再利用による効率的な分散・協調SAT問題システムの構築に関する研究
鍋島英知 (研究代表者)，岩沼宏治，井上克已，田村直之，平山勝敏，越村三幸，番原睦則ほか
平成19年度国立情報学研究所共同研究 (研究テーマ提案型),
平成19年4月1日〜平成20年3月31日
- 補題再利用による効率的な分散・協調SAT問題システムの構築に関する研究
鍋島英知 (研究代表者)，岩沼宏治，井上克已，田村直之，平山勝敏，番原睦則ほか
平成18年度国立情報学研究所共同研究 (研究テーマ提案型),
平成18年4月1日〜平成19年3月31日
- 分散協調SATアルゴリズムの設計と実現に関する研究
井上克已(研究代表者)，田村直之，番原睦則，平山勝敏，宋剛秀
平成17年度国立情報学研究所共同研究,
平成17年4月1日〜平成18年3月31日
科学研究費補助金
- 制約最適化問題のSAT変換による解法とその並列分散処理に関する研究
田村直之 (研究代表者)
科学研究費補助金 (基盤研究(A))，
平成20年4月〜平成23年3月
- Prolog処理系を用いた複数SATソルバ並列実行システム
番原睦則
科学研究費補助金(若手研究B)，平成19年4月〜平成22年3月
- グリッド計算環境上で動作する並列制約解消システムに関する研究
田村直之 (研究代表者)，番原睦則
科学研究費補助金 (基盤研究(C))，
平成17年4月〜平成20年3月
- Javaによる次世代Prolog言語処理系及びそのアプリケーションの開発
番原睦則
科学研究費補助金 (若手研究B)，
平成15年4月〜平成18年3月
- 線形論理の自動演繹システムに関する研究
田村直之 (研究代表者)，番原睦則，Joshua S. Hodas，姜京順
科学研究費補助金 (基盤研究(C)(2))，
平成14年4月〜平成17年3月
- 資源と時間の論理に基づいたプログラミング言語の設計と処理系の構築
高橋真 (研究代表者)，田村直之，番原睦則
科学研究費補助金 (基盤研究(C)(2))，
平成11年4月〜平成13年3月
since 23th March 2007