powerpoint プレゼンテーションhagi.is.s.u-tokyo.ac.jp/pub/staff/hagiya/kougiroku/mc/...this...
TRANSCRIPT
![Page 1: PowerPoint プレゼンテーションhagi.is.s.u-tokyo.ac.jp/pub/staff/hagiya/kougiroku/mc/...This week in Science (4), Shawn Douglas and colleagues at the Wyss Institute for Biologically](https://reader035.vdocuments.net/reader035/viewer/2022071012/5fcae5951da0fd327b66066f/html5/thumbnails/1.jpg)
計算モデル論2013萩谷担当分全5回
![Page 2: PowerPoint プレゼンテーションhagi.is.s.u-tokyo.ac.jp/pub/staff/hagiya/kougiroku/mc/...This week in Science (4), Shawn Douglas and colleagues at the Wyss Institute for Biologically](https://reader035.vdocuments.net/reader035/viewer/2022071012/5fcae5951da0fd327b66066f/html5/thumbnails/2.jpg)
予定
•分子コンピューティングから、計算とエネルギーの話、可逆計算• ランダウアーの原理・可逆チューリング機械・可逆論理回路
•分子コンピューティング・分子ロボティクス・合成生物学• DNAコンピュータ・DNAナノテクノロジー
•分子コンピューティングや合成生物学のための計算モデル• 確率状態遷移系・ジレスピーのアルゴリズム・・・
• ニューラルネットワーク・・・• ホップフィールネットワーク・ボルツマンマシン
•遺伝的アルゴリズム・進化計算・スウォーム計算
![Page 3: PowerPoint プレゼンテーションhagi.is.s.u-tokyo.ac.jp/pub/staff/hagiya/kougiroku/mc/...This week in Science (4), Shawn Douglas and colleagues at the Wyss Institute for Biologically](https://reader035.vdocuments.net/reader035/viewer/2022071012/5fcae5951da0fd327b66066f/html5/thumbnails/3.jpg)
分子コンピューティング・分子ロボティクス
•分子ロボット?• 機械のロボットと同様に、センサー・コンピュータ・アクチュエータから成る自律的なシステム• 外から一挙動ごとに指令しなくても、環境をセンス(計測)して、自分で情報処理と判断をして、行動する(動く・薬などを放出する・自爆する・・・)
• ただし、人工物(細胞はロボットではない)
![Page 4: PowerPoint プレゼンテーションhagi.is.s.u-tokyo.ac.jp/pub/staff/hagiya/kougiroku/mc/...This week in Science (4), Shawn Douglas and colleagues at the Wyss Institute for Biologically](https://reader035.vdocuments.net/reader035/viewer/2022071012/5fcae5951da0fd327b66066f/html5/thumbnails/4.jpg)
ロボットを構成する部品
•演算装置(論理回路,マイコン)
•構造体(ボディ)
• アクチュエータ(モータ)
• センサー
• エネルギー源(電池)
![Page 5: PowerPoint プレゼンテーションhagi.is.s.u-tokyo.ac.jp/pub/staff/hagiya/kougiroku/mc/...This week in Science (4), Shawn Douglas and colleagues at the Wyss Institute for Biologically](https://reader035.vdocuments.net/reader035/viewer/2022071012/5fcae5951da0fd327b66066f/html5/thumbnails/5.jpg)
ロボットを構成する部品
•演算装置(論理回路,マイコン)
•構造体(ボディ)
• アクチュエータ(モータ)
• センサー
• エネルギー源(電池)
自律性
![Page 6: PowerPoint プレゼンテーションhagi.is.s.u-tokyo.ac.jp/pub/staff/hagiya/kougiroku/mc/...This week in Science (4), Shawn Douglas and colleagues at the Wyss Institute for Biologically](https://reader035.vdocuments.net/reader035/viewer/2022071012/5fcae5951da0fd327b66066f/html5/thumbnails/6.jpg)
分子ロボットとは?
• センサー,情報処理回路,アクチュエータ,構造というロボットの構成要素がすべて分子レベルで実現され,さらに,これらが有機的なネットワークとして働くシステム
![Page 7: PowerPoint プレゼンテーションhagi.is.s.u-tokyo.ac.jp/pub/staff/hagiya/kougiroku/mc/...This week in Science (4), Shawn Douglas and colleagues at the Wyss Institute for Biologically](https://reader035.vdocuments.net/reader035/viewer/2022071012/5fcae5951da0fd327b66066f/html5/thumbnails/7.jpg)
sensor sensor
actuator
computer
signal
order
drug production
sensor sensor
actuator
computer
signal
order
chemical computer
![Page 8: PowerPoint プレゼンテーションhagi.is.s.u-tokyo.ac.jp/pub/staff/hagiya/kougiroku/mc/...This week in Science (4), Shawn Douglas and colleagues at the Wyss Institute for Biologically](https://reader035.vdocuments.net/reader035/viewer/2022071012/5fcae5951da0fd327b66066f/html5/thumbnails/8.jpg)
http://www.nanotech-now.com/Art_Gallery/antonio-siber.htm
http://escuadrondelaverdad.wordpress.com/category/salud/page/2/
![Page 9: PowerPoint プレゼンテーションhagi.is.s.u-tokyo.ac.jp/pub/staff/hagiya/kougiroku/mc/...This week in Science (4), Shawn Douglas and colleagues at the Wyss Institute for Biologically](https://reader035.vdocuments.net/reader035/viewer/2022071012/5fcae5951da0fd327b66066f/html5/thumbnails/9.jpg)
こちらは本物!
This week in Science (4), Shawn Douglas and colleagues at the Wyss Institute for Biologically Inspired Engineering at Harvard University present a simple and effective DNA nanorobot that successfully delivers antibodies to kill cancer cells and bacterial proteins to activate T cells.
DNA Robots to the Rescue02/16/2012
http://stke.sciencemag.org/cgi/content/full/sci;335/6070/831
![Page 10: PowerPoint プレゼンテーションhagi.is.s.u-tokyo.ac.jp/pub/staff/hagiya/kougiroku/mc/...This week in Science (4), Shawn Douglas and colleagues at the Wyss Institute for Biologically](https://reader035.vdocuments.net/reader035/viewer/2022071012/5fcae5951da0fd327b66066f/html5/thumbnails/10.jpg)
こちらは本物!
This week in Science (4), Shawn Douglas and colleagues at the Wyss Institute for Biologically Inspired Engineering at Harvard University present a simple and effective DNA nanorobot that successfully delivers antibodies to kill cancer cells and bacterial proteins to activate T cells.
DNA Robots to the Rescue02/16/2012
DNAの編み物
樽のように閉じている
センサーの分子(DNAやタンパク)
樽を開く
抗体など、アクチュエータの
分子
ただし、知能はほとんどない
http://stke.sciencemag.org/cgi/content/full/sci;335/6070/831
![Page 11: PowerPoint プレゼンテーションhagi.is.s.u-tokyo.ac.jp/pub/staff/hagiya/kougiroku/mc/...This week in Science (4), Shawn Douglas and colleagues at the Wyss Institute for Biologically](https://reader035.vdocuments.net/reader035/viewer/2022071012/5fcae5951da0fd327b66066f/html5/thumbnails/11.jpg)
分子コンピューティング・分子ロボティクス
•分子ロボット?• 機械のロボットと同様に、センサー・コンピュータ・アクチュエータから成る自律的なシステム• 外から一挙動ごとに指令しなくても、環境をセンス(計測)して、自分で情報処理と判断をして、行動する(動く・薬などを放出する・自爆する・・・)
• ただし、人工物(細胞はロボットではない)
![Page 12: PowerPoint プレゼンテーションhagi.is.s.u-tokyo.ac.jp/pub/staff/hagiya/kougiroku/mc/...This week in Science (4), Shawn Douglas and colleagues at the Wyss Institute for Biologically](https://reader035.vdocuments.net/reader035/viewer/2022071012/5fcae5951da0fd327b66066f/html5/thumbnails/12.jpg)
分子コンピューティング・分子ロボティクス
•分子ロボット?• 機械のロボットと同様に、センサー・コンピュータ・アクチュエータから成る自律的なシステム• 外から一挙動ごとに指令しなくても、環境をセンス(計測)して、自分で情報処理と判断をして、行動する(動く・薬などを放出する・自爆する・・・)
• ただし、人工物(細胞はロボットではない)
•分子ロボットのコンピュータ?• 分子コンピューティング(分子計算)
• 分子計算というとシミュレーション(量子化学や分子動力学)を指すことが多い
![Page 13: PowerPoint プレゼンテーションhagi.is.s.u-tokyo.ac.jp/pub/staff/hagiya/kougiroku/mc/...This week in Science (4), Shawn Douglas and colleagues at the Wyss Institute for Biologically](https://reader035.vdocuments.net/reader035/viewer/2022071012/5fcae5951da0fd327b66066f/html5/thumbnails/13.jpg)
分子コンピューティング:分子で計算
•電子回路も分子でできている?
![Page 14: PowerPoint プレゼンテーションhagi.is.s.u-tokyo.ac.jp/pub/staff/hagiya/kougiroku/mc/...This week in Science (4), Shawn Douglas and colleagues at the Wyss Institute for Biologically](https://reader035.vdocuments.net/reader035/viewer/2022071012/5fcae5951da0fd327b66066f/html5/thumbnails/14.jpg)
分子コンピューティング:分子で計算
•電子回路も分子でできている?• そうではなくて、個々の分子が計算を行う
• 特に、化学反応による計算
![Page 15: PowerPoint プレゼンテーションhagi.is.s.u-tokyo.ac.jp/pub/staff/hagiya/kougiroku/mc/...This week in Science (4), Shawn Douglas and colleagues at the Wyss Institute for Biologically](https://reader035.vdocuments.net/reader035/viewer/2022071012/5fcae5951da0fd327b66066f/html5/thumbnails/15.jpg)
分子コンピューティング:分子で計算
•電子回路も分子でできている?• そうではなくて、個々の分子が計算を行う
• 特に、化学反応による計算
•理論的な興味は昔からあった• 特に物理学者たち
• 計算の熱力学的限界(ランダウアーの原理)
![Page 16: PowerPoint プレゼンテーションhagi.is.s.u-tokyo.ac.jp/pub/staff/hagiya/kougiroku/mc/...This week in Science (4), Shawn Douglas and colleagues at the Wyss Institute for Biologically](https://reader035.vdocuments.net/reader035/viewer/2022071012/5fcae5951da0fd327b66066f/html5/thumbnails/16.jpg)
分子コンピューティング:分子で計算
•電子回路も分子でできている?• そうではなくて、個々の分子が計算を行う
• 特に、化学反応による計算
•理論的な興味は昔からあった• 特に物理学者たち
• 計算の熱力学的限界(ランダウアーの原理)• 1ビットの情報が失われる計算(たとえばXOR)は、kT ln 2 の熱を発生(kはボルツマン定数、Tは絶対温度、ln 2=0.69315)
![Page 17: PowerPoint プレゼンテーションhagi.is.s.u-tokyo.ac.jp/pub/staff/hagiya/kougiroku/mc/...This week in Science (4), Shawn Douglas and colleagues at the Wyss Institute for Biologically](https://reader035.vdocuments.net/reader035/viewer/2022071012/5fcae5951da0fd327b66066f/html5/thumbnails/17.jpg)
kT ln 2 ?0
0
0
1
1
0
1
1
0
1
4通り 2通り
組み合わせの数が減っている各場合の物理的な状態の数は増えている乱雑さ(エントロピー)は増えているエネルギーが必要結局、熱となって散逸
![Page 18: PowerPoint プレゼンテーションhagi.is.s.u-tokyo.ac.jp/pub/staff/hagiya/kougiroku/mc/...This week in Science (4), Shawn Douglas and colleagues at the Wyss Institute for Biologically](https://reader035.vdocuments.net/reader035/viewer/2022071012/5fcae5951da0fd327b66066f/html5/thumbnails/18.jpg)
最も簡単な場合
• 1ビットを記憶するエネルギー
V1
![Page 19: PowerPoint プレゼンテーションhagi.is.s.u-tokyo.ac.jp/pub/staff/hagiya/kougiroku/mc/...This week in Science (4), Shawn Douglas and colleagues at the Wyss Institute for Biologically](https://reader035.vdocuments.net/reader035/viewer/2022071012/5fcae5951da0fd327b66066f/html5/thumbnails/19.jpg)
最も簡単な場合
• 1ビットを記憶するエネルギー
V1
![Page 20: PowerPoint プレゼンテーションhagi.is.s.u-tokyo.ac.jp/pub/staff/hagiya/kougiroku/mc/...This week in Science (4), Shawn Douglas and colleagues at the Wyss Institute for Biologically](https://reader035.vdocuments.net/reader035/viewer/2022071012/5fcae5951da0fd327b66066f/html5/thumbnails/20.jpg)
最も簡単な場合
• 1ビットを記憶するエネルギー
等温過程pV = kT ---理想気体分子1個dW = -pdV = -(kT/V)dV積分すればW = -kT ln (V2/V1)
= -kT ln (1/2) = kT ln 2
V2
V1
![Page 21: PowerPoint プレゼンテーションhagi.is.s.u-tokyo.ac.jp/pub/staff/hagiya/kougiroku/mc/...This week in Science (4), Shawn Douglas and colleagues at the Wyss Institute for Biologically](https://reader035.vdocuments.net/reader035/viewer/2022071012/5fcae5951da0fd327b66066f/html5/thumbnails/21.jpg)
最も簡単な場合
• もし、1ビットの情報が失われたならば、その1ビットを記憶するために使ったエネルギーは散逸してしまったはず
![Page 22: PowerPoint プレゼンテーションhagi.is.s.u-tokyo.ac.jp/pub/staff/hagiya/kougiroku/mc/...This week in Science (4), Shawn Douglas and colleagues at the Wyss Institute for Biologically](https://reader035.vdocuments.net/reader035/viewer/2022071012/5fcae5951da0fd327b66066f/html5/thumbnails/22.jpg)
最も簡単な場合
• もし、1ビットの情報が失われたならば、その1ビットを記憶するために使ったエネルギーは散逸してしまったはず
• 1ビットを記憶したエネルギーをうまく回収できる?• 回収するためには、その情報を保持していなければならない。
• ということは、その情報は失われていない?
![Page 23: PowerPoint プレゼンテーションhagi.is.s.u-tokyo.ac.jp/pub/staff/hagiya/kougiroku/mc/...This week in Science (4), Shawn Douglas and colleagues at the Wyss Institute for Biologically](https://reader035.vdocuments.net/reader035/viewer/2022071012/5fcae5951da0fd327b66066f/html5/thumbnails/23.jpg)
最も簡単な場合
• もし、1ビットの情報が失われたならば、その1ビットを記憶するために使ったエネルギーは散逸してしまったはず
• 1ビットを記憶したエネルギーをうまく回収できる?• 回収するためには、その情報を保持していなければならない。
• ということは、その情報は失われていない?
•少なくとも、リセットして計算を再実行するにはエネルギーが必要
![Page 24: PowerPoint プレゼンテーションhagi.is.s.u-tokyo.ac.jp/pub/staff/hagiya/kougiroku/mc/...This week in Science (4), Shawn Douglas and colleagues at the Wyss Institute for Biologically](https://reader035.vdocuments.net/reader035/viewer/2022071012/5fcae5951da0fd327b66066f/html5/thumbnails/24.jpg)
最も簡単な場合
• もし、1ビットの情報が失われたならば、その1ビットを記憶するために使ったエネルギーは散逸してしまったはず
• 1ビットを記憶したエネルギーをうまく回収できる?• 回収するためには、その情報を保持していなければならない。
• ということは、その情報は失われていない?
•少なくとも、リセットして計算を再実行するにはエネルギーが必要
• ともかく、可逆計算ならば、エネルギー消費を限りなく0に近づけられることを示すことができる
![Page 25: PowerPoint プレゼンテーションhagi.is.s.u-tokyo.ac.jp/pub/staff/hagiya/kougiroku/mc/...This week in Science (4), Shawn Douglas and colleagues at the Wyss Institute for Biologically](https://reader035.vdocuments.net/reader035/viewer/2022071012/5fcae5951da0fd327b66066f/html5/thumbnails/25.jpg)
分子コンピューティング:分子で計算
•電子回路も分子でできている?• そうではなくて、個々の分子が計算を行う
• 特に、化学反応による計算
•理論的な興味は昔からあった• 特に物理学者たち
• 計算の熱力学的限界(ランダウアーの原理)• 1ビットの情報が失われる計算(たとえばXOR)は、kT ln 2 の熱を発生(kはボルツマン定数、Tは絶対温度、ln 2=0.69315)
![Page 26: PowerPoint プレゼンテーションhagi.is.s.u-tokyo.ac.jp/pub/staff/hagiya/kougiroku/mc/...This week in Science (4), Shawn Douglas and colleagues at the Wyss Institute for Biologically](https://reader035.vdocuments.net/reader035/viewer/2022071012/5fcae5951da0fd327b66066f/html5/thumbnails/26.jpg)
分子コンピューティング:分子で計算
•電子回路も分子でできている?• そうではなくて、個々の分子が計算を行う
• 特に、化学反応による計算
•理論的な興味は昔からあった• 特に物理学者たち
• 計算の熱力学的限界(ランダウアーの原理)• 1ビットの情報が失われる計算(たとえばXOR)は、kT ln 2 の熱を発生(kはボルツマン定数、Tは絶対温度、ln 2=0.69315)
• 情報を失わない可逆計算ならば、計算に必要なエネルギーは限りなく0に近づけることができる
![Page 27: PowerPoint プレゼンテーションhagi.is.s.u-tokyo.ac.jp/pub/staff/hagiya/kougiroku/mc/...This week in Science (4), Shawn Douglas and colleagues at the Wyss Institute for Biologically](https://reader035.vdocuments.net/reader035/viewer/2022071012/5fcae5951da0fd327b66066f/html5/thumbnails/27.jpg)
可逆計算?0
0
0
1
1
0
1
1
出力を増やすと、計算が可逆になりエントロピーを保存することが可能?すると、エネルギーの散逸は免れる?余分な出力は最後に捨てればよい
![Page 28: PowerPoint プレゼンテーションhagi.is.s.u-tokyo.ac.jp/pub/staff/hagiya/kougiroku/mc/...This week in Science (4), Shawn Douglas and colleagues at the Wyss Institute for Biologically](https://reader035.vdocuments.net/reader035/viewer/2022071012/5fcae5951da0fd327b66066f/html5/thumbnails/28.jpg)
可逆計算? 0
0
1
1
1
0
0
1
出力を増やすと、計算が可逆になりエントロピーを保存することが可能?すると、エネルギーの散逸は免れる?余分な出力は最後に捨てればよい
![Page 29: PowerPoint プレゼンテーションhagi.is.s.u-tokyo.ac.jp/pub/staff/hagiya/kougiroku/mc/...This week in Science (4), Shawn Douglas and colleagues at the Wyss Institute for Biologically](https://reader035.vdocuments.net/reader035/viewer/2022071012/5fcae5951da0fd327b66066f/html5/thumbnails/29.jpg)
ここで、チューリング機械
![Page 30: PowerPoint プレゼンテーションhagi.is.s.u-tokyo.ac.jp/pub/staff/hagiya/kougiroku/mc/...This week in Science (4), Shawn Douglas and colleagues at the Wyss Institute for Biologically](https://reader035.vdocuments.net/reader035/viewer/2022071012/5fcae5951da0fd327b66066f/html5/thumbnails/30.jpg)
ここで、チューリング機械
• アラン・チューリングを知っていますか?
![Page 31: PowerPoint プレゼンテーションhagi.is.s.u-tokyo.ac.jp/pub/staff/hagiya/kougiroku/mc/...This week in Science (4), Shawn Douglas and colleagues at the Wyss Institute for Biologically](https://reader035.vdocuments.net/reader035/viewer/2022071012/5fcae5951da0fd327b66066f/html5/thumbnails/31.jpg)
ここで、チューリング機械
• アラン・チューリングを知っていますか?
• 1912年生
• チューリング機械
• チューリングボンベ
• ACEコンピュータの設計
• Manchester Mark I のプログラミング
• チューリングテスト
• チューリングパターン
![Page 32: PowerPoint プレゼンテーションhagi.is.s.u-tokyo.ac.jp/pub/staff/hagiya/kougiroku/mc/...This week in Science (4), Shawn Douglas and colleagues at the Wyss Institute for Biologically](https://reader035.vdocuments.net/reader035/viewer/2022071012/5fcae5951da0fd327b66066f/html5/thumbnails/32.jpg)
チューリング機械
http://www.youtube.com/watch?feature=player_detailpage&v=E3keLeMwfHY
![Page 33: PowerPoint プレゼンテーションhagi.is.s.u-tokyo.ac.jp/pub/staff/hagiya/kougiroku/mc/...This week in Science (4), Shawn Douglas and colleagues at the Wyss Institute for Biologically](https://reader035.vdocuments.net/reader035/viewer/2022071012/5fcae5951da0fd327b66066f/html5/thumbnails/33.jpg)
チューリング機械
• ヘッドの下(上?)の文字を読む
•読んだ文字と現在の状態から、遷移規則にしたがって、次の状態に遷移し、ヘッドの下に文字を書き込み、ヘッドを左か右に動かす
•以上を、停止状態と定められた状態に達するまで繰り返す
•遷移規則はチューリング機械ごとに異なる
•文字の種類もチューリング機械ごとに定める(0と1と空白が典型的)
• ただし、状態の種類と文字の種類は有限個
• テープは左右に無限に伸びる(最初から無限でなくても、必要に応じて継ぎ足せればよい)
![Page 34: PowerPoint プレゼンテーションhagi.is.s.u-tokyo.ac.jp/pub/staff/hagiya/kougiroku/mc/...This week in Science (4), Shawn Douglas and colleagues at the Wyss Institute for Biologically](https://reader035.vdocuments.net/reader035/viewer/2022071012/5fcae5951da0fd327b66066f/html5/thumbnails/34.jpg)
チューリング機械
1 0 1 1 1
1 0 1 1
1 0 0 0
![Page 35: PowerPoint プレゼンテーションhagi.is.s.u-tokyo.ac.jp/pub/staff/hagiya/kougiroku/mc/...This week in Science (4), Shawn Douglas and colleagues at the Wyss Institute for Biologically](https://reader035.vdocuments.net/reader035/viewer/2022071012/5fcae5951da0fd327b66066f/html5/thumbnails/35.jpg)
チューリング機械
•標準的な計算モデルの一つ
• 「計算できること」は、必ず、いずれかのチューリング機械によって計算できる
•計算可能な関数は、必ず、いずれかのチューリング機械によって実現できる
•計算によって解ける問題は、必ず、いずれかのチューリング機械によって解ける
• チューリング機械ができないことは、計算不能
![Page 36: PowerPoint プレゼンテーションhagi.is.s.u-tokyo.ac.jp/pub/staff/hagiya/kougiroku/mc/...This week in Science (4), Shawn Douglas and colleagues at the Wyss Institute for Biologically](https://reader035.vdocuments.net/reader035/viewer/2022071012/5fcae5951da0fd327b66066f/html5/thumbnails/36.jpg)
チューリング機械
http://www.youtube.com/watch?feature=player_detailpage&v=E3keLeMwfHY
![Page 37: PowerPoint プレゼンテーションhagi.is.s.u-tokyo.ac.jp/pub/staff/hagiya/kougiroku/mc/...This week in Science (4), Shawn Douglas and colleagues at the Wyss Institute for Biologically](https://reader035.vdocuments.net/reader035/viewer/2022071012/5fcae5951da0fd327b66066f/html5/thumbnails/37.jpg)
RNAポリメラーゼ
http://www.tmd.ac.jp/artsci/biol/textbook/geneteng.htm http://www.seibutsushi.net/blog/2008/10/000589.html
![Page 38: PowerPoint プレゼンテーションhagi.is.s.u-tokyo.ac.jp/pub/staff/hagiya/kougiroku/mc/...This week in Science (4), Shawn Douglas and colleagues at the Wyss Institute for Biologically](https://reader035.vdocuments.net/reader035/viewer/2022071012/5fcae5951da0fd327b66066f/html5/thumbnails/38.jpg)
DNAポリメラーゼ
http://3dciencia.com/blog/?p=248http://namaketarou.kakurezato.com/biotechnology/pcr/
![Page 39: PowerPoint プレゼンテーションhagi.is.s.u-tokyo.ac.jp/pub/staff/hagiya/kougiroku/mc/...This week in Science (4), Shawn Douglas and colleagues at the Wyss Institute for Biologically](https://reader035.vdocuments.net/reader035/viewer/2022071012/5fcae5951da0fd327b66066f/html5/thumbnails/39.jpg)
リボソーム
http://en.m.wikipedia.org/wiki/Ribosome http://micro.magnet.fsu.edu/cells/ribosomes/ribosomes.html
![Page 40: PowerPoint プレゼンテーションhagi.is.s.u-tokyo.ac.jp/pub/staff/hagiya/kougiroku/mc/...This week in Science (4), Shawn Douglas and colleagues at the Wyss Institute for Biologically](https://reader035.vdocuments.net/reader035/viewer/2022071012/5fcae5951da0fd327b66066f/html5/thumbnails/40.jpg)
分子チューリング機械?
d d
q(p, b, c, L, q)
…
![Page 41: PowerPoint プレゼンテーションhagi.is.s.u-tokyo.ac.jp/pub/staff/hagiya/kougiroku/mc/...This week in Science (4), Shawn Douglas and colleagues at the Wyss Institute for Biologically](https://reader035.vdocuments.net/reader035/viewer/2022071012/5fcae5951da0fd327b66066f/html5/thumbnails/41.jpg)
(非可逆)チューリング機械
1 0 1 1 1
1 0 1 1
1 0 0 0
![Page 42: PowerPoint プレゼンテーションhagi.is.s.u-tokyo.ac.jp/pub/staff/hagiya/kougiroku/mc/...This week in Science (4), Shawn Douglas and colleagues at the Wyss Institute for Biologically](https://reader035.vdocuments.net/reader035/viewer/2022071012/5fcae5951da0fd327b66066f/html5/thumbnails/42.jpg)
可逆チューリング機械
…
![Page 43: PowerPoint プレゼンテーションhagi.is.s.u-tokyo.ac.jp/pub/staff/hagiya/kougiroku/mc/...This week in Science (4), Shawn Douglas and colleagues at the Wyss Institute for Biologically](https://reader035.vdocuments.net/reader035/viewer/2022071012/5fcae5951da0fd327b66066f/html5/thumbnails/43.jpg)
可逆チューリング機械
•遷移を逆戻りすることが可能なチューリング機械• どんなチューリング機械に対しても、同じ計算をする可逆チューリング機械を構成することができる
• XORの例と同様に、余分な情報を追加することにより、可逆な計算に変換できる
![Page 44: PowerPoint プレゼンテーションhagi.is.s.u-tokyo.ac.jp/pub/staff/hagiya/kougiroku/mc/...This week in Science (4), Shawn Douglas and colleagues at the Wyss Institute for Biologically](https://reader035.vdocuments.net/reader035/viewer/2022071012/5fcae5951da0fd327b66066f/html5/thumbnails/44.jpg)
可逆チューリング機械
•遷移を逆戻りすることが可能なチューリング機械• どんなチューリング機械に対しても、同じ計算をする可逆チューリング機械を構成することができる
• XORの例と同様に、余分な情報を追加することにより、可逆な計算に変換できる
•物理的な実現(の可能性)• 生体コンピュータ(分子可逆チューリング機械?)
• ビリアードボール・コンピュータ
![Page 45: PowerPoint プレゼンテーションhagi.is.s.u-tokyo.ac.jp/pub/staff/hagiya/kougiroku/mc/...This week in Science (4), Shawn Douglas and colleagues at the Wyss Institute for Biologically](https://reader035.vdocuments.net/reader035/viewer/2022071012/5fcae5951da0fd327b66066f/html5/thumbnails/45.jpg)
分子可逆チューリング機械?
d d
q(p, b, c, L, q)
…
![Page 46: PowerPoint プレゼンテーションhagi.is.s.u-tokyo.ac.jp/pub/staff/hagiya/kougiroku/mc/...This week in Science (4), Shawn Douglas and colleagues at the Wyss Institute for Biologically](https://reader035.vdocuments.net/reader035/viewer/2022071012/5fcae5951da0fd327b66066f/html5/thumbnails/46.jpg)
分子コンピューティング:分子で計算
•電子回路も分子でできている?• そうではなくて、個々の分子が計算を行う
• 特に、化学反応による計算
•理論的な興味は昔からあった• 特に物理学者たち
• 計算の熱力学的限界(ランダウアーの原理)• 1ビットの情報が失われる計算(たとえばXOR)は、kT ln 2 の熱を発生(kはボルツマン定数、Tは絶対温度、ln 2=0.69315)
• 情報を失わない可逆計算ならば、計算に必要なエネルギーは限りなく0に近づけることができる
![Page 47: PowerPoint プレゼンテーションhagi.is.s.u-tokyo.ac.jp/pub/staff/hagiya/kougiroku/mc/...This week in Science (4), Shawn Douglas and colleagues at the Wyss Institute for Biologically](https://reader035.vdocuments.net/reader035/viewer/2022071012/5fcae5951da0fd327b66066f/html5/thumbnails/47.jpg)
分子コンピューティング:分子で計算
•電子回路も分子でできている?• そうではなくて、個々の分子が計算を行う
• 特に、化学反応による計算
•理論的な興味は昔からあった• 特に物理学者たち
• 計算の熱力学的限界(ランダウアーの原理)• 1ビットの情報が失われる計算(たとえばXOR)は、kT ln 2 の熱を発生(kはボルツマン定数、Tは絶対温度、ln 2=0.69315)
• 情報を失わない可逆計算ならば、計算に必要なエネルギーは限りなく0に近づけることができる
• たとえば、可逆チューリング機械
![Page 48: PowerPoint プレゼンテーションhagi.is.s.u-tokyo.ac.jp/pub/staff/hagiya/kougiroku/mc/...This week in Science (4), Shawn Douglas and colleagues at the Wyss Institute for Biologically](https://reader035.vdocuments.net/reader035/viewer/2022071012/5fcae5951da0fd327b66066f/html5/thumbnails/48.jpg)
分子コンピューティング:分子で計算
•電子回路も分子でできている?• そうではなくて、個々の分子が計算を行う
• 特に、化学反応による計算
•理論的な興味は昔からあった• 特に物理学者たち
• 計算の熱力学的限界(ランダウアーの原理)• 1ビットの情報が失われる計算(たとえばXOR)は、kT ln 2 の熱を発生(kはボルツマン定数、Tは絶対温度、ln 2=0.69315)
• 情報を失わない可逆計算ならば、計算に必要なエネルギーは限りなく0に近づけることができる
• たとえば、可逆チューリング機械
• それを、可逆な化学反応で実現できないか?
![Page 49: PowerPoint プレゼンテーションhagi.is.s.u-tokyo.ac.jp/pub/staff/hagiya/kougiroku/mc/...This week in Science (4), Shawn Douglas and colleagues at the Wyss Institute for Biologically](https://reader035.vdocuments.net/reader035/viewer/2022071012/5fcae5951da0fd327b66066f/html5/thumbnails/49.jpg)
分子コンピューティング:分子で計算
•電子回路も分子でできている?• そうではなくて、個々の分子が計算を行う
• 特に、化学反応による計算
•理論的な興味は昔からあった• 特に物理学者たち
• 計算の熱力学的限界(ランダウアーの原理)• 1ビットの情報が失われる計算(たとえばXOR)は、kT ln 2 の熱を発生(kはボルツマン定数、Tは絶対温度、ln 2=0.69315)
• 情報を失わない可逆計算ならば、計算に必要なエネルギーは限りなく0に近づけることができる
• たとえば、可逆チューリング機械
• それを、可逆な化学反応で実現できないか?
•実際に化学反応により計算は可能か、エネルギーは?
![Page 50: PowerPoint プレゼンテーションhagi.is.s.u-tokyo.ac.jp/pub/staff/hagiya/kougiroku/mc/...This week in Science (4), Shawn Douglas and colleagues at the Wyss Institute for Biologically](https://reader035.vdocuments.net/reader035/viewer/2022071012/5fcae5951da0fd327b66066f/html5/thumbnails/50.jpg)
化学反応による計算
•分子に情報を記憶
•化学反応により、分子に記憶された情報を処理(変換・転送・・・)
•実際にやってみせたのはAdleman• RSA暗号のAの人
• 具体的にはDNA分子を用いた⇒DNAコンピュータ
• ハミルトン経路問題(探索問題・最適化問題)
• その後、様々な取組• 分子可逆チューリング機械は実現していないが
•現在は、分子ロボットのコンピュータとして活発に研究
![Page 51: PowerPoint プレゼンテーションhagi.is.s.u-tokyo.ac.jp/pub/staff/hagiya/kougiroku/mc/...This week in Science (4), Shawn Douglas and colleagues at the Wyss Institute for Biologically](https://reader035.vdocuments.net/reader035/viewer/2022071012/5fcae5951da0fd327b66066f/html5/thumbnails/51.jpg)
エネルギー?
• DNAオートマトンの場合、計算の1ステップで2か所のホジエステル結合が加水分解により開裂することにより、エネルギーが消費
• ホジエステル結合のエネルギーは約 8 kcal mol-1≒33600 J mol-1
(≒ ATPADPのエネルギー)
• これに対して、kT ln 2 は?
• k = 1.38 × 10-23 J K-1
• kのアボガドロ数倍が気体定数 R = 8.3 J K-1 mol-1
• T=300とすると RT ln 2≒1730 J mol-1
• ホジエステル結合のエネルギーは約20倍
![Page 52: PowerPoint プレゼンテーションhagi.is.s.u-tokyo.ac.jp/pub/staff/hagiya/kougiroku/mc/...This week in Science (4), Shawn Douglas and colleagues at the Wyss Institute for Biologically](https://reader035.vdocuments.net/reader035/viewer/2022071012/5fcae5951da0fd327b66066f/html5/thumbnails/52.jpg)
エネルギー?
•熱力学的限界の20倍程度で計算が可能?• 電子回路の場合、約58000倍(2006年の45nmプロセスに対する報告)
• http://nanohub.org/resources/1250
![Page 53: PowerPoint プレゼンテーションhagi.is.s.u-tokyo.ac.jp/pub/staff/hagiya/kougiroku/mc/...This week in Science (4), Shawn Douglas and colleagues at the Wyss Institute for Biologically](https://reader035.vdocuments.net/reader035/viewer/2022071012/5fcae5951da0fd327b66066f/html5/thumbnails/53.jpg)
エネルギー?
•熱力学的限界の20倍程度で計算が可能?• 電子回路の場合、約58000倍(2006年の45nmプロセスに対する報告)
• http://nanohub.org/resources/1250
• しかし、一個の分子の反応は、エラーや逆戻りなどを免れない
•多重化は必須• 電子回路と同様
• 生体(細胞)もそうしている
• とすると、エネルギーはもっと必要
![Page 54: PowerPoint プレゼンテーションhagi.is.s.u-tokyo.ac.jp/pub/staff/hagiya/kougiroku/mc/...This week in Science (4), Shawn Douglas and colleagues at the Wyss Institute for Biologically](https://reader035.vdocuments.net/reader035/viewer/2022071012/5fcae5951da0fd327b66066f/html5/thumbnails/54.jpg)
再びチューリング機械
• δ:遷移規則:(p,s,t,d,q)の集合• pは遷移前の状態・qは遷移後の状態
• sは遷移前の記号・tは遷移後の記号
• dはヘッドの移動方向:L(左)かR(右)かN(移動なし)
• チューリング機械が決定的であるとは、∀(p,s,t,d,q), (p’,s’,t’,d’,q’)∊δ
p=p’ ∧ s=s’ ⇒ (p,s,t,d,q)=(p’,s’,t’,d’,q’)
![Page 55: PowerPoint プレゼンテーションhagi.is.s.u-tokyo.ac.jp/pub/staff/hagiya/kougiroku/mc/...This week in Science (4), Shawn Douglas and colleagues at the Wyss Institute for Biologically](https://reader035.vdocuments.net/reader035/viewer/2022071012/5fcae5951da0fd327b66066f/html5/thumbnails/55.jpg)
可逆チューリング機械
• では、チューリング機械が可逆であるとは、∀(p,s,t,d,q), (p’,s’,t’,d’,q’)∊δ
…
![Page 56: PowerPoint プレゼンテーションhagi.is.s.u-tokyo.ac.jp/pub/staff/hagiya/kougiroku/mc/...This week in Science (4), Shawn Douglas and colleagues at the Wyss Institute for Biologically](https://reader035.vdocuments.net/reader035/viewer/2022071012/5fcae5951da0fd327b66066f/html5/thumbnails/56.jpg)
可逆チューリング機械
• では、チューリング機械が可逆であるとは、∀(p,s,t,d,q), (p’,s’,t’,d’,q’)∊δ
q=q’ ∧ t=t’ ⇒ (p,s,t,d,q)=(p’,s’,t’,d’,q’)
![Page 57: PowerPoint プレゼンテーションhagi.is.s.u-tokyo.ac.jp/pub/staff/hagiya/kougiroku/mc/...This week in Science (4), Shawn Douglas and colleagues at the Wyss Institute for Biologically](https://reader035.vdocuments.net/reader035/viewer/2022071012/5fcae5951da0fd327b66066f/html5/thumbnails/57.jpg)
可逆チューリング機械
• では、チューリング機械が可逆であるとは、∀(p,s,t,d,q), (p’,s’,t’,d’,q’)∊δ
q=q’ ∧ t=t’ ⇒ (p,s,t,d,q)=(p’,s’,t’,d’,q’)
q=q’ ⇒ d=d’
![Page 58: PowerPoint プレゼンテーションhagi.is.s.u-tokyo.ac.jp/pub/staff/hagiya/kougiroku/mc/...This week in Science (4), Shawn Douglas and colleagues at the Wyss Institute for Biologically](https://reader035.vdocuments.net/reader035/viewer/2022071012/5fcae5951da0fd327b66066f/html5/thumbnails/58.jpg)
可逆チューリング機械
• どんなチューリング機械に対しても、同じ計算をする可逆チューリング機械を構成することができる
• XORの例と同様に、余分な情報を追加することにより、可逆な計算に変換できる• 任意の1テープTM Tに対し、それをシミュレートする3テープ(作業用・履歴・出力)の可逆TM T’を構成できる
•余分な情報(ゴミ)は、計算の最後で捨てればよい• 実は、ゴミは捨てなくても、可逆性を保ちながら回収して、もともとの入力と出力のみを得るようにすることができる
• Tに入力記号列sを与えたとき、出力記号列yを書き出して停止するならば、T’にxを与えたとき、xとyだけを書き出し、ゴミ情報である動作履歴は残さずに停止する
![Page 59: PowerPoint プレゼンテーションhagi.is.s.u-tokyo.ac.jp/pub/staff/hagiya/kougiroku/mc/...This week in Science (4), Shawn Douglas and colleagues at the Wyss Institute for Biologically](https://reader035.vdocuments.net/reader035/viewer/2022071012/5fcae5951da0fd327b66066f/html5/thumbnails/59.jpg)
可逆論理回路
・・・
閉路を持たない回路
![Page 60: PowerPoint プレゼンテーションhagi.is.s.u-tokyo.ac.jp/pub/staff/hagiya/kougiroku/mc/...This week in Science (4), Shawn Douglas and colleagues at the Wyss Institute for Biologically](https://reader035.vdocuments.net/reader035/viewer/2022071012/5fcae5951da0fd327b66066f/html5/thumbnails/60.jpg)
Toffoliゲート
x
y
z
![Page 61: PowerPoint プレゼンテーションhagi.is.s.u-tokyo.ac.jp/pub/staff/hagiya/kougiroku/mc/...This week in Science (4), Shawn Douglas and colleagues at the Wyss Institute for Biologically](https://reader035.vdocuments.net/reader035/viewer/2022071012/5fcae5951da0fd327b66066f/html5/thumbnails/61.jpg)
Toffoliゲート
x
y
xとyが両方1ならばzの否定そうでなければzそのもの
![Page 62: PowerPoint プレゼンテーションhagi.is.s.u-tokyo.ac.jp/pub/staff/hagiya/kougiroku/mc/...This week in Science (4), Shawn Douglas and colleagues at the Wyss Institute for Biologically](https://reader035.vdocuments.net/reader035/viewer/2022071012/5fcae5951da0fd327b66066f/html5/thumbnails/62.jpg)
Fredkinゲート
0
y
z
![Page 63: PowerPoint プレゼンテーションhagi.is.s.u-tokyo.ac.jp/pub/staff/hagiya/kougiroku/mc/...This week in Science (4), Shawn Douglas and colleagues at the Wyss Institute for Biologically](https://reader035.vdocuments.net/reader035/viewer/2022071012/5fcae5951da0fd327b66066f/html5/thumbnails/63.jpg)
Fredkinゲート
0
z
y
![Page 64: PowerPoint プレゼンテーションhagi.is.s.u-tokyo.ac.jp/pub/staff/hagiya/kougiroku/mc/...This week in Science (4), Shawn Douglas and colleagues at the Wyss Institute for Biologically](https://reader035.vdocuments.net/reader035/viewer/2022071012/5fcae5951da0fd327b66066f/html5/thumbnails/64.jpg)
Fredkinゲート
1
y
z
![Page 65: PowerPoint プレゼンテーションhagi.is.s.u-tokyo.ac.jp/pub/staff/hagiya/kougiroku/mc/...This week in Science (4), Shawn Douglas and colleagues at the Wyss Institute for Biologically](https://reader035.vdocuments.net/reader035/viewer/2022071012/5fcae5951da0fd327b66066f/html5/thumbnails/65.jpg)
Fredkinゲート
1
y
z
![Page 66: PowerPoint プレゼンテーションhagi.is.s.u-tokyo.ac.jp/pub/staff/hagiya/kougiroku/mc/...This week in Science (4), Shawn Douglas and colleagues at the Wyss Institute for Biologically](https://reader035.vdocuments.net/reader035/viewer/2022071012/5fcae5951da0fd327b66066f/html5/thumbnails/66.jpg)
スイッチゲート
0
x
![Page 67: PowerPoint プレゼンテーションhagi.is.s.u-tokyo.ac.jp/pub/staff/hagiya/kougiroku/mc/...This week in Science (4), Shawn Douglas and colleagues at the Wyss Institute for Biologically](https://reader035.vdocuments.net/reader035/viewer/2022071012/5fcae5951da0fd327b66066f/html5/thumbnails/67.jpg)
スイッチゲート
0
x
0
![Page 68: PowerPoint プレゼンテーションhagi.is.s.u-tokyo.ac.jp/pub/staff/hagiya/kougiroku/mc/...This week in Science (4), Shawn Douglas and colleagues at the Wyss Institute for Biologically](https://reader035.vdocuments.net/reader035/viewer/2022071012/5fcae5951da0fd327b66066f/html5/thumbnails/68.jpg)
スイッチゲート
1
x
![Page 69: PowerPoint プレゼンテーションhagi.is.s.u-tokyo.ac.jp/pub/staff/hagiya/kougiroku/mc/...This week in Science (4), Shawn Douglas and colleagues at the Wyss Institute for Biologically](https://reader035.vdocuments.net/reader035/viewer/2022071012/5fcae5951da0fd327b66066f/html5/thumbnails/69.jpg)
スイッチゲート
x
0
1
![Page 70: PowerPoint プレゼンテーションhagi.is.s.u-tokyo.ac.jp/pub/staff/hagiya/kougiroku/mc/...This week in Science (4), Shawn Douglas and colleagues at the Wyss Institute for Biologically](https://reader035.vdocuments.net/reader035/viewer/2022071012/5fcae5951da0fd327b66066f/html5/thumbnails/70.jpg)
可逆論理回路
• m入力n出力の論理ゲートは、[0,1]m[0,1]nの関数として単射である
とき、可逆であるという
•可逆論理ゲートを有限個接続することによって得られる閉路を持たない回路で次の条件を満たすもの:各素子の出力は他のいずれかの素子の高々1つの入力にしか接続できない
![Page 71: PowerPoint プレゼンテーションhagi.is.s.u-tokyo.ac.jp/pub/staff/hagiya/kougiroku/mc/...This week in Science (4), Shawn Douglas and colleagues at the Wyss Institute for Biologically](https://reader035.vdocuments.net/reader035/viewer/2022071012/5fcae5951da0fd327b66066f/html5/thumbnails/71.jpg)
論理的万能性
•定数入力とゴミ出力を許して、任意の論理関数を実現可能
• Toffoliゲート、Fredkinゲート、スイッチゲートは、それぞれ単独で、論理的に万能
定数c
入力x
出力f(x)
ゴミg
![Page 72: PowerPoint プレゼンテーションhagi.is.s.u-tokyo.ac.jp/pub/staff/hagiya/kougiroku/mc/...This week in Science (4), Shawn Douglas and colleagues at the Wyss Institute for Biologically](https://reader035.vdocuments.net/reader035/viewer/2022071012/5fcae5951da0fd327b66066f/html5/thumbnails/72.jpg)
ビリアードボール・コンピュータ
森田: 情報処理, 1994, 35 (4) 306-314
![Page 73: PowerPoint プレゼンテーションhagi.is.s.u-tokyo.ac.jp/pub/staff/hagiya/kougiroku/mc/...This week in Science (4), Shawn Douglas and colleagues at the Wyss Institute for Biologically](https://reader035.vdocuments.net/reader035/viewer/2022071012/5fcae5951da0fd327b66066f/html5/thumbnails/73.jpg)
ロータリー素子
0
1
0
0
![Page 74: PowerPoint プレゼンテーションhagi.is.s.u-tokyo.ac.jp/pub/staff/hagiya/kougiroku/mc/...This week in Science (4), Shawn Douglas and colleagues at the Wyss Institute for Biologically](https://reader035.vdocuments.net/reader035/viewer/2022071012/5fcae5951da0fd327b66066f/html5/thumbnails/74.jpg)
ロータリー素子
0
0
1
0
![Page 75: PowerPoint プレゼンテーションhagi.is.s.u-tokyo.ac.jp/pub/staff/hagiya/kougiroku/mc/...This week in Science (4), Shawn Douglas and colleagues at the Wyss Institute for Biologically](https://reader035.vdocuments.net/reader035/viewer/2022071012/5fcae5951da0fd327b66066f/html5/thumbnails/75.jpg)
ロータリー素子
0
0
1
0
![Page 76: PowerPoint プレゼンテーションhagi.is.s.u-tokyo.ac.jp/pub/staff/hagiya/kougiroku/mc/...This week in Science (4), Shawn Douglas and colleagues at the Wyss Institute for Biologically](https://reader035.vdocuments.net/reader035/viewer/2022071012/5fcae5951da0fd327b66066f/html5/thumbnails/76.jpg)
ロータリー素子
1
0
0
0
![Page 77: PowerPoint プレゼンテーションhagi.is.s.u-tokyo.ac.jp/pub/staff/hagiya/kougiroku/mc/...This week in Science (4), Shawn Douglas and colleagues at the Wyss Institute for Biologically](https://reader035.vdocuments.net/reader035/viewer/2022071012/5fcae5951da0fd327b66066f/html5/thumbnails/77.jpg)
ロータリー素子
•状態を持ち、タイミングが明示的に定義されている素子
• ロータリー素子も論理的に万能• Fredkinゲートを構成可能
• 逆に、Fredkinゲート(と遅延素子)によってロータリー素子を構成可能
• ビリアードボールによりロータリー素子を直接的に構成可能
![Page 78: PowerPoint プレゼンテーションhagi.is.s.u-tokyo.ac.jp/pub/staff/hagiya/kougiroku/mc/...This week in Science (4), Shawn Douglas and colleagues at the Wyss Institute for Biologically](https://reader035.vdocuments.net/reader035/viewer/2022071012/5fcae5951da0fd327b66066f/html5/thumbnails/78.jpg)
可逆順序回路
•順序回路とは、δ:Q×ΣQ×Γ• Qは内部状態の有限集合
• Σは入力記号の有限集合・Γは出力記号の有限集合
•可逆順序機械とは、δが単射であるような順序回路
![Page 79: PowerPoint プレゼンテーションhagi.is.s.u-tokyo.ac.jp/pub/staff/hagiya/kougiroku/mc/...This week in Science (4), Shawn Douglas and colleagues at the Wyss Institute for Biologically](https://reader035.vdocuments.net/reader035/viewer/2022071012/5fcae5951da0fd327b66066f/html5/thumbnails/79.jpg)
ロータリー素子による可逆順序機械
•任意の可逆順序機械は、ロータリー素子だけから構成される、ゴミ情報をまったく生み出さない回路によって実現できる
![Page 80: PowerPoint プレゼンテーションhagi.is.s.u-tokyo.ac.jp/pub/staff/hagiya/kougiroku/mc/...This week in Science (4), Shawn Douglas and colleagues at the Wyss Institute for Biologically](https://reader035.vdocuments.net/reader035/viewer/2022071012/5fcae5951da0fd327b66066f/html5/thumbnails/80.jpg)
ロータリー素子による可逆TM
•任意の可逆TMは、ロータリー素子だけから構成される、ゴミ情報をまったく生み出さない回路によって実現できる• テープのセルは無限にある
![Page 81: PowerPoint プレゼンテーションhagi.is.s.u-tokyo.ac.jp/pub/staff/hagiya/kougiroku/mc/...This week in Science (4), Shawn Douglas and colleagues at the Wyss Institute for Biologically](https://reader035.vdocuments.net/reader035/viewer/2022071012/5fcae5951da0fd327b66066f/html5/thumbnails/81.jpg)
参考
•小宮他:DNAナノエンジニアリング, 近代科学社
•萩谷・西川:DNAロボット, 岩波書店
• ファインマン他:ファインマン計算機科学, 岩波書店
•森田:可逆計算, 近代科学社
•川合・萩谷:基礎情報科学, 放送大学大学院教材