計算機科学

計算機科学（けいさんきかがく、英: computer science、コンピューター・サイエンス）またはコンピュータ科学^[1]、CSとは^[2]^[3]、情報と計算の理論的基礎、およびそのコンピュータ上への実装と応用に関する研究分野である^[4]^[5]^[6]。コンピュータサイエンス（computer science）は「情報科学」や「情報工学」とも和訳される^[7]^{[注釈 1]}。コンピュータ科学には様々な分野がある。コンピュータグラフィックスのように応用に力点がある領域もあれば、理論計算機科学と呼ばれる分野のように数学的な性格が強い分野もある。計算科学は科学技術計算という「計算需要」に応えるための分野であり、それを実現する手段の研究は高性能計算である。また、一見わかりやすい分類として、計算機工学など「ハードウェア」と、プログラミングなど「ソフトウェア」という分類があるが、再構成可能コンピューティングのようにその両方といえる分野があるなど、単純に分類ができるようなものではない。

歴史

→「計算機の歴史」も参照

そろばん（アバカス）や、一種のアナログ計算機といえるような機械といった、計算を手助けするものは古代から存在していた。「計算機械」と今日言われるような機械としては、最初の機械式計算機がヴィルヘルム・シッカートによって1623年に作られた^[8]。チャールズ・バベッジはヴィクトリア朝時代にプログラム可能な解析機関を設計した^[9]。1890年にはハーマン・ホレリスの発明したパンチカードシステムが米国勢調査に初めて使用されている^[10]。

1920年代以前、「computer」という言葉は仕事として計算を行う人（計算手）を指していた。しかしこの時代に、現代に通じる計算理論と計算模型が考案されている。クルト・ゲーデル、アロンゾ・チャーチ、アラン・チューリングなど、後に計算機科学と呼ばれるようになる分野の先駆者は、計算可能性、すなわち（特別な前提知識や技能なしに）紙と鉛筆と命令書だけでどのようなものが計算できるか、に興味を抱いた。この研究は、一部には人間に付き物の間違いをすることなく自動的に計算を行う「計算する機械」を開発したいという欲求に基づくものであった。この重要な洞察は、あらゆる計算作業を（理論上）全て実行可能な汎用の計算システムを構築することを意味し、それまでの専用機械を汎用計算機の概念に一般化した。汎用計算機という概念の創造が現代の計算機科学を生み出したのである。

1940年代に入り、より新しくかつ強力な計算機が開発されるにつれて、「computer」という言葉は人間ではなくそういった機械を指す言葉となった。1940年代から1950年代にかけて、次々と電子式コンピュータが建造され、1950年代末には基本的な考え方としては現代にまで引き継がれている仕組みが（いわゆるプログラム内蔵方式など）完成した。前述の、米国の国勢調査においてパンチカードシステムが有用であった事例などもあるように、科学技術などにおける数の計算（いわゆる数値解析的な計算）だけではなく、もっと一般の事務処理などといったデータ処理にもこういった機械は有用だということは以前から明らかになっていたわけだが、そういった、「狭義の計算」より広い意味を指す語として1960年ごろには^{[注釈 2]}、主に学術方面ではInformation Processing（情報処理）という熟語が使われるようになり、機械翻訳やパターン認識のような、数値計算ではない応用の研究が始まった。また、主に産業方面ではData Processing（データ処理）という熟語もあり、EDPという3文字語などもあった。コンピューティングという語の意味はそれらを含む広い意味とされるようになり、計算機科学はそれらを扱う科学ということになった。1960年代には計算機科学は独立した学問分野として確立され、大学などで計算機科学科の設立と学位認定が行われるようになった^[11]。実用的なコンピュータが利用可能になると、その様々な応用が下位領域を形成していった。2000年前後には「IT」という語が流行した。

教育

一部の大学にはコンピュータ科学を専攻とする部門がある。まず近年、コンピュータ科学と計算装置（コンピュータ）が普及させているものとして、すべての人にとって基本的な技術としての「計算論的思考」（Computational Thinking）というものが考えられており（詳細は文献^[12]を参照）、後述する国際学会が取りまとめているカリキュラムでも重視されている。各論的カリキュラムとしては、離散構造、プログラミング、計算理論、アルゴリズム解析、形式手法、並行性理論、データベース、コンピュータグラフィックス、システム解析などがある。

またスタンフォードでは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^[13]である。

