>>317
やはり間違っていましたか…。ご指摘ありがとうございます。
おおまかな流れは理解できました。
〜〜〜のところは、表現したら{ F(x)a(x)b(x) }で合っていますか？