新しいものを表示

もっとシンプルに言うと「条件が追加される事でfalseになる可能性が追加されるわけだから、追加されなければtrueである」かも?><
数学の人が丸を二個重ねたお約束の図で(数学苦手な人には「ばなな><」な)説明してた話って、噛み砕けばこう?><

「おうちに帰っていいか?」のルールで考えてもよさそう><
「お片付けしたら帰っていいよ」
「箒で掃除したあとで」
「戸締まりしたら」
「帰るよって報告したら」
ってルールが増えていくとして、falseであるべきって発想だと、最初は「無条件で帰っちゃダメ」になっちゃう><
この4条件が揃ったあとの視点から見ると、1から3の条件が出た時にだけ穴があって、それと矛盾しないようにするなら条件が0の時にも穴がある状態、つまり1から3の時と同じようにしなければならなくなる訳だから同じようにtrueが返ってこないとおかしい><

現実での自動車運転の条件の歴史は知らないけど、自動車が発明された直後は免許なんて無かったし、明示的に自動車を取り締まる法律もなかったはず><
つまり、空の条件リストがtrueを返してる><

現実のルールでも同じだよね><
「クルマ運転していいよ」
+「やっぱ下手だと危ないから免許がいるよ!」
+「酔っぱらってると危ないからお酒飲んでたらダメだよ!」
+「速度だしすぎだと危ないから制限速度以下じゃないとダメだよ!」

あり得そうだけど、オレンジの発想では、未実装な必要条件が全て揃うまでは結局変わらないので、実際には無意味かもって発想になった><
「条件A,B,C,Dを満たせば」のつもりだったとして、「A,B,Cだけ実装した場合」でも、「ひとつも実装してない場合」でも、「条件Dを満たさなくてもtrueになっちゃう」のは変わらない><
って考えに至って「なるほど!><;」になった><

orange さんがブースト

all([]) 

all([]) = false が嬉しい話、これとか? (説得力は微妙だが理解はできる、くらいのものだが) twitter.com/lo48576/status/166

数学得意な人は、演繹法で数学的な証明で説明するじゃん?><(でtrueだって話になってる)
オレンジは帰納法的アプローチで考えるじゃん?><(で、オレンジも結果的に「trueかもたしかに><;」)になった><
帰納法的アプローチで「falseだ」って言ってる人は居ないの?><
(オレンジと同じような発想で考えて逆の結論になった人と議論したら楽しそうかもって><;)

(本題)
falseだよって人で「falseじゃないとバグが増える具体的な例」を出してる人っているんだろうか?><

(前置き)
これ、オレンジは数学的な発想をせずに、最初まず条件を勘違いしてひとつでも含まれてたらと思い込んで、事例ベースで考えて「falseじゃね?><」って考えて、そのあと勘違いを指摘されて、正しい問いに対してfalseになる事例を思いつけなくて「trueだ!><;」になったけど、

orange さんがブースト

「配列のすべての要素が条件を満たすなら True を返す」関数を定義するとき、空の配列を渡したら True を返すべき数学的証明 https://zenn.dev/wsuzume/articles/c4f85df441def6#fnref-b945-9

流行ってるの、これかぁ。元の問題を論理学っていうか数学っていうかの言葉に置き換えて考えて定義を与える人的には当然 True 返すやろみたいな話だし、OCaml の List.fold_left みたいな関数で実装することを考えると true 返すのが楽やろみたいな話もあるが、職業プログラマとしては給料を渡す人間が false にしろといえば false にするという話なのかなぁ。知らんけど。

VTuberにはちゃんと漢字読めない人はたくさんいるけど、手当を読み間違えたVTuberはオレンジには記憶無い><(探せば居そうだけど)

不思議・・・><

田島麻衣子 - Wikipedia ja.wikipedia.org/wiki/%E7%94%B

"青山学院大学国際政治経済学部卒業
オックスフォード大学大学院修士課程修了"

orange さんがブースト

中学入試の問題で何点かとれないと国会議員になれないようにしたほうがいいと重う気がする。
j-cast.com/2023/06/02462673.ht

ていうか、農業用というかガーデニング用の温室目的の半透明カラーコーンってあっても良さそう><

そういうのの記事見つけたけど、記事にはそこまで見事なのはないっぽさ><

小さな地球を見た〜カラーコーンの中で育つ植物コレクション〜 :: デイリーポータルZ dailyportalz.jp/kiji/color-cor

orange さんがブースト

温室みたいになってたんだろうか

orange さんがブースト

台風前に飛散防止で避難させようとカラーコーン取ったら中で元気なカラーコーン育ってて草‪🌱‬‪🌱‬‪🌱

おもしろい><><

[B! インタビュー] 1991年の山下達郎インタビューに見る根深い孤立感と不信感 - YAMDAS現更新履歴 b.hatena.ne.jp/entry/s/yamdas.

どっちかというとHAL9000?><;

AI搭載ドローンが標的破壊作戦のシミュレーションで自分のオペレーターを殺害 - GIGAZINE gigazine.net/news/20230602-ai-

GLaDOSっぽさ><

古いものを表示
:realtek:

思考の /dev/null