プログラミング (コンピュータ)と計算機科学

ショートカット: 違い、類似点、ジャカード類似性係数、参考文献。

プログラミング (コンピュータ)と計算機科学の違い

プログラミング (コンピュータ) vs. 計算機科学

ンピュータのプログラミング（programming）とは、コンピュータプログラムを作成することにより、人間の意図した処理を行うようにコンピュータに指示を与える行為である。. 計算機科学（けいさんきかがく、computer science、コンピュータ科学）とは、情報と計算の理論的基礎、及びそのコンピュータ上への実装と応用に関する研究分野である。計算機科学には様々な下位領域がある。コンピュータグラフィックスのように特定の処理に集中する領域もあれば、計算理論のように数学的な理論に関する領域もある。またある領域は計算の実装を試みることに集中している。例えば、プログラミング言語理論は計算を記述する手法に関する学問領域であり、プログラミングは特定のプログラミング言語を使って問題を解決する領域である。.

形式手法

Z言語を使った形式仕様記述の例 形式手法（けいしきしゅほう、formal methods）は、ソフトウェア工学における数学を基盤としたソフトウェアおよびハードウェアシステムの仕様記述、開発、検証の技術である。ソフトウェアおよびハードウェア設計への形式手法の適用は、他の工学分野と同様、適切な数学的解析を行うことで設計の信頼性と頑健性が向上するという予想によって動機付けられている。 形式手法は理論計算機科学の様々な成果を基盤として応用したものであり、数理論理学、形式言語、オートマタ理論、プログラム意味論、型システム、代数的データ型などを活用して、ソフトウェアおよびハードウェアの仕様記述とその検証を行う。.

プログラミング (コンピュータ)と形式手法 · 形式手法と計算機科学 · 続きを見る »

チャールズ・バベッジ

チャールズ・バベッジ（Charles Babbage、FRS、1791年12月26日 - 1871年10月18日）は、イギリスの数学者。分析哲学者、計算機科学者でもあり、世界で初めて「プログラム可能」な計算機を考案した。「コンピュータの父」と言われることもあり、初期の機械式計算機を発明し、さらに複雑な設計に到達した。その完成しなかった機械の一部はサイエンス・ミュージアムに展示されている。1991年、バベッジの本来の設計に基づいて階差機関が組み立てられ、完全に機能した。これは19世紀当時の技術の精度に合わせて作られており、バベッジのマシンが当時完成していれば動作していたことを証明した。9年後、サイエンス・ミュージアムはバベッジが階差機関用に設計したプリンターも完成させた。.

チャールズ・バベッジとプログラミング (コンピュータ) · チャールズ・バベッジと計算機科学 · 続きを見る »

ハーマン・ホレリス

ハーマン・ホレリス（Herman Hollerith、1860年2月29日 - 1929年11月17日）はアメリカの発明家。パンチカードを使用し、数千数万のデータから統計情報を迅速に集計するタビュレーティングマシンを開発した。また、後にIBMの一部となる会社を創業した。.

ハーマン・ホレリスとプログラミング (コンピュータ) · ハーマン・ホレリスと計算機科学 · 続きを見る »

プログラミング言語

プログラミング言語（プログラミングげんご、programming language）とは、コンピュータプログラムを記述するための形式言語である。なお、コンピュータ以外にもプログラマブルなものがあることを考慮するならば、この記事で扱っている内容については、「コンピュータプログラミング言語」（computer programming language）に限定されている。.

プログラミング (コンピュータ)とプログラミング言語 · プログラミング言語と計算機科学 · 続きを見る »

データベース

データベース（database, DB）とは、検索や蓄積が容易にできるよう整理された情報の集まり。 通常はコンピュータによって実現されたものを指すが、紙の住所録などをデータベースと呼ぶ場合もある。コンピュータを使用したデータベース・システムでは、データベース管理用のソフトウェアであるデータベース管理システムを使用する場合も多い。.

データベースとプログラミング (コンピュータ) · データベースと計算機科学 · 続きを見る »

