計算モデル論2013 -...
Transcript of 計算モデル論2013 -...
![Page 1: 計算モデル論2013 - 東京大学hagi.is.s.u-tokyo.ac.jp/pub/staff/hagiya/kougiroku/mc/kmr2013-3.pdf · •確率的シミュレーションの標準的手法 •各々の書き換え規則(反応)は、](https://reader034.fdocuments.net/reader034/viewer/2022042222/5ec8fbc5174e812a312c15cc/html5/thumbnails/1.jpg)
計算モデル論2013萩谷担当分全5回
![Page 2: 計算モデル論2013 - 東京大学hagi.is.s.u-tokyo.ac.jp/pub/staff/hagiya/kougiroku/mc/kmr2013-3.pdf · •確率的シミュレーションの標準的手法 •各々の書き換え規則(反応)は、](https://reader034.fdocuments.net/reader034/viewer/2022042222/5ec8fbc5174e812a312c15cc/html5/thumbnails/2.jpg)
予定
•分子コンピューティングから、計算とエネルギーの話、可逆計算• ランダウアーの原理・可逆チューリング機械・可逆論理回路
•分子コンピューティング・分子ロボティクス・合成生物学• DNAコンピュータ・DNAナノテクノロジー
•分子コンピューティングや合成生物学のための計算モデル• 確率状態遷移系・ジレスピーのアルゴリズム・・・
• ニューラルネットワーク・・・• ホップフィールネットワーク・ボルツマンマシン
•遺伝的アルゴリズム・進化計算・スウォーム計算
![Page 3: 計算モデル論2013 - 東京大学hagi.is.s.u-tokyo.ac.jp/pub/staff/hagiya/kougiroku/mc/kmr2013-3.pdf · •確率的シミュレーションの標準的手法 •各々の書き換え規則(反応)は、](https://reader034.fdocuments.net/reader034/viewer/2022042222/5ec8fbc5174e812a312c15cc/html5/thumbnails/3.jpg)
参考文献
![Page 4: 計算モデル論2013 - 東京大学hagi.is.s.u-tokyo.ac.jp/pub/staff/hagiya/kougiroku/mc/kmr2013-3.pdf · •確率的シミュレーションの標準的手法 •各々の書き換え規則(反応)は、](https://reader034.fdocuments.net/reader034/viewer/2022042222/5ec8fbc5174e812a312c15cc/html5/thumbnails/4.jpg)
確率マルチセット書き換えとGillespie法確率モデルの導入
![Page 5: 計算モデル論2013 - 東京大学hagi.is.s.u-tokyo.ac.jp/pub/staff/hagiya/kougiroku/mc/kmr2013-3.pdf · •確率的シミュレーションの標準的手法 •各々の書き換え規則(反応)は、](https://reader034.fdocuments.net/reader034/viewer/2022042222/5ec8fbc5174e812a312c15cc/html5/thumbnails/5.jpg)
化学反応のモデル
•濃度大• 連続濃度に対する微分方程式
•少分子• マルチセット書き換え系
• マルチセットの要素=分子=グラフ
• 確率マルチセット書き換え系• 確率微分方程式(マスター方程式)
![Page 6: 計算モデル論2013 - 東京大学hagi.is.s.u-tokyo.ac.jp/pub/staff/hagiya/kougiroku/mc/kmr2013-3.pdf · •確率的シミュレーションの標準的手法 •各々の書き換え規則(反応)は、](https://reader034.fdocuments.net/reader034/viewer/2022042222/5ec8fbc5174e812a312c15cc/html5/thumbnails/6.jpg)
連続濃度に対する微分方程式
2
2
2
1 2 RGkBRkdt
dG
1k
2k
![Page 7: 計算モデル論2013 - 東京大学hagi.is.s.u-tokyo.ac.jp/pub/staff/hagiya/kougiroku/mc/kmr2013-3.pdf · •確率的シミュレーションの標準的手法 •各々の書き換え規則(反応)は、](https://reader034.fdocuments.net/reader034/viewer/2022042222/5ec8fbc5174e812a312c15cc/html5/thumbnails/7.jpg)
化学反応のモデル
•濃度大• 連続濃度に対する微分方程式
•少分子• マルチセット書き換え系
• マルチセットの要素=分子=グラフ
• 確率マルチセット書き換え系• 確率微分方程式(マスター方程式)
![Page 8: 計算モデル論2013 - 東京大学hagi.is.s.u-tokyo.ac.jp/pub/staff/hagiya/kougiroku/mc/kmr2013-3.pdf · •確率的シミュレーションの標準的手法 •各々の書き換え規則(反応)は、](https://reader034.fdocuments.net/reader034/viewer/2022042222/5ec8fbc5174e812a312c15cc/html5/thumbnails/8.jpg)
マルチセット
•多重集合• 要素に多重度のある(有限)集合
•各要素に対して0以上の整数(個数)が割り当てられていると考えられる• 要素から0以上の整数(自然数)への関数
• ペトリネット• プレースが要素
• プレースのトークンの数が多重度
![Page 9: 計算モデル論2013 - 東京大学hagi.is.s.u-tokyo.ac.jp/pub/staff/hagiya/kougiroku/mc/kmr2013-3.pdf · •確率的シミュレーションの標準的手法 •各々の書き換え規則(反応)は、](https://reader034.fdocuments.net/reader034/viewer/2022042222/5ec8fbc5174e812a312c15cc/html5/thumbnails/9.jpg)
確率状態遷移系
•状態=分子(グラフ)のマルチセット• 離散
• マルチセット:分子→非負整数(個数)
•書き換え規則=化学反応• 各規則に非負実数が反応速度として与えられる。
•状態遷移=グラフ書き換え• 離散
• 確率的• 反応速度に比例した確率で規則が選ばれる。
![Page 10: 計算モデル論2013 - 東京大学hagi.is.s.u-tokyo.ac.jp/pub/staff/hagiya/kougiroku/mc/kmr2013-3.pdf · •確率的シミュレーションの標準的手法 •各々の書き換え規則(反応)は、](https://reader034.fdocuments.net/reader034/viewer/2022042222/5ec8fbc5174e812a312c15cc/html5/thumbnails/10.jpg)
マルチセット書き換え系
![Page 11: 計算モデル論2013 - 東京大学hagi.is.s.u-tokyo.ac.jp/pub/staff/hagiya/kougiroku/mc/kmr2013-3.pdf · •確率的シミュレーションの標準的手法 •各々の書き換え規則(反応)は、](https://reader034.fdocuments.net/reader034/viewer/2022042222/5ec8fbc5174e812a312c15cc/html5/thumbnails/11.jpg)
確率的マルチセット書き換え系
propensity
11
4
2
3c
22
2
1
2c
1c
2c
![Page 12: 計算モデル論2013 - 東京大学hagi.is.s.u-tokyo.ac.jp/pub/staff/hagiya/kougiroku/mc/kmr2013-3.pdf · •確率的シミュレーションの標準的手法 •各々の書き換え規則(反応)は、](https://reader034.fdocuments.net/reader034/viewer/2022042222/5ec8fbc5174e812a312c15cc/html5/thumbnails/12.jpg)
マスター方程式
rrggbbbrggggbbbrrrgbbbb
rrggbbbpccpcpc
dt
dp
2121
2
2
1
2
1
3
2
2
2
4
1
1
1
4
2
3
確率的マルチセット書き換え系
propensity
11
4
2
3c
22
2
1
2c
1c
2c
解析的に調べるのは一般に困難
![Page 13: 計算モデル論2013 - 東京大学hagi.is.s.u-tokyo.ac.jp/pub/staff/hagiya/kougiroku/mc/kmr2013-3.pdf · •確率的シミュレーションの標準的手法 •各々の書き換え規則(反応)は、](https://reader034.fdocuments.net/reader034/viewer/2022042222/5ec8fbc5174e812a312c15cc/html5/thumbnails/13.jpg)
•確率的シミュレーションの標準的手法• 各々の書き換え規則(反応)は、
propensityに比例した確率で実行される
• a0をpropensityの和としたとき、
いずれかの規則が今から時間 t のうちに
実行される確率は 1ea0t
Gillespie法
今から時間 tの間に実行されない確率を P(t) とすると、P(0) = 1 で、dP(t) = a0 P(t) dt
P(t) = ea0t
![Page 14: 計算モデル論2013 - 東京大学hagi.is.s.u-tokyo.ac.jp/pub/staff/hagiya/kougiroku/mc/kmr2013-3.pdf · •確率的シミュレーションの標準的手法 •各々の書き換え規則(反応)は、](https://reader034.fdocuments.net/reader034/viewer/2022042222/5ec8fbc5174e812a312c15cc/html5/thumbnails/14.jpg)
1
r
t
縦軸に 0 から 1 まで一様に乱数を生成すると、1rから 1 までに入る確率は r。これは、ちょうど、時刻 tまでに反応が起こる確率に等しい。
0
P(t) = ea0t
上のようにして tを求めれば望みの分布になる!一般に、[0,1] の一様乱数 rにより Φ(t) = rを解いて tを求めれば、累積確率密度 Φ(t) の確率分布を生成できる。
![Page 15: 計算モデル論2013 - 東京大学hagi.is.s.u-tokyo.ac.jp/pub/staff/hagiya/kougiroku/mc/kmr2013-3.pdf · •確率的シミュレーションの標準的手法 •各々の書き換え規則(反応)は、](https://reader034.fdocuments.net/reader034/viewer/2022042222/5ec8fbc5174e812a312c15cc/html5/thumbnails/15.jpg)
1
r
t
縦軸に 0 から 1 まで一様に乱数を生成すると、1r 0から 1 rまでに入る確率は r。これは、ちょうど、時刻 tまでに以降に反応が起こる確率に等しい。
0
P(t) = ea0t
r
![Page 16: 計算モデル論2013 - 東京大学hagi.is.s.u-tokyo.ac.jp/pub/staff/hagiya/kougiroku/mc/kmr2013-3.pdf · •確率的シミュレーションの標準的手法 •各々の書き換え規則(反応)は、](https://reader034.fdocuments.net/reader034/viewer/2022042222/5ec8fbc5174e812a312c15cc/html5/thumbnails/16.jpg)
•確率的シミュレーションの標準的手法• 各々の書き換え規則(反応)は、
propensityに比例した確率で実行される
• a0をpropensityの和としたとき、
いずれかの規則が今から時間 t のうちに
実行される確率は 1ea0t
• Gillespie法の各ステップ• [0,1] の一様乱数 r から (1/a0)ln(1/r) によって
次の書き換えの時刻を決定
• 乱数を用いてpropensityに比例して規則を選択
Gillespie法
今から時間 tの間に実行されない確率を P(t) とすると、P(0) = 1 で、dP(t) = a0 P(t) dt
1 ea0t = 1r
![Page 17: 計算モデル論2013 - 東京大学hagi.is.s.u-tokyo.ac.jp/pub/staff/hagiya/kougiroku/mc/kmr2013-3.pdf · •確率的シミュレーションの標準的手法 •各々の書き換え規則(反応)は、](https://reader034.fdocuments.net/reader034/viewer/2022042222/5ec8fbc5174e812a312c15cc/html5/thumbnails/17.jpg)
分子種 iの個数が Xi
![Page 18: 計算モデル論2013 - 東京大学hagi.is.s.u-tokyo.ac.jp/pub/staff/hagiya/kougiroku/mc/kmr2013-3.pdf · •確率的シミュレーションの標準的手法 •各々の書き換え規則(反応)は、](https://reader034.fdocuments.net/reader034/viewer/2022042222/5ec8fbc5174e812a312c15cc/html5/thumbnails/18.jpg)
t跳躍法
• Gillespie法の効率化
•分子数がある程度大きい場合、
数回の反応では分子数は大きく変化しない
•適当な時間間隔 t の間に
propensityが a の反応が起こる回数 n は、
平均 atのPoisson分布に従う
![Page 19: 計算モデル論2013 - 東京大学hagi.is.s.u-tokyo.ac.jp/pub/staff/hagiya/kougiroku/mc/kmr2013-3.pdf · •確率的シミュレーションの標準的手法 •各々の書き換え規則(反応)は、](https://reader034.fdocuments.net/reader034/viewer/2022042222/5ec8fbc5174e812a312c15cc/html5/thumbnails/19.jpg)
例:シーソーゲート
Gate:Output Input
![Page 20: 計算モデル論2013 - 東京大学hagi.is.s.u-tokyo.ac.jp/pub/staff/hagiya/kougiroku/mc/kmr2013-3.pdf · •確率的シミュレーションの標準的手法 •各々の書き換え規則(反応)は、](https://reader034.fdocuments.net/reader034/viewer/2022042222/5ec8fbc5174e812a312c15cc/html5/thumbnails/20.jpg)
例:シーソーゲート
![Page 21: 計算モデル論2013 - 東京大学hagi.is.s.u-tokyo.ac.jp/pub/staff/hagiya/kougiroku/mc/kmr2013-3.pdf · •確率的シミュレーションの標準的手法 •各々の書き換え規則(反応)は、](https://reader034.fdocuments.net/reader034/viewer/2022042222/5ec8fbc5174e812a312c15cc/html5/thumbnails/21.jpg)
例:シーソーゲート
Output Gate:Input
![Page 22: 計算モデル論2013 - 東京大学hagi.is.s.u-tokyo.ac.jp/pub/staff/hagiya/kougiroku/mc/kmr2013-3.pdf · •確率的シミュレーションの標準的手法 •各々の書き換え規則(反応)は、](https://reader034.fdocuments.net/reader034/viewer/2022042222/5ec8fbc5174e812a312c15cc/html5/thumbnails/22.jpg)
例:遺伝子と制御タンパクのモデル
抑制された遺伝子
遺伝子
タンパク
![Page 23: 計算モデル論2013 - 東京大学hagi.is.s.u-tokyo.ac.jp/pub/staff/hagiya/kougiroku/mc/kmr2013-3.pdf · •確率的シミュレーションの標準的手法 •各々の書き換え規則(反応)は、](https://reader034.fdocuments.net/reader034/viewer/2022042222/5ec8fbc5174e812a312c15cc/html5/thumbnails/23.jpg)
Elowitz et al. 2000http://www.nature.com/nature/journal/v403/n6767/abs/403335a0.html
![Page 24: 計算モデル論2013 - 東京大学hagi.is.s.u-tokyo.ac.jp/pub/staff/hagiya/kougiroku/mc/kmr2013-3.pdf · •確率的シミュレーションの標準的手法 •各々の書き換え規則(反応)は、](https://reader034.fdocuments.net/reader034/viewer/2022042222/5ec8fbc5174e812a312c15cc/html5/thumbnails/24.jpg)
0.1 1.0 0.0001 0.001
0.1 1.0 0.0001 0.001
0.1 1.0 0.0001 0.001
![Page 25: 計算モデル論2013 - 東京大学hagi.is.s.u-tokyo.ac.jp/pub/staff/hagiya/kougiroku/mc/kmr2013-3.pdf · •確率的シミュレーションの標準的手法 •各々の書き換え規則(反応)は、](https://reader034.fdocuments.net/reader034/viewer/2022042222/5ec8fbc5174e812a312c15cc/html5/thumbnails/25.jpg)
![Page 26: 計算モデル論2013 - 東京大学hagi.is.s.u-tokyo.ac.jp/pub/staff/hagiya/kougiroku/mc/kmr2013-3.pdf · •確率的シミュレーションの標準的手法 •各々の書き換え規則(反応)は、](https://reader034.fdocuments.net/reader034/viewer/2022042222/5ec8fbc5174e812a312c15cc/html5/thumbnails/26.jpg)
参考:シミュレーション vs. モデル検査
• シミュレーション(テスト)• 特定の(通常は複数の)実行経路を調べる
• モデル検査• すべての実行経路を網羅的に調べる
• 組み合わせ爆発→記号化・抽象化
•確率モデル検査• すべての実行経路を網羅しながら
• 確率的な量を(数値)計算• 各種の期待値など
![Page 27: 計算モデル論2013 - 東京大学hagi.is.s.u-tokyo.ac.jp/pub/staff/hagiya/kougiroku/mc/kmr2013-3.pdf · •確率的シミュレーションの標準的手法 •各々の書き換え規則(反応)は、](https://reader034.fdocuments.net/reader034/viewer/2022042222/5ec8fbc5174e812a312c15cc/html5/thumbnails/27.jpg)
DNAシステムのグラフ書き換えモデル
化学系の計算モデルの例として
![Page 28: 計算モデル論2013 - 東京大学hagi.is.s.u-tokyo.ac.jp/pub/staff/hagiya/kougiroku/mc/kmr2013-3.pdf · •確率的シミュレーションの標準的手法 •各々の書き換え規則(反応)は、](https://reader034.fdocuments.net/reader034/viewer/2022042222/5ec8fbc5174e812a312c15cc/html5/thumbnails/28.jpg)
DNAシステムのモデル
• DNAの立体構造 ---二本鎖の螺旋構造• 第一原理計算(量子化学)
• 分子動力学
• DNAの二次構造• どのベースとどのベースがつながっているか
• ヘアピンなどの様々なループ構造
• まとまったセグメント単位の二次構造• グラフ
• 多くのDNAシステムはこのレベルでモデル化可能
水素結合ハイブリダイゼーション
![Page 29: 計算モデル論2013 - 東京大学hagi.is.s.u-tokyo.ac.jp/pub/staff/hagiya/kougiroku/mc/kmr2013-3.pdf · •確率的シミュレーションの標準的手法 •各々の書き換え規則(反応)は、](https://reader034.fdocuments.net/reader034/viewer/2022042222/5ec8fbc5174e812a312c15cc/html5/thumbnails/29.jpg)
ATACCAACAATAGTAACAGAC
TTGTTATCATTGTCTG
cba d
BC D
c d
![Page 30: 計算モデル論2013 - 東京大学hagi.is.s.u-tokyo.ac.jp/pub/staff/hagiya/kougiroku/mc/kmr2013-3.pdf · •確率的シミュレーションの標準的手法 •各々の書き換え規則(反応)は、](https://reader034.fdocuments.net/reader034/viewer/2022042222/5ec8fbc5174e812a312c15cc/html5/thumbnails/30.jpg)
グラフ=分子
cba d
BC D
c d ノード(節・頂点)
エッジ(辺)
エッジ(矢)
![Page 31: 計算モデル論2013 - 東京大学hagi.is.s.u-tokyo.ac.jp/pub/staff/hagiya/kougiroku/mc/kmr2013-3.pdf · •確率的シミュレーションの標準的手法 •各々の書き換え規則(反応)は、](https://reader034.fdocuments.net/reader034/viewer/2022042222/5ec8fbc5174e812a312c15cc/html5/thumbnails/31.jpg)
ATACCAACAATAGTAACAGAC
TTGTTATCATTGTCTG
cba d
BC D
c d
![Page 32: 計算モデル論2013 - 東京大学hagi.is.s.u-tokyo.ac.jp/pub/staff/hagiya/kougiroku/mc/kmr2013-3.pdf · •確率的シミュレーションの標準的手法 •各々の書き換え規則(反応)は、](https://reader034.fdocuments.net/reader034/viewer/2022042222/5ec8fbc5174e812a312c15cc/html5/thumbnails/32.jpg)
ATACCAACAATAGTAACAGAC
TTGTTATCATTGTCTG
cba d
BC D
c d
![Page 33: 計算モデル論2013 - 東京大学hagi.is.s.u-tokyo.ac.jp/pub/staff/hagiya/kougiroku/mc/kmr2013-3.pdf · •確率的シミュレーションの標準的手法 •各々の書き換え規則(反応)は、](https://reader034.fdocuments.net/reader034/viewer/2022042222/5ec8fbc5174e812a312c15cc/html5/thumbnails/33.jpg)
ATACCAACAATAGTAACAGAC
TTGTTATCATTGTCTG
AGTAACAGAC
cba d
BC D
c d
![Page 34: 計算モデル論2013 - 東京大学hagi.is.s.u-tokyo.ac.jp/pub/staff/hagiya/kougiroku/mc/kmr2013-3.pdf · •確率的シミュレーションの標準的手法 •各々の書き換え規則(反応)は、](https://reader034.fdocuments.net/reader034/viewer/2022042222/5ec8fbc5174e812a312c15cc/html5/thumbnails/34.jpg)
グラフの書き換え
cba d
BC D
c d
![Page 35: 計算モデル論2013 - 東京大学hagi.is.s.u-tokyo.ac.jp/pub/staff/hagiya/kougiroku/mc/kmr2013-3.pdf · •確率的シミュレーションの標準的手法 •各々の書き換え規則(反応)は、](https://reader034.fdocuments.net/reader034/viewer/2022042222/5ec8fbc5174e812a312c15cc/html5/thumbnails/35.jpg)
グラフの書き換え
cba d
BC D
c d
![Page 36: 計算モデル論2013 - 東京大学hagi.is.s.u-tokyo.ac.jp/pub/staff/hagiya/kougiroku/mc/kmr2013-3.pdf · •確率的シミュレーションの標準的手法 •各々の書き換え規則(反応)は、](https://reader034.fdocuments.net/reader034/viewer/2022042222/5ec8fbc5174e812a312c15cc/html5/thumbnails/36.jpg)
グラフの書き換え
cba d
BC D
c d
![Page 37: 計算モデル論2013 - 東京大学hagi.is.s.u-tokyo.ac.jp/pub/staff/hagiya/kougiroku/mc/kmr2013-3.pdf · •確率的シミュレーションの標準的手法 •各々の書き換え規則(反応)は、](https://reader034.fdocuments.net/reader034/viewer/2022042222/5ec8fbc5174e812a312c15cc/html5/thumbnails/37.jpg)
グラフ書き換え規則
y
x
XY
y
y
x
XY
y
![Page 38: 計算モデル論2013 - 東京大学hagi.is.s.u-tokyo.ac.jp/pub/staff/hagiya/kougiroku/mc/kmr2013-3.pdf · •確率的シミュレーションの標準的手法 •各々の書き換え規則(反応)は、](https://reader034.fdocuments.net/reader034/viewer/2022042222/5ec8fbc5174e812a312c15cc/html5/thumbnails/38.jpg)
c
A
C
A
c a
C A
a
A
• Hybridization
• Denaturation
• Strand displacement(Branch migration)
三種類の反応
![Page 39: 計算モデル論2013 - 東京大学hagi.is.s.u-tokyo.ac.jp/pub/staff/hagiya/kougiroku/mc/kmr2013-3.pdf · •確率的シミュレーションの標準的手法 •各々の書き換え規則(反応)は、](https://reader034.fdocuments.net/reader034/viewer/2022042222/5ec8fbc5174e812a312c15cc/html5/thumbnails/39.jpg)
cA
C
A
c a
C A
a
A
• Hybridization
• Denaturation
• Strand displacement(Branch migration)
三種類の反応
![Page 40: 計算モデル論2013 - 東京大学hagi.is.s.u-tokyo.ac.jp/pub/staff/hagiya/kougiroku/mc/kmr2013-3.pdf · •確率的シミュレーションの標準的手法 •各々の書き換え規則(反応)は、](https://reader034.fdocuments.net/reader034/viewer/2022042222/5ec8fbc5174e812a312c15cc/html5/thumbnails/40.jpg)
cA
C
A
c a
C A
a
A
• Hybridization
• Denaturation
• Strand displacement(Branch migration)
三種類の反応
![Page 41: 計算モデル論2013 - 東京大学hagi.is.s.u-tokyo.ac.jp/pub/staff/hagiya/kougiroku/mc/kmr2013-3.pdf · •確率的シミュレーションの標準的手法 •各々の書き換え規則(反応)は、](https://reader034.fdocuments.net/reader034/viewer/2022042222/5ec8fbc5174e812a312c15cc/html5/thumbnails/41.jpg)
c
A
C
A
c a
C A
a
A
• Hybridization
• Denaturation
• Strand displacement(Branch migration)
三種類の反応
![Page 42: 計算モデル論2013 - 東京大学hagi.is.s.u-tokyo.ac.jp/pub/staff/hagiya/kougiroku/mc/kmr2013-3.pdf · •確率的シミュレーションの標準的手法 •各々の書き換え規則(反応)は、](https://reader034.fdocuments.net/reader034/viewer/2022042222/5ec8fbc5174e812a312c15cc/html5/thumbnails/42.jpg)
cA
C
A
c a
C A
a
A
• Hybridization
• Denaturation
• Strand displacement(Branch migration)
三種類の反応
![Page 43: 計算モデル論2013 - 東京大学hagi.is.s.u-tokyo.ac.jp/pub/staff/hagiya/kougiroku/mc/kmr2013-3.pdf · •確率的シミュレーションの標準的手法 •各々の書き換え規則(反応)は、](https://reader034.fdocuments.net/reader034/viewer/2022042222/5ec8fbc5174e812a312c15cc/html5/thumbnails/43.jpg)
c a
A
C A
A
c a
C A
• Hybridization
• Denaturation
• Strand displacement(Branch migration)
三種類の反応
![Page 44: 計算モデル論2013 - 東京大学hagi.is.s.u-tokyo.ac.jp/pub/staff/hagiya/kougiroku/mc/kmr2013-3.pdf · •確率的シミュレーションの標準的手法 •各々の書き換え規則(反応)は、](https://reader034.fdocuments.net/reader034/viewer/2022042222/5ec8fbc5174e812a312c15cc/html5/thumbnails/44.jpg)
Strand Displacement(Branch Migration)
y
x
XY
y
y
x
XY
y
![Page 45: 計算モデル論2013 - 東京大学hagi.is.s.u-tokyo.ac.jp/pub/staff/hagiya/kougiroku/mc/kmr2013-3.pdf · •確率的シミュレーションの標準的手法 •各々の書き換え規則(反応)は、](https://reader034.fdocuments.net/reader034/viewer/2022042222/5ec8fbc5174e812a312c15cc/html5/thumbnails/45.jpg)
Hybridization
x
X
x
X
![Page 46: 計算モデル論2013 - 東京大学hagi.is.s.u-tokyo.ac.jp/pub/staff/hagiya/kougiroku/mc/kmr2013-3.pdf · •確率的シミュレーションの標準的手法 •各々の書き換え規則(反応)は、](https://reader034.fdocuments.net/reader034/viewer/2022042222/5ec8fbc5174e812a312c15cc/html5/thumbnails/46.jpg)
Hybridization
x
X Y
y
x
X Y
y
![Page 47: 計算モデル論2013 - 東京大学hagi.is.s.u-tokyo.ac.jp/pub/staff/hagiya/kougiroku/mc/kmr2013-3.pdf · •確率的シミュレーションの標準的手法 •各々の書き換え規則(反応)は、](https://reader034.fdocuments.net/reader034/viewer/2022042222/5ec8fbc5174e812a312c15cc/html5/thumbnails/47.jpg)
Denaturation
x
X
x
X
![Page 48: 計算モデル論2013 - 東京大学hagi.is.s.u-tokyo.ac.jp/pub/staff/hagiya/kougiroku/mc/kmr2013-3.pdf · •確率的シミュレーションの標準的手法 •各々の書き換え規則(反応)は、](https://reader034.fdocuments.net/reader034/viewer/2022042222/5ec8fbc5174e812a312c15cc/html5/thumbnails/48.jpg)
反応速度の例(Kawamata et al.)
• 0.1 for bimolecular hybridization
• 1.0 for unimolecular hybridization to extend
• 1.0e-7 for unimolecular hybridization making loop
• 0.1 for other unimolecular hybridization
• 0.01 for branch migration reaction
• Denaturationの反応速度は配列に依存• Hybridizationの反応速度とともに、自由エネルギーの予想に合わせる
![Page 49: 計算モデル論2013 - 東京大学hagi.is.s.u-tokyo.ac.jp/pub/staff/hagiya/kougiroku/mc/kmr2013-3.pdf · •確率的シミュレーションの標準的手法 •各々の書き換え規則(反応)は、](https://reader034.fdocuments.net/reader034/viewer/2022042222/5ec8fbc5174e812a312c15cc/html5/thumbnails/49.jpg)
• Simulation result via graphical interface
Concentration changes Structure visualization
Kawamata’s Simulator
![Page 50: 計算モデル論2013 - 東京大学hagi.is.s.u-tokyo.ac.jp/pub/staff/hagiya/kougiroku/mc/kmr2013-3.pdf · •確率的シミュレーションの標準的手法 •各々の書き換え規則(反応)は、](https://reader034.fdocuments.net/reader034/viewer/2022042222/5ec8fbc5174e812a312c15cc/html5/thumbnails/50.jpg)
反応速度の推定
• Hybridization• 実測値
• およそ一定とみなす
• Denaturation• 二本鎖の自由エネルギーとhybridizationの速度から逆算する
• Strand displacement(Branch migration)• 実測値
• 配列(特に長さ)に依存
RT
G
D
H ek
kK
![Page 51: 計算モデル論2013 - 東京大学hagi.is.s.u-tokyo.ac.jp/pub/staff/hagiya/kougiroku/mc/kmr2013-3.pdf · •確率的シミュレーションの標準的手法 •各々の書き換え規則(反応)は、](https://reader034.fdocuments.net/reader034/viewer/2022042222/5ec8fbc5174e812a312c15cc/html5/thumbnails/51.jpg)
DNA二本鎖のエネルギーモデル
・ ・ ・ ・ ・ ・
・ ・ ・・ ・ ・
Base pair が交差する場合は考慮しない ( = 一本鎖における Pseudoknot free)
全体のΔG を部分的な構造の ΔG の総和として計算する
5‘-
3‘-
- 3‘
- 5‘
インターナルループ [Zuker 03]
フリーエンド [Zuker 03]
使用するパラメータ
スタッキングペア [Tanaka 04]
バルジループ
一塩基バルジループ [Tanaka 04]
その他のバルジ [Zuker 03]
Nearest-Neighbor model (NN model)
![Page 52: 計算モデル論2013 - 東京大学hagi.is.s.u-tokyo.ac.jp/pub/staff/hagiya/kougiroku/mc/kmr2013-3.pdf · •確率的シミュレーションの標準的手法 •各々の書き換え規則(反応)は、](https://reader034.fdocuments.net/reader034/viewer/2022042222/5ec8fbc5174e812a312c15cc/html5/thumbnails/52.jpg)
π計算と確率π計算膜構造を持つ計算モデル
![Page 53: 計算モデル論2013 - 東京大学hagi.is.s.u-tokyo.ac.jp/pub/staff/hagiya/kougiroku/mc/kmr2013-3.pdf · •確率的シミュレーションの標準的手法 •各々の書き換え規則(反応)は、](https://reader034.fdocuments.net/reader034/viewer/2022042222/5ec8fbc5174e812a312c15cc/html5/thumbnails/53.jpg)
並列・並行・分散
•並列計算• たくさんのプロセスがそれぞれのコンピュータ(CPU)の上で同時に計算する
•並行計算• 複数のプロセスが通信し合いながら、ひとまとまりの計算を行う
• 必ずしも並列計算を必要としない
×平行計算
•分散計算• たくさんのプロセスが物理的に分散して計算する
![Page 54: 計算モデル論2013 - 東京大学hagi.is.s.u-tokyo.ac.jp/pub/staff/hagiya/kougiroku/mc/kmr2013-3.pdf · •確率的シミュレーションの標準的手法 •各々の書き換え規則(反応)は、](https://reader034.fdocuments.net/reader034/viewer/2022042222/5ec8fbc5174e812a312c15cc/html5/thumbnails/54.jpg)
プロセス計算の蘊蓄
• プロセス計算の原点は化学抽象機械にある• 化学反応に触発された抽象的な計算体系
• 並列・並行・分散計算のモデル
•以後、様々なプロセス計算が発展• π計算・応用π計算・アンビエント計算・・・
• ネットワークプロトコルやウェブサービス
• プロセス計算に基づくプログラミング言語
•最近では生体内の化学反応にも応用• 確率π計算・κ計算
Chemical Abstract Machine
![Page 55: 計算モデル論2013 - 東京大学hagi.is.s.u-tokyo.ac.jp/pub/staff/hagiya/kougiroku/mc/kmr2013-3.pdf · •確率的シミュレーションの標準的手法 •各々の書き換え規則(反応)は、](https://reader034.fdocuments.net/reader034/viewer/2022042222/5ec8fbc5174e812a312c15cc/html5/thumbnails/55.jpg)
π計算
•並行計算のモデル
• チャネルを通して通信し合うプロセス• 各種の反応を表現することが可能
•入れ子の構造• 膜のモデル
• プロセス間の等価性の理論が発展
•非決定性に確率を付与⇒確率π計算
![Page 56: 計算モデル論2013 - 東京大学hagi.is.s.u-tokyo.ac.jp/pub/staff/hagiya/kougiroku/mc/kmr2013-3.pdf · •確率的シミュレーションの標準的手法 •各々の書き換え規則(反応)は、](https://reader034.fdocuments.net/reader034/viewer/2022042222/5ec8fbc5174e812a312c15cc/html5/thumbnails/56.jpg)
プロセスの定義
Gene(a,b) := t.(Gene(a,b)|Protein(b)) + a.t.Gene(a,b)
Protein(b) := b.Protein(b) + t.0
チョイス
並列合成
自発的遷移
チャネルaからの入力
チャネルbへの出力
![Page 57: 計算モデル論2013 - 東京大学hagi.is.s.u-tokyo.ac.jp/pub/staff/hagiya/kougiroku/mc/kmr2013-3.pdf · •確率的シミュレーションの標準的手法 •各々の書き換え規則(反応)は、](https://reader034.fdocuments.net/reader034/viewer/2022042222/5ec8fbc5174e812a312c15cc/html5/thumbnails/57.jpg)
自発的遷移
...|(… + t.P + …)|... → ...|P|...
...|(t.(Gene(a,b)|Protein(b)) + a.t.Gene(a,b))|...
→ ...|Gene(a,b)|Protein(b)|…
...|(b.Protein(b) + t.0)|... → ...|0|... ...|...
![Page 58: 計算モデル論2013 - 東京大学hagi.is.s.u-tokyo.ac.jp/pub/staff/hagiya/kougiroku/mc/kmr2013-3.pdf · •確率的シミュレーションの標準的手法 •各々の書き換え規則(反応)は、](https://reader034.fdocuments.net/reader034/viewer/2022042222/5ec8fbc5174e812a312c15cc/html5/thumbnails/58.jpg)
通信
...|(… + a.P + …)|(… + a.Q + …)|...
→ ...|P|Q|...
• より一般的には
...|(… + a(x).P(x) + …)|(… + a(M).Q + …)|...
→ ...|P(M)|Q|...
![Page 59: 計算モデル論2013 - 東京大学hagi.is.s.u-tokyo.ac.jp/pub/staff/hagiya/kougiroku/mc/kmr2013-3.pdf · •確率的シミュレーションの標準的手法 •各々の書き換え規則(反応)は、](https://reader034.fdocuments.net/reader034/viewer/2022042222/5ec8fbc5174e812a312c15cc/html5/thumbnails/59.jpg)
通信
...|(… + a.P + …)|(… + a.Q + …)|...
→ ...|P|Q|...
...|(t.(Gene(a,b)|Protein(b)) + a.t.Gene(a,b))
|(a.Protein(a) + t.0)|...
→ ...|t.Gene(a,b)|Protein(a)|...
![Page 60: 計算モデル論2013 - 東京大学hagi.is.s.u-tokyo.ac.jp/pub/staff/hagiya/kougiroku/mc/kmr2013-3.pdf · •確率的シミュレーションの標準的手法 •各々の書き換え規則(反応)は、](https://reader034.fdocuments.net/reader034/viewer/2022042222/5ec8fbc5174e812a312c15cc/html5/thumbnails/60.jpg)
例
Gene(a,b)|Protein(a)
(t.(Gene(a,b)|Protein(b)) + a.t.Gene(a,b))|(a.Protein(a) + t.0)
→ t.Gene(a,b)|Protein(a)
→ Gene(a,b)|Protein(a)
(t.(Gene(a,b)|Protein(b)) + a.t.Gene(a,b))|(a.Protein(a) + t.0)
→ (t.(Gene(a,b)|Protein(b)) + a.t.Gene(a,b))|0
(t.(Gene(a,b)|Protein(b)) + a.t.Gene(a,b))
→ Gene(a,b)|Protein(b)
(t.(Gene(a,b)|Protein(b)) + a.t.Gene(a,b))|(b.Protein(b) + t.0)
→ Gene(a,b)|Protein(b)|(b.Protein(b) + t.0)
![Page 61: 計算モデル論2013 - 東京大学hagi.is.s.u-tokyo.ac.jp/pub/staff/hagiya/kougiroku/mc/kmr2013-3.pdf · •確率的シミュレーションの標準的手法 •各々の書き換え規則(反応)は、](https://reader034.fdocuments.net/reader034/viewer/2022042222/5ec8fbc5174e812a312c15cc/html5/thumbnails/61.jpg)
確率π計算
Gene(a,b) := tt.(Gene(a,b)|Protein(b)) + a.tu.Gene(a,b)
Protein(b) := b.Protein(b) + td.0
チョイス
並列合成
自発的遷移
チャネルaからの入力
チャネルbへの出力 r(b)
チャネルbの速度
遅延遅延
遅延
![Page 62: 計算モデル論2013 - 東京大学hagi.is.s.u-tokyo.ac.jp/pub/staff/hagiya/kougiroku/mc/kmr2013-3.pdf · •確率的シミュレーションの標準的手法 •各々の書き換え規則(反応)は、](https://reader034.fdocuments.net/reader034/viewer/2022042222/5ec8fbc5174e812a312c15cc/html5/thumbnails/62.jpg)
プロセスの例
• トグル・スイッチ
Gene(a,b)|Gene(b,a)
• オシレータ
Gene(a,b)|Gene(b,c)|Gene(c,a)
![Page 63: 計算モデル論2013 - 東京大学hagi.is.s.u-tokyo.ac.jp/pub/staff/hagiya/kougiroku/mc/kmr2013-3.pdf · •確率的シミュレーションの標準的手法 •各々の書き換え規則(反応)は、](https://reader034.fdocuments.net/reader034/viewer/2022042222/5ec8fbc5174e812a312c15cc/html5/thumbnails/63.jpg)
例:遺伝子回路によるトグル・スイッチ
Tian et al. 2006
![Page 64: 計算モデル論2013 - 東京大学hagi.is.s.u-tokyo.ac.jp/pub/staff/hagiya/kougiroku/mc/kmr2013-3.pdf · •確率的シミュレーションの標準的手法 •各々の書き換え規則(反応)は、](https://reader034.fdocuments.net/reader034/viewer/2022042222/5ec8fbc5174e812a312c15cc/html5/thumbnails/64.jpg)
プロセスの例
• トグル・スイッチ
Gene(a,b)|Gene(b,a)
• オシレータ
Gene(a,b)|Gene(b,c)|Gene(c,a)
![Page 65: 計算モデル論2013 - 東京大学hagi.is.s.u-tokyo.ac.jp/pub/staff/hagiya/kougiroku/mc/kmr2013-3.pdf · •確率的シミュレーションの標準的手法 •各々の書き換え規則(反応)は、](https://reader034.fdocuments.net/reader034/viewer/2022042222/5ec8fbc5174e812a312c15cc/html5/thumbnails/65.jpg)
r(a) = r(b) = r(c) = 1.0t = 0.1d = 0.001u = 0.0001