|
理論計算機科学（りろんけいさんきかがく、英語：theoretical computer science）は計算機を理論的に研究する学問で、計算機科学の一分野である。計算機を数理モデル化して数学的に研究することを特徴としている。「数学的」という言葉は広義には公理的に扱えるもの全てを指すので、理論計算機科学は広義の数学の一分野でもある。理論計算機科学では、現実のコンピュータを扱うことも多いが、チューリングマシンなどの計算モデルを扱うことも多い。 理論計算機科学の代表的な分野として以下のものがある。 * 計算理論：ある関数に対する計算の可能性や複雑性を追求する学問。 * ラムダ計算：計算機のモデルの一つであるラムダ計算を研究する学問。 * アルゴリズム論：ある関数に対する具体的な算法の考案、あるいは既存の算法の解析を行う学問。 * プログラム意味論: プログラムあるいはプログラミング言語の形式意味論 == 範囲 == 正確な研究範囲を述べるのは容易ではないが、ACM の (SIGACT) は同グループの目的を理論計算機科学のプロモーションであるとしており、その対象範囲を次のように定義している。 ACMの学術誌 Transactions on Computation Theory ではこの一覧にさらに符号理論とを加え、データベース、情報検索、経済モデル、ネットワークなどの理論計算機科学的側面をも含めている。このように範囲は広いが、計算機科学の理論畑の人間は応用畑とは違うという意識を持っていることがあり、「コンピューティングを支えている（より基本的な）科学」を研究しているという意識をもっていることがある。これは必ずしも対立を意味するものではなく、むしろ協力関係にあることを意味する。 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「理論計算機科学」の詳細全文を読む スポンサード リンク
|