数学のうち、応用数学の一分野

速さに興味ある人と、正しさに興味がある人とがいる

速さ: 計算量理論とか、アルゴリズムとか

正しさ: 形式手法とか、プログラミング言語理論とか

論理学、代数学、グラフ理論とか

離散数学多め #離散

有限と無限の世界をはっきり重視

#イデア #記号