| 研究課題/領域番号 |
25730042
|
|---|
| 研究種目 |
若手研究(B)
|
| 配分区分 | 基金 |
|---|
| 研究分野 |
ソフトウェア
|
|---|
| 研究機関 | 神戸大学 |
|---|
研究代表者 |
宋 剛秀 神戸大学, 情報基盤センター, 助教 (00625121)
|
|---|
| 研究期間 (年度) |
2013-04-01 – 2016-03-31
|
| キーワード | SATソルバー / 制約プログラミング / 代謝パスウェイ / Elementary Mode / ハミルトン閉路 / ドメイン特化言語 / 命題論理 / ハイブリッド符号化 |
|---|
| 研究成果の概要 |
近年，命題論理式の充足可能性判定 (SAT) 問題を解くためのSAT技術が大きく発展を遂げており，その拡張・応用に注目が集まっている．本研究の目的は，制約の追加・削除に対応したSAT型制約プログラミンングシステムを研究開発することにより，既存のSAT技術では困難あるいは不可能だった代謝パスウェイの制約モデルを解析することである．研究成果としてSAT型制約プログラミングシステム Scarab を開発し，代謝パスウェイの Elementary Mode 解析に応用した結果，既存研究より優れた結果を得た．
|
| 自由記述の分野 |
SAT技術, 制約プログラミング, システム生物学
|
