@techreport{oai:ipsj.ixsq.nii.ac.jp:00158089,
 author = {平沼, 祐人 and 山本, 泰生 and 守屋, 央朗 and 宋, 剛秀 and 岩沼, 宏治 and Yuto, Hiranuma and Yoshitaka, Yamamoto and Hisao, Moriya and Takehide, Soh and Koji, Iwanuma},
 issue = {11},
 month = {Mar},
 note = {本稿では，転写因子結合ネットワーク上の各転写因子の状態をマイクロアレイデータから定性的に推定する手法を提案する．転写因子は遺伝子発現を調整する重要な因子であり，転写因子の状態推定を行うことは，転写機構によって制御される細胞反応のダイナミクスの解明に繋がる．提案手法では，はじめに状態推定問題を最適化問題として定式化した後，推定された状態の評価モデルとして，単独の転写因子による影響のみを考慮したもの （単独推定） と複数因子の相互作用の影響も考慮したもの （複数推定） の 2 つの問題を考える．一般に後者は解候補の組み合わせ爆発に関わる問題であるが，本研究ではこの組み合わせ最適化問題を制約充足問題に帰着し，高速な SAT 技術を用いて求解している．更に，転写因子の活性状態の全体図を捉えることができる可視化ツールを開発している．このツールにより，生物学者と対話しながら，直感を刺激することで知識発見支援を行う．},
 title = {分子ネットワーク上の状態推定とその可視化による知識発見支援},
 year = {2016}
}