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

摘要

近年,遺伝子制御系,シグナル伝達系や代謝系などの生体をひとつのシステムとして再構築する研究が進められている.実験機器のハイスループット化に伴い,生体システムに関与する観測データは急速に増加しており,システムと観測データ間の整合性を組織的に検証する技術が必要となってきている.本論文では,遺伝子制御系のようなネットワーク形式で表現される生体システムを多値論理の枠組みでモデル検査する手法を提案する.また酵母のグルコース抑制機構に関する生体ネットワークに対して本手法を適用した結果を報告する.%Recently, a systematic approach has been evolved in biology to reconstruct biological mechanisms involved in genome, proteome and metabolome into one whole system. Along with high-throughput experimental tools like microarrays, it is required to analyze the consistency between alarge amount of data and those reconstructed systems. In this paper, we propose a qualitative way with multiple-valued logic that enables to systematically evaluate those systems that are represented as networks, like gene regulatory networks. This paper also reports preliminary experimental results obtained by applying our technique to a biological network on the glucose repression system of S. cerevisiae.