数式処理を行える理由


コンピュータでは数値を扱わなければ答えを得ることができませんが、なぜ、Maximaなどの数値計算ツールは代数計算や微分積分が行えるのですか？




> コンピュータでは数値を扱わなければ答えを得ることができません...

計算機は数値を扱うものというよりは、論理計算ができるものと捉えたほうがより本質的かと考えます。

代数演算や微分積分というのは代数式を記号列としてとらえ記号列を他の列へ一定の規則に従い変換するものです。こういったもの（記号処理）も論理計算として定式化できるので計算機で解く事ができます。




> コンピュータでは数値を扱わなければ答えを得ることができません...

計算機は数値を扱うものというよりは、論理計算ができるものと捉えたほうがより本質的かと考えます。

代数演算や微分積分というのは代数式を記号列としてとらえ記号列を他の列へ一定の規則に従い変換するものです。こういったもの（記号処理）も論理計算として定式化できるので計算機で解く事ができます。

