プログラム規定説