「計算幾何学」とは異なります。science、コンピュータ科学)とは、情報と計算の理論的基礎、及びそのコンピュータ上への実装と応用に関する研究分野である[1][2][3]。計算機科学には様々な下位領域がある。コンピュータグラフィックスのように特定の処理に集中する領域もあれば、計算理論のように数学的な理論に関する領域もある。ある領域は計算の実装を試みることに集中している。プログラミング言語理論は計算を記述する手法に関する学問領域であり、プログラミングは特定のプログラミング言語を使って問題を解決する領域である。外部リンク歴史[編集]「計算機の歴史」も参照アンティキティラ島の機械(紀元前150-100年頃)アストロラーベ(1208年、ペルシア)そろばん(アバカス)や、一種のアナログ計算機と言えるような機械といった、計算を手助けするものは古代から存在していた。「計算機械」と今日言われるような機械としては、最初の機械式計算機がヴィルヘルム・シッカートによって1623年に作られた[4]。チャールズ・バベッジはヴィクトリア朝時代にプログラム可能な解析機関を設計した[5]。1890年にはハーマン・ホレリスの発明したパンチカードシステムが米国勢調査に初めて使用されている[6]。1920年代以前、「computer」という言葉は仕事として計算を行う人を指していた。この時代に、現代に通じる計算理論と計算模型が考案されている。クルト・ゲーデル、アロンゾ・チャーチ、アラン・チューリングなど、後に計算機科学と呼ばれるようになる分野の先駆者は、計算可能性、すなわち(特別な前提知識や技能なしに)紙と鉛筆と命令書だけでどのようなものが計算できるか、に興味を抱いた。この研究は、一部には人間に付き物の間違いをすることなく自動的に計算を行う「計算する機械」を開発したいという欲求に基づくものであった。この重要な洞察は、あらゆる計算作業を(理論上)全て実行可能な汎用の計算システムを構築することを意味し、それまでの専用機械を汎用計算機の概念に一般化した。汎用計算機という概念の創造が現代の計算機科学を生み出したのである。1940年代に入り、より新しくかつ強力な計算機が開発されるにつれて、「computer」という言葉は人間ではなくそういった機械を指す言葉となった。1940年代から1950年代にかけて、次々と電子式コンピュータが建造され、1950年代末には基本的な考え方としては現代にまで引き継がれている仕組みが(いわゆるプログラム内蔵方式など)完成した。Processing(情報処理)という熟語が使われるようになり、機械翻訳やパターン認識のような、数値計算ではない応用の研究が始まった。Processing(データ処理)という熟語もあり、EDPという3文字語などもあった。コンピューティングという語の意味はそれらを含む広い意味とされるようになり、計算機科学はそれらを扱う科学ということになった。1960年代には計算機科学は独立した学問分野として確立され、大学などで計算機科学科の設立と学位認定が行われるようになった[7]。実用的なコンピュータが利用可能になると、その様々な応用が下位領域を形成していった。2000年前後には「IT」という語が流行した。教育[編集]一部の大学にはコンピュータ科学を専攻とする部門がある。Thinking)というものが考えられており(詳細は文献[8]を参照)、後述する国際学会が取りまとめているカリキュラムでも重視されている。データベース、コンピュータグラフィックス、システム解析などがある。Engineeringにまとめられていることも多い)を名前に付けている。以来定期的に情勢に合わせ見直されている。Science)である。日本の情報処理学会もこれに合わせ「カリキュラム標準」を発表しており、2015年現在の最新版はJ07[9]である。他のコンピュータ科学以外の専攻においても、プログラミングが教えられているが、それらはもっぱら、コンピュータ科学の一部としてよりも、物理や化学、あるいは計算言語学といった分野において、コンピュータを道具として使うためのものとして教えられている。参照されたい(英語)。総称」としているが、それぞれの語に特に定義を与えているわけでもないため、語がてんでに使われている実態を反映したものと思われる。主な成果[編集]この節の加筆が望まれています。学問としての歴史は浅いが、計算機科学は科学と社会への数々の根源的貢献をしてきた。情報化時代やインターネットに代表される、いわゆる情報革命を実現した。計算と計算可能性の定義と、それによる計算不能な問題の存在の証明[11]。プログラミング言語の概念と様々な抽象化レベルでの手続き的情報を明確に表現するツール[12]。エニグマ暗号の解読は、第二次世界大戦での連合国の勝利に貢献した。計算科学は心に関する問題を解明しつつある。ヒトゲノム計画はヒトのゲノムの解読を可能にした。Folding@Homeなどの分散コンピューティングプロジェクトは、タンパク質の折り畳み構造の解明に貢献している。手法を取り入れることにより、金融市場の効率性と流動性を向上させた。他の分野との関係[編集]この節には独自研究が含まれているおそれがあります。問題箇所を検証し出典を追加して、記事の改善にご協力ください。議論はノートを参照してください。一部の人々[誰?]は計算機科学は数学と関連が深いとみなしているという[7]。いった領域は計算機科学と数学の間でアイデアをやり取りする領域となっている。計算機科学とソフトウェア工学の関係は論争の的である。「ソフトウェア工学」という言葉が表すものが何か、計算機科学の範囲をどう定めるかは長年の議論の対象となっている。一部の人々[誰?]はソフトウェア工学が計算機科学の一部であると信じている。他の人々は、計算機科学が計算全般を扱う学問であるのに対して、ソフトウェア工学は実用的な目的でコンピュータ処理を設計するものであり、異なる学問分野であると考えている。この見方の例としてデイビッド・パーナスがいる[13]。他の人々[誰?]はソフトウェアは全く工学的に扱うことはできていないと考えている。1960年に情報処理国際連合が設立されている。「計算機科学は計算に関する学問である。「計算機科学はコンピュータシステムのあらゆる側面に関する学問である。理論的基礎から極めて実用的な巨大ソフトウェアプロジェクト管理までも含む。2006年9月18日閲覧。2006年9月24日閲覧。2006年9月24日閲覧。2013年3月22日閲覧。"コンピュータ革命は思考方法の革命であり、思考を表現する手法の革命である。手続き的認識論」と呼ばれるものがよく表している。それは手続き的観点からの知識構造の研究であり、古典的数学の宣言的観点の対極に位置する。関連項目[編集]ウィキメディア・コモンズには、計算機科学に関連するカテゴリがあります。(日本における初の男子普通選挙)(1928年)小林多喜二が特高警察の拷問により築地警察署で死亡(1933年)シャーリー・テンプルが史上最年少(6歳)でアカデミー賞特別賞を受賞(1935年)ソ連が千島列島・南樺太の領土編入を正式に宣言(1946年)東大ポポロ事件(1952年)アメリカが有人宇宙船「マーキュリー・アトラス6号」(フレンドシップ7)を打上げ。