ソフトウェアは、「計算机上で何が出来ないか」を決めるもの