orange @[email protected]

自分で自分のツイートおもしろい＞＜；
https://twitter.com/orange_in_space/status/711716754146201600
https://twitter.com/orange_in_space/status/711717147852967936
https://twitter.com/orange_in_space/status/711718806511484928

orangeさんはTwitterを使っています: 「NHK菖蒲久喜ラジオ放送所のラジオ第一のアンテナとラジオ第二のアンテナの真ん中で蛍光管持ってると光るって都市伝説あるけど、ホントにちょっとでも光るのならさっきの原子力電卓と同じ方法でNHKラジオ力電卓できないかな？＞＜」 / Twitter https://twitter.com/orange_in_space/status/394016686103199745

あとそういえば、日本では違法なチップ型小型RTGってあった気がする＞＜(なんかPC向けCPUを厚くしたみたいなパッケージだった気がする)

トリチウム太陽電池発電(充電)(IC)オルゴールなら気軽に出来そう？＞＜；

2021年07月15日
10年以上交換不要な原子力電池を自作して携帯ゲーム機に組み込んだ猛者が登場 - GIGAZINE https://gigazine.net/news/20210715-handheld-console-with-tritium-cell/

つまり逆の問題だと思い込んで「逆じゃないの？？？＞＜」ってなってた＞＜；
そりゃ逆になるでしょ感・・・＞＜；

ていうかつまり、全てのカラスは白いか？(だっけ？＞＜；)の話みたいな話なのに、オレンジはそこを理解できず「どういう事？＞＜；」ってなった上に、そもそも元々の問題を(論理的に)正反対にとらえて逆の論理の問題と思い込んで「trueだと危ないんじゃね？＞＜」ってなったって事だよね？＞＜；

なんか変なこと言ってたら具体的に鉞投げて欲しい＞＜；

がんばって元の主張に反するパターンを考えたら、むしろ元の主張に沿ったパターンに思いいたり「そういうことか！＞＜；」ってなったパターン＞＜；

これって、論理を反転させて見ると「条件に反する項目があれば実行しない(し、なければ実行する)」になるわけで、それってつまり数学好きな人がしてる主張と同じになるし、
・・・つまりオレンジは数学界隈の人にごめんなさいしないといけない＞＜；

つまりオレンジのさっきの条件勘違いでの発想は「空配列の時にカバー出来なくなるバグの可能性がひとつ増える＞＜」ので、安全側ではないって主張だったわけだけど、なるほどしたあとの例は「そもそも『全て揃っているか？』を判断するコードがなければならず、それが欠けていれば空配列だろうがそうじゃなかろうが同じバグになる＞＜」ので、危険性は増えてないかもって＞＜

それはそうだけど、バグとフールプルーフ的な意味で・・・＞＜

とりあえず納得した気がする＞＜；

お手間をとらせて申し訳ない気持ち＞＜；

オレンジ流に「trueでよい」で考えるなら、「配列の中身が全部そうである」は「その配列に判断に必要な要素が全て入っていることは保証していない」ので、つまり「その配列に必要なものが揃ってないかもしれない可能性」は常にあるので、trueを返すことによって増える危険性は無視できるほど小さいのかも＞＜
かも？＞＜；

例えば、『チェック済み項目と「それをパスしているか？」の組み合わせ』が入ってる配列で「全部お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になる"

なるほど！＞＜；