>>898
というより研究成果が
計算量クラスの分類で綺麗にまとまる。
量子計算機も結局、どんな定義でどれだけ計算（記述）可能かを求めている。
型理論とか学習理論も数理論理学でとられちゃってるし、
後は離散数学なんかに属する。