計算機科学(けいさんきかがく、、コンピューター・サイエンス)またはコンピュータ科学、CSとは、情報と計算の理論的基礎、及びそのコンピュータ上への実装と応用に関する研究分野である。コンピュータサイエンス()は「情報科学」や「情報工学」とも和訳される。コンピュータ科学には様々な分野がある。コンピュータグラフィックスのように応用に力点がある領域もあれば、理論計算機科学と呼ばれる分野のように数学的な性格が強い分野もある。計算科学は科学技術計算という「計算需要」に応えるための分野であり、それを実現する手段の研究は高性能計算である。また、一見わかりやすい分類として、計算機工学など「ハードウェア」と、プログラミングなど「ソフトウェア」という分類があるが、再構成可能コンピューティングのようにその両方と言える分野があるなど、単純に分類ができるようなものではない。歴史.教育.他のコンピュータ科学以外の専攻においても、プログラミングが教えられているが、それらはもっぱら、コンピュータ科学の一部としてよりも、物理や化学、あるいは計算言語学といった分野において、コンピュータを道具として使うためのものとして教えられている。当然ながら、メタ分析によれば、コンピュータサイエンスの一部は、他の分野と同様、研究者のバイアスによってある程度歪められており、研究を行う際には、学界に存在するバイアスを意識することが望ましい。主な成果.学問としての歴史は浅いが、計算機科学は科学と社会への数々の根源的貢献をしてきた。他の分野との関係.計算機科学と関係の深い学問分野として、経済学、数学、物理学、言語学などを挙げることができる。一部の人々は計算機科学は数学と関連が深いとみなしているという。初期の計算機科学はクルト・ゲーデルやアラン・チューリングなどの数学での業績に強い影響を受けていたし、数理論理学、圏論、領域理論、代数学といった領域は計算機科学と数学の間でアイデアをやり取りする領域となっている。