高木くんがアクセプトされるまで見守るスレ ★10 (644レス)
上下前次1-新
抽出解除 レス栞
リロード規制です。10分ほどで解除するので、他のブラウザへ避難してください。
565(1): 08/01(金)21:23 ID:sDSm6+Oy(6/9) AAS
>>558
>それから、555は∃,∀を使って書けと書いたのだから、そう書けよ。
>>{(a,b,c,d,e,f,g)∈ℕ^7 | a^2+b^2=d^2 ∧ b^2+c^2=e^2 ∧ c^2+a^2=f^2, a^2+b^2+c^2=g^2}
∃(a,b,c,d,e,f,g)∈{(a,b,c,d,e,f,g)∈ℕ^7 | a^2+b^2=d^2 ∧ b^2+c^2=e^2 ∧ c^2+a^2=f^2 ∧ a^2+b^2+c^2=g^2}
ぐらいも人頼みか終わってんな
567(2): ◆pObFevaelafK 08/01(金)21:45 ID:1Ww89Egs(14/16) AAS
>>565
別に頼んでいるわけではない、565は私が証明で書いた内容から、簡単に分かる
論理式を偉そうに書いているだけだ。
上下前次1-新書関写板覧索設栞歴
スレ情報 赤レス抽出 画像レス抽出 歴の未読スレ AAサムネイル
ぬこの手 ぬこTOP 0.031s