規格上「式の評価」が何を意味するのか、規格を引用して教えてくれw