勘違い

『semi Black-Box reductionが存在するならmildly Black-Box reductionが存在する』は分かった.
『fully Black-Box reductionが存在するならsemi Black-Box reductionが存在する』の逆が正しいような気がしてしょうがなかったが, シミュレータの存在条件が違うということに気付いて納得した.

そろそろ格子に戻らないとなぁ.