他のコンピュータ科学以外の専攻においても、プログラミングが教えられているが、それらはもっぱら、コンピュータ科学の一部としてよりも、物理や化学、あるいは計算言語学といった分野において、コンピュータを道具として使うためのものとして教えられている。

Peter J. Denning, Great principles in computing curricula, Technical Symposium on Computer Science Education, 2004年も参照されたい（英語）。

なお、「コンピュータ科学」という用語について、情報処理学会のカリキュラムJ97（『大学の理工系学部情報系学科のためのコンピュータサイエンス教育カリキュラム J97^[14]』）では、「コンピュータサイエンス」を「情報工学、情報科学、計算機科学、計算機工学などの総称」としているが、それぞれの語に特に定義を与えているわけでもないため、語がてんでに使われている実態を反映したものと思われる。

当然ながら、メタ分析によれば、コンピュータサイエンスの一部は、他の分野と同様、研究者のバイアスによってある程度歪められており、研究を行う際には、学界に存在するバイアスを意識することが望ましい^[15]。

主な成果

学問としての歴史は浅いが、計算機科学は科学と社会への数々の根源的貢献をしてきた。

情報化時代やインターネットに代表される、いわゆる情報革命を実現した。
計算と計算可能性の定義と、それによる計算不能な問題の存在の証明^[16]。
プログラミング言語の概念と様々な抽象化レベルでの手続き的情報を明確に表現するツール^[17]。
エニグマ暗号の解読は、第二次世界大戦での連合国の勝利に貢献した。
計算科学は心に関する問題を解明しつつある。
ヒトゲノム計画はヒトのゲノムの解読を可能にした。
Folding@Homeなどの分散コンピューティングプロジェクトは、タンパク質の折り畳み構造の解明に貢献している。
アルゴリズム取引は、人工知能や機械学習、統計学、数値解析などの手法を取り入れることにより、金融市場の効率性と流動性を向上させた。

他の分野との関係

計算機科学と関係の深い学問分野として、経済学、数学、物理学、言語学などを挙げることができる。一部の人々^[誰?]は計算機科学は数学と関連が深いとみなしているという^[11]。初期の計算機科学はクルト・ゲーデルやアラン・チューリングなどの数学での業績に強い影響を受けていたし、数理論理学、圏論、領域理論、代数学といった領域は計算機科学と数学の間でアイデアをやり取りする領域となっている。

計算機科学とソフトウェア工学の関係は論争の的である。「ソフトウェア工学」という言葉が表すものが何か、計算機科学の範囲をどう定めるかは長年の議論の対象となっている。一部の人々^[誰?]はソフトウェア工学が計算機科学の一部であると信じている。他の人々は、計算機科学が計算全般を扱う学問であるのに対して、ソフトウェア工学は実用的な目的でコンピュータ処理を設計するものであり、異なる学問分野であると考えている。この見方の例としてデイビッド・パーナスがいる^[18]。他の人々^[誰?]はソフトウェアは全く工学的に扱うことはできていないと考えている。

基礎

実装

脚注

[脚注の使い方]

注釈

^ 『英和コンピュータ用語大辞典』には次の通りある^[7]。
computer science …
［JIS］（01.01.18）計算機科学，情報科学，情報工学：計算機による情報処理に関する科学技術の一分野．^[7]
^ 1960年に情報処理国際連合が設立されている。

出典

