分子計算とその物理的基礎
スポンサーリンク
概要
- 論文の詳細を見る
分子計算とは,生体分子の反応を計算論的に解析し,その反応系に意図した計算を行わせようと試みる研究分野である.本稿では,分子計算の前身であるDNA計算から現在までの研究内容を概観するとともに,将来展望について述べる.特に分子計算で用いられる制御技術と計算論的な解析との関連を明らかにし,研究の視点が,計算機科学における計算量的な解析から物理学的な解析へと移行してきた過程を紹介する.
- 社団法人日本物理学会の論文
- 2001-06-05
著者
関連論文
- 記念大会を終えて : 情報処理学会創立50周年記念(第72回)全国大会速報(トピックス,50周年記念特集号)
- 数理的技法による情報セキュリティの検証(数理的技法による情報セキュリティ)
- 「数理的技法による情報セキュリティ」研究部会(FAIS)(研究部会だより)
- 細胞内現象のシステム的理解 : 今理論に何が求められているのか?(システムと生命総合特集号)
- 記念大会を終えて : 情報処理学会創立50周年記念 (第72回) 全国大会速報
- 並列ごみ集めの抽象モデル検査の形式的証明
- BDDを用いた同期アルゴリズムの探索
- モデル検査系を用いたプログラム発見(「定理証明, 推論関係の新技術」)
- 正則表現を用いた並列ごみ集めの抽象モデル検査
- 図形を用いた推論の基礎づけ (「図による推論」)
- システム生物学がかもすもの
- ネットワーク科学最前線--世界の"つながり"を知る科学と思考(8)生体ネットワークをどう研究するべきか
- 生体ネットワーククラスタの可視化に関する研究(情報表現)
- 代謝マップビューワで見るフラボノイド (特集 メタボロミクス--包括的代謝物質解析の医学・バイオサイエンスへの応用)
- ベイジアンネットとバイオインフォマティクス(ベイジアンネット)
- 特集 ベイジアンネット
- 代謝流量の線形解析
- パスウェイマップの探索(ポストゲノムにおけるバイオシステムシミュレーション : 生命システム現象の包括的な理解に向かって)
- 分子計算とその物理的基礎
- 代謝ネットワークの情報解析
- 代謝系の再構築
- DNAの配列設計 (特集 分子コンピューティング--理論と実験の最前線)
- 2T01 分子コンピューティング : DNAによるハミルトンパスの生成
- 2P47 DNAコンピューティングによるブール式の並列評価
- ショウジョウバエの胚の体節形成シミュレーション(第2&3回複雑系札幌シンポジウム講究録,研究会報告)
- DNAコンピューティングの理論と実際
- S-systemを用いたGAによる遺伝子ネットワーク予測
- 情報処理学会の終焉? : IPSJのあり方
- タクティクからのプログラム抽出とその応用
- JAVA2のPermission機構のモデル化と実験
- SSHパスワードユーザ認証の脆弱性とその考察(ネットワークセキュリティ,再考 分散システム/インターネットの運用・管理)
- SSHパスワードユーザ認証の脆弱性とその考察
- 束縛のタイミングを考慮した認証プロトコルについて
- LipidBank の Wiki 化について
- 脂質データベースLIPIDBANKの現状と国際協力
- 関数部分知識と匿名性検証(理論,数理的技法による情報セキュリティ,平成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回研究会へのたより(研究会たより)
- 「計算=編集」パラダイムに基づく例からのプログラミング ( インタラクティブソフトウェア)
- 編集=計算パラダイムと例によるプログラミング
- 科学通信 はみだし生命科学(No.5)商業化される国際会議--失われゆくソサイエティ
- 科学通信 はみだし生命科学(No.4)研究の影に隠れる大学院教育
- 科学通信 はみだし生命科学 不適切なオーサーシップ
- 科学通信 はみだし生命科学(No.2)論文数はどれほど重要か--置き去りにされる質
- 連載：理学のキーワード : 第33回
- Javaのクラスローダ制約の定式化
- 代謝の電子化プロジェクト (特集 システムバイオロジーのフロンティア)
- LipidBank における糖脂質分類
- 公開鍵を用いた認証プロトコルについて(21世紀のコンピュータセキュリティ技術)
- 束縛のタイミングを考慮した認証プロトコルについて
- 束縛のタイミングを考慮した認証プロトコルについて
- 科学通信 はみだし生命科学(No.8)研究者のベーシック・インカム
- DNAコンピューティングと分子ロボティクス
- ソフトウェア・セキュリティにおける理論研究の役割 (特集 コンピュータセキュリティ)
- 最近の分子コンピューティング (特集 DNA計算・光情報処理・ナノテクノロジー--新しいコンピュータの可能性)
- 第5回 SPARC Japan セミナー2011 「OAメガジャーナルの興隆」 に参加して
- 科学通信 はみだし生命科学(No.10)ライブラリ化する大学図書館の未来
- 我が国のデータベース構築・統合戦略(第4回 2)メタボロームデータベースの開発 : メタボロミクスからのゲノミクスの展開
- DNA計算とは何か
- 分子計算から見た並行計算 : Making Chemical Abstract Machines More Chemical
- 分子計算から見た並行計算 : Making Chemical Abstract Machines More Chemical
- 科学通信 はみだし生命科学(No.11)熟れたリンゴは落ちるか
- 科学通信 はみだし生命科学(No.12)評価経済社会
- カリウムとセシウム : 放射線対策で語られない関係(談話室)
- 研究者から (第5回SPARC Japanセミナー2011「OAメガジャーナルの興隆」に参加して)
- RubyのJIS規格化・ISO規格化を祝って
- 科学通信 はみだし生命科学(No.13)知識の1パーセント則
- 第7回 全国大会のこと(研究会たより)
- 研究会論文誌について(研究会たより)
- この本!おすすめします 大学という組織構造の問題[『大学とは何か』吉見俊哉著,『背信の科学者たち : 論文捏造,データ改ざんはなぜ繰り返されるのか』ウイリアム・ブロード,ニコラス・ウェイド著 牧野賢治訳]