US8212822B2 - Program Execution System, Program Execution Device and Recording Medium and Computer Executable Program Therefor