| 演題番号 | 1E1-3 |
|---|---|
| 題目 | SAT を用いた大腸菌における代謝パスウェイの解析 |
| 著者 | 宋 剛秀(総合研究大学院大学 複合科学研究科情報学専攻) 井上 克巳(国立情報学研究所) |
| 時間 | 06月09日(Wed) 09:40〜10:00 |
| 概要 | システム生物学における分子の相互作用のネットワーク表現(パスウェイ)において，初期化合物集合から目標化合物集合を生成する反応集合を発見することは重要である．本研究ではSAT符号化を用いた(a)極小モデルを用いることで反応数に依存しない解を発見でき(b)閉路を含むパスウェイに適用可能な手法を提案する．実験により得られた反応集合は大腸菌の代謝パスウェイで起こり得るものであり，手法の有効性を確認できた． |
| 論文 | PDFファイル |