構成的方法と計算機