24/10/14 13:24:00.67 8VdF/rGN.net
数学における well-defined（ウェル・ディファインド）は、「定義によって一意の解釈または値が割り当てられる」ことを言う。
ところが「定義」という言葉がwell-definedでない。
well-definedはwell-definedでない「定義」という言葉によって定義されてるのでwell-definedでない。
正しいよな？
2:１３２人目の素数さん
24/10/14 14:13:00.64 j7826gPj.net
はたらけ
3:１３２人目の素数さん
24/10/14 14:13:47.98 j7826gPj.net
はろーわーく
4:１３２人目の素数さん
24/10/14 14:13:58.27 Ap0HUOyx.net
空集合から勘でカン拡張し続ける
5:１３２人目の素数さん
24/10/14 14:14:03.50 j7826gPj.net
おちこぼれ
6:１３２人目の素数さん
24/10/14 16:56:20.91 j7826gPj.net
うんどうしろ
7:１３２人目の素数さん
24/10/14 16:58:16.57 j7826gPj.net
からておどり
8:１３２人目の素数さん
24/10/15 19:14:44.52 0nqfcBnD.net
「定義」＝「記号の略記」
これがすべてで数学的な意味はない
マクドナルドをマクドと定義すれば次からはマクドと言うだけでマクドナルドと言ったのと同じになる
というだけ
9:１３２人目の素数さん
24/10/15 23:51:50.83 AieiwtQJ.net
>>8
反論になってないよね？
「定義」という言葉はwell-definedじゃなくない？
10:１３２人目の素数さん
24/10/16 15:44:28.69 QRlDARl1.net
>>8
well-defined（ウェル・ディファインド）は相当圏論寄りな概念なので
ハスケルの関数呼び出しなんかにもしかしたら転用できるかもしれない。
直接的に思いつくのは
ハッシュテーブルの一意性が鳩ノ巣原理で保証されてるハッシュ関数とか。
11:１３２人目の素数さん
25/01/10 06:32:35.69 xW/VxeoG9
EVシフトに渋滞緩和まで妨害したい国民民主のガソリン税値下げを飲む自民党に唖然とするが地球環境とか子の未来とかくそくらえの
玉木不倫雄‐郎ってマトモなこと言ったことあるのかな、1号線走り続けるトラックとか社会的無駄もいいとこだし高速ワンコヰン化は
悪くないがむしろ無料化して料金所撤去してIC増やして余計な道路も作らずスリム化するのが筋た゛ろ
財源は気候変動で災害連発に騒音で知的産業壊滅させてる航空燃料を含む石油に－律リッタ１万円課税クルマは99%軽減に灯油は99.９%軽減
とか言えは゛国民も納得しやすいだろうに6萬円給付されると聞いておせち注文してたジジバハ゛知ってるが玉木のせいで半減残念でした
次回は素直に共産党にでも入れときなはれ日本の問題は国民の寄生虫体質にあるわけて゛岡本三成がまたヘナヘナアホなこと言ってたか゛
自動化すればいいだけの何ひとつ価値生産しない公務員の何が大変なんた゛か最低賃金でも高すぎるしクソへリ全廃、腐敗政府裁量権最小化
大企業への公共事業禁止して航空燃料税リッタ１万円にして公平な最低所得保障する以外に付加価値型経済の実現などあり得ない
(ref.) tТps://www.call４.jp/info.php?Typｅ=itеms&id=I000０062
ｔTps://haneda-Рrojeсt.jimdofree.Сom/ , ТURLﾘﾝｸ(flight-rou)Тe.com/
ttｐs：/／n-souonhigaisosｙoudan.amebaownd.com/
12:過去ログ ★
[過去ログ]
■ このスレッドは過去ログ倉庫に格納されています