23/07/07 21:11:36.87 5TGpcNuS.net
>>803
うん？
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)
だから俺は、ギャップを埋めるとCor 3.12とは⇔を介して0≦d(p)のことと考えているが、
⇔の部分を「導かれる」と君は考えているということ？