コンパイラ

ンパイラ（英:compiler）とは、コンピュータ・プログラミング言語の処理系（言語処理系）の一種で、高水準言語によるソースコードから、機械語に（あるいは、元のプログラムよりも低い水準のコードに）変換するプログラムである。.

コンパイラとプログラミング (コンピュータ) · コンパイラと計算機科学 · 続きを見る »

コンピュータ

ンピュータ（Computer）とは、自動計算機、とくに計算開始後は人手を介さずに計算終了まで動作する電子式汎用計算機。実際の対象は文字の置き換えなど数値計算に限らず、情報処理やコンピューティングと呼ばれる幅広い分野で応用される。現代ではプログラム内蔵方式のディジタルコンピュータを指す場合が多く、特にパーソナルコンピュータやメインフレーム、スーパーコンピュータなどを含めた汎用的なシステムを指すことが多いが、ディジタルコンピュータは特定の機能を実現するために機械や装置等に組み込まれる組み込みシステムとしても広く用いられる。電卓・機械式計算機・アナログ計算機については各項を参照。.

コンピュータとプログラミング (コンピュータ) · コンピュータと計算機科学 · 続きを見る »

ソフトウェア工学

フトウェア工学（ソフトウェアこうがく、Software engineering）は、コンピュータのプログラム、およびその作成行為であるプログラミングを対象とした工学である。.

ソフトウェア工学とプログラミング (コンピュータ) · ソフトウェア工学と計算機科学 · 続きを見る »

タビュレーティングマシン

ンピュータ歴史博物館にあるホレリスのタビュレーティングマシンとソータ (1890) ホレリスのパンチカード タビュレーティングマシン（Tabulating machine）は日本では一般にパンチカードシステムと呼ばれていたもので、会計などの作表を補助する機械群。タビュレータ (tabulator) とも。ハーマン・ホレリスが発明し、1890年の米国国勢調査のデータ処理で初めて使用された。その後コンピュータが普及するまでデータ処理に広く使われた。 「スーパーコンピューティング」という言葉は1931年、紙がIBMがコロンビア大学に納入した大型特製タビュレータを指して使ったのが最初である なお、95ページにある1920年という日付は間違っている。詳しくは を参照。.

タビュレーティングマシンとプログラミング (コンピュータ) · タビュレーティングマシンと計算機科学 · 続きを見る »

解析機関

バベッジ自身が組み立てた解析機関の一部の試作品http://www.sciencemuseum.org.uk/objects/computing_and_data_processing/1878-3.aspx ''Babbage's Analytical Engine, 1834-1871. (Trial model)'' -Science Museum, London。サイエンス・ミュージアム（ロンドン） 解析機関（かいせききかん、analytical engine）は、イギリス人数学者チャールズ・バベッジが設計した、蒸気機関で動くはずだった機械式汎用コンピュータであり、コンピュータの歴史上、重要なステップを刻んだ。 バベッジが解析機関についてはじめて記述したのは1837年であるが、1871年の死去直前まで設計を続けた。資金や政治、法律などの問題があり、この機械は実際には製作されなかった。論理的に解析機関に匹敵する機能を持つ汎用コンピュータは、1940年代にやっと現実のものとなったのである。 この機械はしばしば、当時の工作精度のため製作できなかった、とされる。これはバベッジが機関のための精度が足りないとしていたためもある。しかし、息子のヘンリー・バベッジや現代のサイエンス・ミュージアムによる部分的構築によって、必要なだけの工作精度はあったことが確認されている（特に、現代の再現では、当時の工作機械についての考証のうえで行われている） 。そのため、資金と政府の支援があれば、工作機械の精度に関しては、当時でも製作できたのではないかとされる。ただし、必要な精度がどれだけであるか、といった工学的な考え方は当時まだ無かったことも考慮する必要がある。.

プログラミング (コンピュータ)と解析機関 · 解析機関と計算機科学 · 続きを見る »