形式科学

論理・記号・構造を扱う

抽象的なルールや構造を扱い、他分野の基盤言語にもなる領域です。数式、論理、計算、システム設計の考え方がここに集まります。