^ 『ブリタニカ国際大百科事典小項目事典』「計算機科学」
^ Passey, D. (2017). Computer science (CS) in the compulsory education curriculum: Implications for future research. Education and Information Technologies, 22(2), 421.
^ Camp, T. et al. (2017). Generation CS: the growth of computer science. ACM Inroads, 8(2), 44.
^ 「計算機科学は情報に関する学問である」計算機情報科学科、Guttenberg Information Technologies
^ 「計算機科学は計算に関する学問である。」聖ヨハネ大学聖ベネディクト校計算機科学科
^ 「計算機科学はコンピュータシステムのあらゆる側面に関する学問である。理論的基礎から極めて実用的な巨大ソフトウェアプロジェクト管理までも含む。」マッセイ大学
^ ^a ^b ^c コンピュータ用語辞典編集委員会 2001, p. 232.
^ Nigel Tout (2006年). “Calculator Timeline”. Vintage Calculator Web Museum. 2006年9月18日閲覧。
^ “Science Museum - Introduction to Babbage”. 2006年9月24日閲覧。
^ “IBM Punch Cards in the U.S. Army”. 2006年9月24日閲覧。
^ ^a ^b Denning, P.J. (2000年). “Computer science:the discipline”. Encyclopedia of Computer Science.
^ 『計算論的思考』（Jeannette M. Wing Computational Thinking, 中島秀之訳）
^ https://www.ipsj.or.jp/annai/committee/education/j07/ed_j07.html
^ “大学の理工系学部情報系学科のためのコンピュータサイエンス教育カリキュラム J97（第1.1版）” (PDF). 情報処理学会 (1999年9月). 2013年3月22日閲覧。
^ Shepperd, Martin (2015-01). “How Do I Know Whether to Trust a Research Result?”. IEEE Software 32 (1): 106–109. doi:10.1109/MS.2015.8. ISSN 0740-7459.
^ Constable, R.L. (2000年3月). Computer Science: Achievements and Challenges circa 2000
^ Abelson, Hal; G.J. Sussman with J.Sussman (1996年). Structure and Interpretation of Computer Programs (2nd Ed. ed.). MIT Press. ISBN 0-262-01153-0. "コンピュータ革命は思考方法の革命であり、思考を表現する手法の革命である。この変化の本質は「procedural epistemology; 手続き的認識論」と呼ばれるものがよく表している。それは手続き的観点からの知識構造の研究であり、古典的数学の宣言的観点の対極に位置する。"
^ Parnas, David L. (1998年). “Software Engineering Programmes are not Computer Science Programmes”. Annals of Software Engineering 6: 19–37. , p. 19: 「私はソフトウェア工学を計算機科学の一分野としてではなく、土木工学、機械工学、化学工学、電気工学などなどの要素を組み合わせたものとして扱う」

参考文献

コンピュータ用語辞典編集委員会『英和コンピュータ用語大辞典』（第1刷）日外アソシエーツ、2001年。ISBN 978-4816916434。
ACM 1998 ACM Computing Classification System 1998年
IEEEコンピュータ学会とACM Computing Curricula 2001: Computer Science. 2001年12月15日
Peter J. Denning. Is computer science science?, Communications of the ACM, 2005年4月

外部リンク

[8] 『英和コンピュータ用語大辞典』には次の通りある^[7]。
computer science …
［JIS］（01.01.18）計算機科学，情報科学，情報工学：計算機による情報処理に関する科学技術の一分野．^[7]

[12] 1960年に情報処理国際連合が設立されている。

[1] 『ブリタニカ国際大百科事典小項目事典』「計算機科学」

[2] Passey, D. (2017). Computer science (CS) in the compulsory education curriculum: Implications for future research. Education and Information Technologies, 22(2), 421.

[3] Camp, T. et al. (2017). Generation CS: the growth of computer science. ACM Inroads, 8(2), 44.

[4] 「計算機科学は情報に関する学問である」計算機情報科学科、Guttenberg Information Technologies

[5] 「計算機科学は計算に関する学問である。」聖ヨハネ大学聖ベネディクト校計算機科学科

[6] 「計算機科学はコンピュータシステムのあらゆる側面に関する学問である。理論的基礎から極めて実用的な巨大ソフトウェアプロジェクト管理までも含む。」マッセイ大学

[FOOTNOTEコンピュータ用語辞典編集委員会2001232-7] コンピュータ用語辞典編集委員会 2001, p. 232.

[9] Nigel Tout (2006年). “Calculator Timeline”. Vintage Calculator Web Museum. 2006年9月18日閲覧。

[10] “Science Museum - Introduction to Babbage”. 2006年9月24日閲覧。

[11] “IBM Punch Cards in the U.S. Army”. 2006年9月24日閲覧。

[Denning_cs_discipline-13] Denning, P.J. (2000年). “Computer science:the discipline”. Encyclopedia of Computer Science.

[14] 『計算論的思考』（Jeannette M. Wing Computational Thinking, 中島秀之訳）

[15] ttps://www.ipsj.or.jp/annai/committee/education/j07/ed_j07.html

[16] “大学の理工系学部情報系学科のためのコンピュータサイエンス教育カリキュラム J97（第1.1版）” (PDF). 情報処理学会 (1999年9月). 2013年3月22日閲覧。

[17] Shepperd, Martin (2015-01). “How Do I Know Whether to Trust a Research Result?”. IEEE Software 32 (1): 106–109. doi:10.1109/MS.2015.8. ISSN 0740-7459.

[18] Constable, R.L. (2000年3月). Computer Science: Achievements and Challenges circa 2000

