orange @[email protected]

例えば、『チェック済み項目と「それをパスしているか？」の組み合わせ』が入ってる配列で「全部おkだったらtrue」って仕様だと、チェック済み項目が空(まだひとつもチェック終わってない)でもtrueになっちゃうけど、
でも、それは全部チェックし終わってなくてもtrueになっちゃうわけだからそもそもバグってる＞＜

という事はtrueでおk？＞＜；

・・・・なるほどではあるけど、でも直感的には、まだ「(でも、それってほんとに安全側になる？＞＜；)」って疑問が＞＜；

畳み込みの視点から見たforall(every)とexists(some): 空集合に対するforallは常にtrueになる - Lambdaカクテル https://blog.3qe.us/entry/2023/05/30/213713

"・「配列のすべての要素が条件を満たすならtrueを返す」関数を空集合に対して適用すると、常にtrueになる
・「配列の要素が1つでも条件を満たすならtrueを返す」関数を空集合に対して適用すると、常にfalseになる"

なるほど！＞＜；

あれっ？＞＜；

難しい＞＜；

書いた＞＜

オーストラリア市場撤退って事？ (#.4469841) | テスラの右ハンドル車、受注分も含め生産終了。モデルYは世界で最も売れた車に | スラド https://srad.jp/comment/4469841

J-POPって言葉が普及する前は、レコード屋さんの棚には「ニューミュージック」って書いてあった＞＜(たぶん正しい分類じゃなく、演歌民謡お年寄り向け歌謡曲サントラ等々以外の邦楽が、雑にニューミュージックの棚に置かれてた感じっぽさ＞＜)

昔、モスバーガーで「おこめサンド」っていい間違えても「ライスバーガーですね」って訂正してくれて買えたけど、日本のam/pmが無くなってずいぶん経った今でも通じるんだろうか？＞＜；

ライスバーガー 誕生物語 | モスの想い | モスバーガー公式サイト https://www.mos.jp/omoi/15/

どう考えても指名買いするものであれば完全にそうだしオレンジもたまにぶちきれてるけど、一方で、セガのファミコンとかタダノのユニック的な、商品名が一般名詞？と混同されてたり、日清の赤いきつねみたいなメーカーと商品名の対応が混乱してる場合とかは、ありな気がしてる＞＜
(「赤いきつねじゃなくてどん兵衛だった間違えた・・・」的な＞＜)

あえて半分ジョークで元の増田記事のタイトルに乗るけど、
「数学界隈って工学界隈に比べてセンス無いんじゃね？＞＜； 安全側に倒すって発想無いの？＞＜；」
かも＞＜；

if (核攻撃は含まれるか関数(敵の攻撃内容一覧配列))
{
　核ミサイル打ち込む();
}
ってコードで、敵が全く攻撃してない時にこの部分が実行されてしまったら、報復攻撃するって事でしょ？＞＜；
なんでそんな言語仕様が一般的なの？＞＜；

エアうどん茹で程度なら笑って済ませられる程度のバグだけど、
極端な例にすれば、軍事な相互確証破壊な判断のコードで「報復攻撃をする対象の事象が配列内にあるか？」で空配列にtrueを返してたら、その仕様のせいでバグを踏み抜いて核戦争がはじまるじゃん？＞＜