式が値を持つ
って初めて聞いたな
古い本か?