二次構造の解離に基づく汎用分子システム(<小特集>「DNAコンピューティングの応用とシミュレーション」)
スポンサーリンク
概要
- 論文の詳細を見る
We have been proposing and implementing various models of molecular computations based on hairpins and other secondary structures of DNA. In this short article, we introduce a computational model based on dissociation of secondary structures of DNA such as hairpins and bulges. In the model, molecular machines change their state by dissociating hairpins and bulges when they receive DNA molecules as inputs or external inputs such as lights. The model is extended to a general framework for constructing molecular systems consisting of molecular machines, including sensors, actuators and computational units, which interact with one another and compose a kind of concurrent system. We briefly describe some molecular machines, some of which we have actually implemented, including molecular memory units with hierarchical addresses, logic gates (OR and AND gates), and sensors that change their structures when receiving lights.
- 日本シミュレーション学会の論文
- 2005-12-15
著者
関連論文
- 記念大会を終えて : 情報処理学会創立50周年記念(第72回)全国大会速報(トピックス,50周年記念特集号)
- 数理的技法による情報セキュリティの検証(数理的技法による情報セキュリティ)
- 「数理的技法による情報セキュリティ」研究部会(FAIS)(研究部会だより)
- 記念大会を終えて : 情報処理学会創立50周年記念 (第72回) 全国大会速報
- 並列ごみ集めの抽象モデル検査の形式的証明
- BDDを用いた同期アルゴリズムの探索
- モデル検査系を用いたプログラム発見(「定理証明, 推論関係の新技術」)
- 正則表現を用いた並列ごみ集めの抽象モデル検査
- 図形を用いた推論の基礎づけ (「図による推論」)
- GMWウィンドウ・システム上のアプリケーション構築について
- 分子計算とその物理的基礎
- 情報処理学会の終焉? : IPSJのあり方
- タクティクからのプログラム抽出とその応用
- JAVA2のPermission機構のモデル化と実験
- SSHパスワードユーザ認証の脆弱性とその考察(ネットワークセキュリティ,再考 分散システム/インターネットの運用・管理)
- SSHパスワードユーザ認証の脆弱性とその考察
- 束縛のタイミングを考慮した認証プロトコルについて
- 関数部分知識と匿名性検証(理論,数理的技法による情報セキュリティ,平成19年研究部会連合発表会)
- 7. フォーマルメソッドによる暗号安全性(Part III:新領域の開拓,フォーマルメソッドの新潮流)
- 生命的コンピューティング(知能コンピューティングとその周辺〔第8回〕)
- 特集「数理的技法による情報セキュリティ」にあたって
- DNA鎖に基づくナノシステム
- 研究会を支えるみなさまへ(研究会千夜一夜)
- 分子コンピューティングの発展 : 分子マシンから分子コミュニケーションへ
- 二次構造の解離に基づく汎用分子システム(「DNAコンピューティングの応用とシミュレーション」)
- BDDを用いた2方向CTL論理式充足可能性決定手続きの実装(サイバー増大ページ論文概要,サイバー増大号)
- 分子プログラミング
- 整数線形計画法を用いたDNAコンピュータ制御コードの生成
- グラフ書換えと時空間様相論理
- 研究会たより 第24回(最終回) 最初の講演と最近の講演
- 束縛関係に基づく認証プロトコルの検証(セキュアコンピューティング)
- 研究会たより : 第23回理事会と研究会
- セキュリティ教育のシラバスおよびコンテンツ
- ワールドカップと官僚主義(研究会たより : 第13回)
- ワークステーション上のウィンドウ・システムについて
- LIR : COINSプロジェクトの低水準中間言語
- 研究会たより:第22回ロボットの国
- 研究会たより : 第21回困った
- 第20回骨無し魚(研究会たより)
- 分子コンピューティング : コンピュータ科学からの挑戦(私の意見)
- 第18回(続)日本語のこと(研究会たより)
- 第17回 甦るチューリング(研究たより)
- パワーポイント学者(研究会たより)
- 時間付き多重集合書換えの有界性と到達可能性の解析
- 学問の粒度(研究所だより)
- 日本語のこと(研究会たより : 第14回)
- 理事会のこと(研究会たより : 第12回)
- 教科書と大御所(研究会たより)
- 研究会たより : 第10回 電子化された研究報告
- 第9回 情報処理学会の終焉? : 研究会たより
- 第8回研究会へのたより(研究会たより)
- 「計算=編集」パラダイムに基づく例からのプログラミング ( インタラクティブソフトウェア)
- 編集=計算パラダイムと例によるプログラミング
- Javaのクラスローダ制約の定式化
- 公開鍵を用いた認証プロトコルについて(21世紀のコンピュータセキュリティ技術)
- 束縛のタイミングを考慮した認証プロトコルについて
- 束縛のタイミングを考慮した認証プロトコルについて
- DNAコンピューティングと分子ロボティクス
- ソフトウェア・セキュリティにおける理論研究の役割 (特集 コンピュータセキュリティ)
- 最近の分子コンピューティング (特集 DNA計算・光情報処理・ナノテクノロジー--新しいコンピュータの可能性)
- DNA計算とは何か
- 分子計算から見た並行計算 : Making Chemical Abstract Machines More Chemical
- 分子計算から見た並行計算 : Making Chemical Abstract Machines More Chemical
- RubyのJIS規格化・ISO規格化を祝って
- 第7回 全国大会のこと(研究会たより)
- 研究会論文誌について(研究会たより)
- 第5回学会連合?(研究会たより)
- 第4回いろいろな学会(研究会たより)
- 第3回領域制について(研究会たより)
- 第2回研究会の風景(研究会たより)
- 調査研究運営委員長は現場監督のようなものです (研究会たより)