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

[過去ﾛｸﾞ] 高木くんがアクセプトされるまで見守るスレ ★3 (1002ﾚｽ)
上下前次1-新
抽出解除ﾚｽ栞

このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索歴削→次ｽﾚ栞削→次ｽﾚ過去ﾛｸﾞﾒﾆｭｰ

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

351(1): 2023/05/18(木)19:45 ID:JdpfdCRB(5/6)調 AAS
>>349
自明な場合でも「数式に落とし込んだ定義が直観に矛盾しないことをちゃんと確かめる」という大事な意味を持ちます

書く必要がないというのは書いてはいけないという意味と異なりますか？

353(1): ◆pObFevaelafK 2023/05/18(木)19:49 ID:VPKgPfmP(16/23)調 AAS
>>351
文字通り異なるに決まっている