formula_16であるときだけ計算可能関数formula_7が属性 "f" を持つと解釈する。