>>804
> うん？
　うんじゃなくてさ

> SSレポートの1.3節にある通り、Cor 3.12のメインの主張が-|log(q)|≦-|log(Θ)|
> ギャップを埋めると-1/2l * deg(qE) = -|log(q)|≦-|log(Θ)| = (l+1)/2 * d(p) - 1/2l * deg(qE)⇔0≦d(p)

ああ違う違う
=でないものを=としたらダメだよ
?　-1/2l * deg(qE) = -|log(q)|
?　(l+1)/2 * d(p) - 1/2l * deg(qE)=-|log(Θ)|

> だから俺は、ギャップを埋めるとCor 3.12とは⇔を介して0≦d(p)のことと考えているが、

だから、ギャップを埋めると　-|log(q)|≦-|log(Θ)|　ではなく　0≦d(p)　　が得られる

> ⇔の部分を「導かれる」と君は考えているということ？

いや、君が⇔といってるのがウソ
等しくないものを等しいといいきったのがウソ

-|log(q)|≦-|log(Θ)|　⇔　0≦d(p)　ではないよ