💻計算機科学/Computer Science

計算機科学(Computer Science, CS). 情報科学, コンピュータサイエンス.

💻コンピュータによる情報処理に関連する科学技術の一分野.

ソフトウェアエンジニアリングに関わるものは ソフトウェア工学 を参照.

基礎分野

• 🎓情報理論
• 📂アルゴリズムとデータ構造
• 📝計算機科学史
• 🎓オントロジー: 形而上学.

応用/実装

• 📝プログラミング言語
  • 🔖コンパイラ
• ☁分散システム
• 💻並行プログラミング
• 🎓ソフトウェア工学
  • 💻プログラミング
  • 📂プログラミングパラダイム
• 💻コンピュータアーキテクチャ
  • 📝オペレーティングシステム概論(OS)
• 📡コンピュータネットワーク
• 🎓暗号理論
• 📝データベース概論(DB)
• 🤖人工知能
  • 🎓ロボティクス
• 🎨コンピュータグラフィックス: 計算機 x 画像
• 📊データサイエンス

分類

Wikipedia での分類

学問の一覧 - Wikipedia

• 離散構造・数学的基礎数理論理学再帰理論集合論数論組み合わせ数学グラフ理論組合せ最適化
• 計算理論オートマトン理論形式言語理論計算可能性理論計算複雑性理論計算模型
• アルゴリズムとデータ構造アルゴリズムアルゴリズム解析データ構造アルゴリズム工学
  • プログラミング言語と方法論プログラミング言語コンパイラプログラミングパラダイムオブジェクト指向関数型言語型理論形式手法形式的検証プログラム意味論ソフトウェア工学
• オペレーティングシステムプロセス割り込みマルチタスク仮想ファイルシステムアセンブリ言語
• コンピュータ・アーキテクチャデジタル回路マイクロアーキテクチャマルチプロセッシング
• コンピュータネットワーク通信プロトコル情報理論インターネットネットワーク・セキュリティ
• コンピュータセキュリティ暗号理論フォールトトレラントシステム
• 分散コンピューティンググリッド・コンピューティング
• 並列コンピューティング高性能計算
• 量子コンピュータ
• コンピュータグラフィックス画像処理可視化計算幾何学グローバル・イルミネーション
• インフォマティクス (知能情報学) 人工知能自動推論探索知的エージェントソフトウェアエージェント機械学習計算論的学習理論パターン認識ソフトコンピューティングニューラルネットワーク群知能ベイジアンネットワーク進化的計算遺伝的アルゴリズム自然言語処理コンピュータビジョンエキスパートシステムロボット工学マンマシンインタフェース人工生命 DNA コンピュータ
• 数値解析計算化学計算科学計算生物学計算物理学計算論的神経科学

🎓オペレーションズ・リサーチ/OR

オペレーションズ・リサーチ, 略してOR.

数学的・統計的モデル、アルゴリズムの利用などによって、さまざまな計画に際して最も効率的になるよう決定する科学的技法. 学際的な領域.

• 🎓数理最適化
• 🎓科学的方法論
• 🔖意思決定
• 🗃戦略(Strategy)
• 🔍探索アルゴリズム

Topics

• 🆚応用数学と計算機科学の違い

🆚アルゴリズムとデータ構造

• 📝アルゴリズム
• 📝データ構造

アルゴリズムとデータ構造についてまとめる. この２つはセットで教えられることがおおいため, その関係性やトピックについてまとめていく.

🆚計算機科学の数学的背景

言い換えれば, 📝関数型プログラミングを支える数学的背景.

• 🔖計算機科学
• 🎓抽象代数学
• 🎓数理論理学
  • コンパイル = 証明

数学対応マップ

以下に数学的概念と関数型言語の対応マップがある.

ref.Modegramming Style: 関数型プログラミング技術マップ 2014

🔗References

• 計算機科学 - Wikipedia
• Computer science - Wikipedia, the free encyclopedia

👉Related

up: 📁自然科学

🦊with me

理科大で堀部先生が担当していたやつ. SJ科必修科目のひとつ.