[過去ﾛｸﾞ] スレタイ 箱入り無数目を語る部屋20 (1002ﾚｽ)
上下前次1-新

---

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

---

27(3): 2024/07/07(日)21:14 ID:av3+rUTI(2/7) AAS
>>24
>１）定義は命題の冒頭に書かないと、命題における D1,...,D100とjが定義なしだ。これはまずい！
条件を満たすD1,...,D100とjが存在することが命題だからなにもまずくない

>２）「{j∈{1,...,100}|d(sj)=max{d(s1),...,d(s100)}}から元を任意にひとつ選択しjとする」において
>　この”元”とは何か？
集合{j∈{1,...,100}|d(sj)=max{d(s1),...,d(s100)}}の要素

>　”任意にひとつ選択しjとする”というけれど、すでに”{j∈{1,...,100}|d(sj)=max{d(s1),...,d(s100)}}”として”ｊ”が使われている
変数のスコープがかぶってないから何の問題も無い
気持ち悪いなら{k∈{1,...,100}|d(sj)=max{d(s1),...,d(s100)}}とでもすれば良いだけ　知恵遅れ？

---

上下前次1-新書関写板覧索設栞歴

---

あと 975 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ

---

ぬこの手 ぬこTOP 0.009s