“存贮程序是计算机”方案是()提出的。