语言
没有数据
通知
无通知
計算生物学（けいさんせいぶつがく、英: computational biology）は、生物学の問題の解決に計算機科学、応用数学、統計学の手法を応用する学際研究分野。下記のような生物学の下位領域が含まれる。 バイオインフォマティクス DNA、RNA、タンパク質配列などから成る大規模なデータセットの調
計算理論（けいさんりろん、Theory Of Computation）または計算論は、理論計算機科学と数学の一部で、計算模型やアルゴリズムを理論的にあつかう学問である。計算複雑性理論、計算可能性理論を含む。ここでいう計算（Computation）とは、数学的に表現できる、あらゆる種類の情報処理のこと。
(1)数量を数えること。
計算科学（けいさんかがく、英: computational science）は、数学的モデルとその定量的評価法を構築し、計算機を活用して科学技術上の問題を解決する学問分野である。具体的には、様々な問題の計算機によるシミュレーションやその他の計算手法の適用を指す。 計算科学は、計算機科学
計算化学（けいさんかがく、英語: computational chemistry）とは、計算によって理論化学の問題を取り扱う、化学の一分野である。複雑系である化学の問題は計算機の力を利用しなければ解けない問題が多いため、計算機化学と呼ばれることもあるが、両者はその言葉の適用範囲が異なっている。
物理学における演算子（えんざんし、operator）とは ある物理状態の空間から別の物理状態の空間への関数のこと。 演算子が用いられている最も簡単な例として対称性があり、群の考え方を有益にしている。 このことから、演算子は古典力学において非常に有用なツールとなる。 量子力学では演算子
理論計算機科学（りろんけいさんきかがく、英語：theoretical computer science）または理論コンピュータ科学は、計算機を理論的に研究する学問で、計算機科学の一分野である。計算機を数理モデル化して数学的に研究することを特徴としている。「数学的」という言葉は広義には公理的に扱える
計算木論理（けいさんきろんり、Computational Tree Logic、CTL）は、分岐時相論理の一種である。その時間モデルでは未来は決定されておらず木構造のように分岐している。未来の複数の経路のうちの1つが実際に現実の経路となる。 ϕ ::= F | T | p | ( ¬ ϕ ) | (
搜索 
搜索 搜索 
