23/07/08 05:48:52.21 5D12U7Zc.net
>>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) ではないよ