プログラムの機械への導入方法