プログラム運算システムの実用化に関する研究