多値論理を用いた生体ネットワークシステムのモデル検査（2012年5月28日版）

摘要

近年，遺伝子制御系，シグナル伝達系や代謝系などの生体機構をひとつのシステムとして再構築する研究が進められている．実験機器のハイスループット化に伴い，生体システムに関与する観測データは急速に増加しており，システムと観測データ間の整合性を組織的に検証する技術が必要となってきている．本論文では，遺伝子制御系のようなネットワーク形式で表現される生体システムを多値論理の枠組みでモデル検査する手法を提案する．また酵母のグルコース抑制機構に関する生体ネットワークに対して本手法を適用した結果を報告する．