計算機科学（けいさんきかがく、、コンピュータ科学）とは、情報と計算の理論的基礎、及びそのコンピュータ上への実装と応用に関する研究分野である。計算機科学には様々な下位領域がある。コンピュータグラフィックスのように特定の処理に集中する領域もあれば、計算理論のように数学的な理論に関する領域もある。またある領域は計算の実装を試みることに集中している。例えば、プログラミング言語理論は計算を記述する手法に関する学問領域であり、プログラミングは特定のプログラミング言語を使って問題を解決する領域である。そろばん（アバカス）やアナログコンピュータのような計算を手助けする器具、ないし機械は古代から存在していた。「計算機械」と今日言われるような機械としては、最初の歯車式計算機がヴィルヘルム・シッカートによって1623年に作られた。チャールズ・バベッジはヴィクトリア朝時代にプログラム可能な解析機関を設計した。1890年にはハーマン・ホレリスの発明したパンチカードシステムが米国勢調査に初めて使用されている。1920年代以前、「」という言葉は仕事として計算を行う人を指していた。しかしこの時代に、現代に通じる計算理論と計算模型が考案されている。クルト・ゲーデル、アロンゾ・チャーチ、アラン・チューリングなど、後に計算機科学と呼ばれるようになる分野の先駆者は、計算可能性、すなわち（特別な前提知識や技能なしに）紙と鉛筆と命令書だけでどのようなものが計算できるか、に興味を抱いた。この研究は、一部には人間に付き物の間違いをすることなく自動的に計算を行う「計算する機械」を開発したいという欲求に基づくものであった。この重要な洞察は、あらゆる計算作業を（理論上）全て実行可能な汎用の計算システムを構築することを意味し、それまでの専用機械を汎用計算機の概念に一般化した。汎用計算機という概念の創造が現代の計算機科学を生み出したのである。1940年代に入り、より新しくかつ強力な計算機が開発されるにつれて、「」という言葉は人間ではなくそういった機械を指す言葉となった。1940年代から1950年代にかけて、次々と電子式コンピュータが建造され、1950年代末には基本的な考え方としては現代にまで引き継がれている仕組みが（いわゆるプログラム内蔵方式など）完成した。前述の、米国の国勢調査においてパンチカードシステムが有用であった事例などもあるように、科学技術などにおける数の計算（いわゆる数値解析的な計算）だけではなく、もっと一般の事務処理などといったデータ処理にもこういった機械は有用だということは以前から明らかになっていたわけだが、そういった、「狭義の計算」より広い意味を指す語として1960年頃には、主に学術方面ではInformation Processing（情報処理）という熟語が使われるようになり、機械翻訳やパターン認識のような、数値計算ではない応用の研究が始まった。また、主に産業方面ではData Processing（データ処理）という熟語もあり、EDPという3文字語などもあった。コンピューティングという語の意味はそれらを含む広い意味とされるようになり、計算機科学はそれらを扱う科学ということになった。1960年代には計算機科学は独立した学問分野として確立され、大学などで計算機科学科の設立と学位認定が行われるようになった。実用的なコンピュータが利用可能になると、その様々な応用が下位領域を形成していった。2000年前後には「IT」という語が流行した。一部の大学にはコンピュータ科学を専攻とする部門がある。まず近年、コンピュータ科学と計算装置（コンピュータ）が普及させているものとして、すべての人にとって基本的な技術としての「計算論的思考」（Computational Thinking）というものが考えられており（詳細は文献を参照）、後述する国際学会が取りまとめているカリキュラムでも重視されている。各論的カリキュラムとしては、離散構造、プログラミング、計算理論、アルゴリズム解析、形式手法、並行性理論、データベース、コンピュータグラフィックス、システム解析などがある。またスタンフォードではComputer Science Department（CS）だが、バークレイやMITなどではElectrical Engineering and Computer Science（EECS）というように、一般にこの分野のトップクラスと目されている大学のいくつかでは電気電子工学（日本語では使い分けられるが、英語ではElectrical Engineeringにまとめられていることも多い）を名前に付けている。コンピュータ科学専攻のためのカリキュラム案としては、国際学会ACMがとりまとめているものがあり、1968年の "Curriculum 68" 以来定期的に情勢に合わせ見直されている。2015年現在の最新版は "CS 2013"（"Computer Science 2013: Curriculum Guidelines for Undergraduate Programs in Computer Science"）である。日本の情報処理学会もこれに合わせ「カリキュラム標準」を発表しており、2015年現在の最新版はJ07である。他のコンピュータ科学以外の専攻においても、プログラミングが教えられているが、それらはもっぱら、コンピュータ科学の一部としてよりも、物理や化学、あるいは計算言語学といった分野において、コンピュータを道具として使うためのものとして教えられている。なお、「コンピュータ科学」という用語について、情報処理学会のカリキュラムJ97（『大学の理工系学部情報系学科のためのコンピュータサイエンス教育カリキュラム J97』）では、「コンピュータサイエンス」を「情報工学、情報科学、計算機科学、計算機工学などの総称」としているが、それぞれの語に特に定義を与えているわけでもないため、語がてんでに使われている実態を反映したものと思われる。学問としての歴史は浅いが、計算機科学は科学と社会への数々の根源的貢献をしてきた。著名なコンピュータ科学者エドガー・ダイクストラが発したとされる「天文学が望遠鏡に関する学問でないのと同様に、コンピュータ科学はコンピュータに関する学問ではない」という言葉を珍重する者もいるが、この言葉はWikiQuoteでおそらくフォークロアだ（possibly folklore）となっている。「望遠鏡と全く無関係な天文学の分野」が天文学という分野全体からすればごく一部に過ぎないように、実際のコンピュータからコンピュータ科学を切り離せると考えるのは、天文学から望遠鏡を切り離せると考えるのと計算機科学と関係の深い学問分野として、経済学、数学、物理学、言語学などを挙げることができる。一部の人々は計算機科学は数学と関連が深いとみなしているという。初期の計算機科学はクルト・ゲーデルやアラン・チューリングなどの数学での業績に強い影響を受けていたし、数理論理学、圏論、領域理論、代数学といった領域は計算機科学と数学の間でアイデアをやり取りする領域となっている。計算機科学とソフトウェア工学の関係は論争の的である。「ソフトウェア工学」という言葉が表すものが何か、計算機科学の範囲をどう定めるかは長年の議論の対象となっている。一部の人々はソフトウェア工学が計算機科学の一部であると信じている。他の人々は、計算機科学が計算全般を扱う学問であるのに対して、ソフトウェア工学は実用的な目的でコンピュータ処理を設計するものであり、異なる学問分野であると考えている。この見方の例としてデイビッド・パーナスがいる。他の人々はソフトウェアは全く工学的に扱うことはできていないと考えている。

出典:wikipedia