形式科学
形式科学（けいしきかがく、英: Formal sciences）とは、数学、計算機科学、統計学、論理学など、形式的体系を研究する学問分野の総称である。 これらの分野は、抽象的な構造や関係性を扱い、自然科学や社会科学とは異なり、実験や観察に基づかない。 形式科学は、公理、定義、論理的推論を用いて、理論的枠組みを構築し、他の学問分野に応用される基礎的な概念や手法を提供する。
Tree
-
-
- 代数学
- 幾何学
- 解析学
- 位相幾何学
- 数理論理
-
応用数学
- 数値解析
- 最適化
- 確率論
- 数理統計
-
-
理論計算機科学
- 計算理論
- オートマトン・形式言語
- 計算量理論
-
プログラミング言語理論
- 型理論
- 意味論
- コンパイラ理論
-
形式手法
- プログラム検証
- 定理証明
- 暗号理論
-
- 統計学
-
推定
- 仮説検定
- ベイズ統計
- 実験計画
- 統計的学習理論
-