計算の数学理論――理論プログラミング