[19] Abelson, Hal; G.J. Sussman with J.Sussman (1996年). Structure and Interpretation of Computer Programs (2nd Ed. ed.). MIT Press. ISBN 0-262-01153-0. "コンピュータ革命は思考方法の革命であり、思考を表現する手法の革命である。この変化の本質は「procedural epistemology; 手続き的認識論」と呼ばれるものがよく表している。それは手続き的観点からの知識構造の研究であり、古典的数学の宣言的観点の対極に位置する。"

[20] Parnas, David L. (1998年). “Software Engineering Programmes are not Computer Science Programmes”. Annals of Software Engineering 6: 19–37. , p. 19: 「私はソフトウェア工学を計算機科学の一分野としてではなく、土木工学、機械工学、化学工学、電気工学などなどの要素を組み合わせたものとして扱う」

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[注釈 1]

[8]

[9]

[10]

[注釈 2]

[11]

[12]

[13]

[14]

[15]

[16]

[17]

[18]

表話編歴コンピュータ科学
ハードウェア	プリント基板周辺機器 Integrated Circuit (IC) Very Large Scale Integration (超大規模集積回路、VLSI) Systems on Chip (SoC) エネルギー消費 (グリーン・コンピューティング) EDA ハードウェアアクセラレーション
コンピュータシステムの構造	コンピュータ・アーキテクチャ組み込みシステムリアルタイムシステムディペンダビリティ
ネットワーク	ネットワーク・アーキテクチャ（英語版）通信プロトコルネットワーク・コンポーネント（英語版）ネットワーク・スケジューラ（英語版）ネットワーク性能評価（英語版）ネットワーク・サービス（英語版）
ソフトウェアの構造	インタプリタミドルウェア仮想マシンオペレーティングシステムソフトウェア品質
ソフトウェア記法（英語版）とツール	プログラミングパラダイムプログラミング言語コンパイラドメイン固有言語モデリング言語ソフトウェアフレームワーク統合開発環境ソフトウェア構成管理ソフトウェアライブラリソフトウェアリポジトリ
ソフトウェア開発	ソフトウェア開発プロセス要求分析ソフトウェア設計ソフトウェア構築（英語版）ソフトウェアデプロイメントソフトウェアメンテナンスプログラミングチーム（英語版）オープンソースモデル
計算理論	計算モデル形式言語オートマトン理論計算可能性理論計算複雑性理論コンピュータ科学における論理学（英語版）意味論
アルゴリズム	アルゴリズム（英語版）アルゴリズム解析アルゴリズム効率（英語版）乱択アルゴリズム計算幾何学
コンピューティングの数学	離散数学確率統計学数学ソフトウェア情報理論解析学数値解析
情報システム	データベース管理システム情報ストレージシステム企業情報システム社会情報システム（英語版）地理情報システム意思決定支援システムプロセス制御システムマルチメディア情報システム（英語版）データマイニング電子図書館コンピューティング・プラットフォームデジタルマーケティング World Wide Web 情報検索
セキュリティ	暗号理論形式手法セキュリティ・サービス（英語版）侵入検知システムハードウェア・セキュリティ（英語版）ネットワーク・セキュリティ情報セキュリティアプリケーション・セキュリティ（英語版）
ヒューマンコンピュータインタラクション	インタラクションデザインソーシャル・コンピューティング（英語版）ユビキタスコンピューティング可視化アクセシビリティ
並行性	並行コンピューティング並列コンピューティング分散コンピューティングマルチスレッディングマルチプロセッシング
人工知能	自然言語処理知識表現と推論コンピュータビジョン自動計画とスケジューリング検索手法制御手法人工知能の哲学（英語版）分散人工知能（英語版）
機械学習	教師あり学習教師なし学習強化学習マルチタスク学習（英語版）交差検証
グラフィックス	アニメーションレンダリング画像編集 GPU 複合現実バーチャル・リアリティ画像圧縮ソリッドモデリング
応用コンピューティング	電子商取引企業アプリケーション計算数学（英語版）計算物理学計算化学計算生物学計算社会科学計算工学（英語版）健康情報学デジタルアート電子出版サイバー戦争電子投票コンピュータゲームワードプロセッサーオペレーションズ・リサーチ教育工学文書管理システム
概要（英語版）カテゴリブックコモンズ

典拠管理データベース
国立図書館	スペインフランス BnF data ドイツイスラエルアメリカチェコ韓国
その他	現代ウクライナ百科事典スイス歴史辞典

歴史

教育

主な成果

他の分野との関係

基礎

実装

脚注

注釈

出典

参考文献

関連項目

外部リンク