著者

松林 達史 吉川 友也 山本 泰生 森下 壮一郎

出版者

一般社団法人 人工知能学会

雑誌

人工知能 (ISSN:21882266)

巻号頁・発行日

vol.37, no.5, pp.681-685, 2022-09-01 (Released:2022-09-01)

著者

小林 靖明 山本 泰生

出版者

一般社団法人 人工知能学会

雑誌

人工知能 (ISSN:21882266)

巻号頁・発行日

vol.37, no.1, pp.56, 2022-01-01 (Released:2022-01-01)

著者

坂本 悠 山本 泰生 岩沼 宏治

雑誌

研究報告バイオ情報学(BIO)

巻号頁・発行日

vol.2012, no.23, pp.1-6, 2012-06-21

---

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

著者

山本 泰生 牛久 祥孝 西岡 靖之

出版者

一般社団法人 人工知能学会

雑誌

人工知能 (ISSN:21882266)

巻号頁・発行日

vol.37, no.3, pp.252, 2022-05-01 (Released:2022-05-01)

著者

山本 泰生

出版者

横浜国立大学

雑誌

横浜国立大学人文紀要. 第一類, 哲学・社会科学 (ISSN:05135621)

巻号頁・発行日

vol.37, pp.81-88, 1991-10-31

著者

山本 泰生

雑誌

横浜国立大学教育人間科学部紀要. II, 人文科学 (ISSN:1344462X)

巻号頁・発行日

vol.9, pp.19-44, 2007-02