'''計算機科学'''（'''Computer{{lang-en-short|computer Science'''science}}）とは、[[情報]]と[[計算]]の理論的基礎、及びその[[コンピュータ]]上への実装と応用に関する研究分野である<ref>"''Computer science 「計算機科学は情報に関する学問である''" 」[http://www.njit.edu/v2/archivecatalog/undergraduate/91/19-und.html Department of Computer and Information Science{{lang|en|計算機情報科学科}}], 、{{lang|en|Guttenberg Information Technologies}}</ref><ref>"''Computer science 「計算機科学は計算に関する学問である。''" 」[http://www.csbsju.edu/computerscience/curriculum Computer聖ヨハネ大学 Science聖ベネディクト校 Department, College of Saint Benedict計算機科学科}}], Saint John's University</ref><ref>"''Computer Science 「計算機科学はコンピュータシステムのあらゆる側面に関する学問である。理論的基礎から極めて実用的な巨大ソフトウェアプロジェクト管理までも含む。''" }}」[http://study.massey.ac.nz/major.asp?major_code=2010&prog_code=93068 Massey Universityマッセイ大学]</ref>。計算機科学には様々な下位領域がある。[[コンピュータグラフィックス]]のように特定の処理に集中する領域もあれば、[[計算理論]]のように数学的な理論に関する領域もある。またある領域は計算の実装を試みることに集中している。例えば、プログラミング言語理論は計算を記述する手法に関する学問領域であり、[[プログラミング (コンピュータ)|プログラミング]]は特定の[[プログラミング言語]]を使って問題を解決する領域である。
