>>245
> あらかじめ45を計算できる手法があったら俺も知りたいもんだ。
なんかできそうだぞ。

　α*上の画像 + (1 - α)*下の画像
の dest を １つずつ下のレイヤにしていけばいいわけだろ？
で、構文木を再帰で生成させて出力したのを観察して、手でまとめたのが下。
　x0*a0
+ x1*a1*(1 - a0)
+ x2*a2*(1 - a0 - a1*(1 - a0))
+ x3*a3*(1 - a0 - a1*(1 - a0) - a2*(1 - a0 - a1*(1 - a0)))
+ x4* (1 - a0 - a1*(1 - a0) - a2*(1 - a0 - a1*(1 - a0)) - a3*(1 - a0 - a1*(1 - a0) - a2*(1 - a0 - a1*(1 - a0))))

x4 は、12 を合成したもの。
で、3 を編集中に変更があるのは、a3 と x3。
αがピクセル単位じゃなければ割といいんじゃない？
合成が加算になるのもポイント高いかもよ？

って、実は試してないんだｗ
構文木出力にバグがあったり、手でまとめるときにミスしてたらゴメンｗ
「知識の無い奴」なんて言ったんだから、責任もって検算か反証してくれるよねｗ