高木くんがアクセプトされるまで見守るスレ ★10

高木くんがアクセプトされるまで見守るスレ ★10 (666ﾚｽ)
上下前次1-新
抽出解除ﾚｽ栞

ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡

134(4): 07/23(水)19:16:03.81 ID:C6aja59Y(1/3) AAS
横からスマン。
流れを追っかけてないけど、そろそろ証明ご主張の成否に決着が付いた？

著者は「指摘されたあそこは次の『最終版』でちょこまかそう」って思うポイントは見つかったん？

190(1): 07/24(木)08:37:39.81 ID:rHJ6gxds(4/5) AAS
>>187
公約数の話は後だよ、
abcdefgは>>146の方程式の変数なのか、方程式の解のうちの一つなのか聞いてるんだから

374: ◆pObFevaelafK 07/27(日)22:14:53.81 ID:fkyKGCZB(16/19) AAS
>>349
logの表記を修正しました。

591(2): 08/02(土)01:24:52.81 ID:w+YcOms+(10/13) AAS
>>588
そうか

そこまで言うなら

変数の定義に反した数を代入した場合、等号が成り立っても成り立たなくても、その式は成り立たない。

これをこれから約束してくれるなら、この立場を認めよう。