計算
en:
calculation
aka. computation?
list of systems
形式論理
ヒトがやる
数学
ヒトがやる
programming
機械（= 計算機）がやる。