結果 : dynamic semantics in programming language