[過去ログ] 高木くんがアクセプトされるまで見守るスレ ★9 (1002レス)
前次1-
抽出解除 レス栞

このスレッドは過去ログ倉庫に格納されています。
次スレ検索 歴削→次スレ 栞削→次スレ 過去ログメニュー
リロード規制です。10分ほどで解除するので、他のブラウザへ避難してください。
152
(1): 132人目の素数さん [sage] 2025/05/03(土) 16:56:13.77 ID:3ePdVW+O(12/20) AAS
>>149
>>151
高木式数学では、aが奇数であること示すには、そのあとaが謎式を満たすとしています。これが付け足し定義です。

Let a be an iinteger(原文ママ).のみをaの定義のように>>149で言うから会話に齟齬が生じています。

本当にLet a be an integer.のみがaの定義ですか?
154
(3): ◆pObFevaelafK [sage] 2025/05/03(土) 17:21:28.24 ID:TwCyrJha(9/14) AAS
>>151
定義だけで、aが奇数であるとどこに書いているのか?
私が書いているのは、aとbが両方とも奇数(これは形容しているのであって定義ではない)
である場合に、a^2+b^2が平方数になることはない。よって、aを奇数、bを偶数と
しても一般性を失わないと書いている。ふざけるのはいい加減にしろ!

>>152
aが奇数であるというのは修飾しているのであって、定義ではない。
それから、aが辺の一辺だというのも同様だ。定義した変数を説明なり修飾してはいけない
なんていう法があるのでしょうか?下らないのもいいところだと考えますが。

それからLet be an iinteger.とは絶対に書いていない。ハッカーが誤入力をさせたのだろう。
前次1-
スレ情報 赤レス抽出 画像レス抽出 歴の未読スレ AAサムネイル

ぬこの手 ぬこTOP 0.046s