Fediver

・任意の実数を扱うことは人間でも無理
・計算機で代数的解を導く方法は良く研究されている
ので、人間の計算したい数式は全部プログラムとして表せる？