新しいプログラミング・パラダイム⑥_項書換えシステムと完備化手続き