プログラムを物理化