| 研究課題/領域番号 | 16H02803 |
|---|
| 研究種目 |
基盤研究(B)
|
| 配分区分 | 補助金 |
|---|
| 審査区分 | 一般 |
|---|
| 研究分野 |
ソフトウェア
|
|---|
| 研究機関 | 神戸大学 |
|---|
研究代表者 |
田村 直之 神戸大学, 情報基盤センター, 教授 (60207248)
|
|---|
| 研究分担者 |
番原 睦則 神戸大学, 情報基盤センター, 准教授 (80290774)
宋 剛秀 神戸大学, 情報基盤センター, 助教 (00625121)
井上 克巳 国立情報学研究所, 情報学プリンシプル研究系, 教授 (10252321)
鍋島 英知 山梨大学, 総合研究部, 准教授 (10334848)
|
|---|
| 研究期間 (年度) |
2016-04-01 – 2019-03-31
|
| 研究課題ステータス |
交付(2017年度)
|
| 配分額 *注記 |
16,900千円 (直接経費 : 13,000千円、間接経費 : 3,900千円)
2017年度 : 5,460千円 (直接経費 : 4,200千円、間接経費 : 1,260千円)
2016年度 : 6,240千円 (直接経費 : 4,800千円、間接経費 : 1,440千円)
|
|---|
| キーワード | 情報システム / 制約プログラミング / SATソルバー |
|---|
