プログラム導出
Program derivation
数学的手段を用いて、仕様からプログラムを生成すること
自動定理証明と逆のアプローチになる #??
定理証明は、プログラムを書いた後に、証明を与える
https://ja.wikipedia.org/wiki/プログラム導出
https://en.wikipedia.org/wiki/Program_derivation