その時間の場所はここで、南に向かって走ってる＞＜
https://maps.app.goo.gl/1fHFiJ3yN3PwC1Xv7

全然関係ないけど、昨日走ってたこの配信の2:43:15辺りからの、ペンシルバニアの田舎道の55mph制限区間の朝の快走が、景色きれいだし、アメリカの一般道のトラックの速度の感じもわかるからみんな見て＞＜(？)

"BigRigTravels LIVE | Allentown to Jonestown, PA to Cinnaminson, NJ (6/2/23)" を YouTube で見る https://www.youtube.com/live/wwWQbgBWWK8?feature=share

こういうルート＞＜

"BigRigTravels LIVE | Portland, OR & Vancouver, WA (6/15/19)" を YouTube で見る https://www.youtube.com/live/U9rT4y1nywI?feature=share

オレゴン州ポートランドの東部(wilkes east)から、I-205でコロンビア川を渡ってすぐワシントン州道14号線に入ってバンクーバーのエリアを走って、さっきのスクショのI-5の橋を渡ってポートランドに戻る配信アーカイブ見つけた＞＜
ここのルートがちょうどATSでも再現されてたはず＞＜

このスクショの川沿いの街がワシントン州バンクーバー＞＜
https://mstdn.nere9.help/@orange_in_space/103238367097314319
(ちゃんと再現される前の頃のバージョンだったはずで、この辺りは今はもっとリアルに作りなおされてるはず＞＜)

ポートランドの対岸で、ちゃんとATSでも再現されてる＞＜

この、酒場で未成年が飲酒してるか？を検出する例もわかりやすいね＞＜
「この酒場で呑んでる『全員が』成人である」→trueが合法で、誰もいなければtrue
「この酒場で呑んでる人に『ひとりでも』未成年が含まれてる」→falseが合法で、誰も居なければfalse
・・・なので、話題の問題のやつは空の配列にはtrueを返すのが正しい＞＜

オレンジが考えたのと同じような方向の例えので、酒場で例えてるのみつけた＞＜

Re:言葉尻？ (#.4471049) | 「配列のすべての要素が条件を満たすならtrueを返す」関数に空配列を渡したらtrueかfalseか？ | スラド https://srad.jp/comment/4471049

スラドにも！＞＜；

「配列のすべての要素が条件を満たすならtrueを返す」関数に空配列を渡したらtrueかfalseか？ | スラド デベロッパー https://developers.srad.jp/story/23/06/01/147244/

ちゃんと調べたら、きっかり保守エリア(真っ赤)だった＞＜；

Salt Lake City, UT Political Map – Democrat & Republican Areas in Salt Lake City | BestNeighborhood.org https://bestneighborhood.org/conservative-vs-liberal-map-salt-lake-city-ut/

Davis School District、ちょうど保守とリベラルで微妙なエリアっぽい？＞＜

Utah primary schools ban Bible for 'vulgarity and violence' - BBC News https://www.bbc.com/news/world-us-canada-65794363

あと、トラックに限った話じゃないけど、片側一車線の(自称)高速道路(制限80km/hとか)に「中央分離帯が無くて危ない！」って言うのやめれ＞＜
アメリカの一般道(郊外、沿道に家が建ってる田舎で普通にきつい勾配あり)は、制限105km/h(65mph)だったりする＞＜
しかも、制限が105km/hであり、日本の自称高速道路と違って曲がりくねってるので、安全速度標識(例えばこの先は40mph(65km/h)じゃないと曲がるのムズいカーブかもって標識)があちこちに立ってて、速度一定では走らない＞＜

アメリカのトラックの連続走行時間規制＞＜
https://mstdn.nere9.help/@orange_in_space/104982378179252163

トラックドライバーの事故時の生存性がって話ならば、アメリカみたいにボンネット化すればおk＞＜
(アメリカはキャブオーバーの方が古くてボンネットの方が新しい＞＜)

[B! 政治] 高速道路でのトラック最高速度、政府が引き上げ案　労組「本末転倒」（朝日新聞デジタル） - Yahoo!ニュース https://b.hatena.ne.jp/entry/s/news.yahoo.co.jp/articles/a862531cc44d660baa95324d253752717ab67f66

アメリカをお手本にするなら、カリフォルニアならば90km/h、それ以外なら100km/hにした上で、アメリカと同様の連続走行時間規制と監視システムを導入すればおk＞＜

このアカウントは、notestockで公開設定になっていません。

これがあるから、小さいコマンドラインなツールも、C++で書いて小さくしようとしても、APIで文字列がバラバラで「？？？？＞＜；」って挫折して「もういつも通りC# で書く！＞＜；」ってなりまくり＞＜

このアカウントは、notestockで公開設定になっていません。

このアカウントは、notestockで公開設定になっていません。

新しいマイナカード、導入検討　「氏名や個人番号の記載なし」も視野（朝日新聞デジタル） - Yahoo!ニュース https://news.yahoo.co.jp/articles/7d80742c63221b3280d320c8100ae7c22be5a04f

"...氏名や性別、国民一人一人に付される12桁のマイナンバー（個人番号）など現行のカードに記載している情報についても、削除することなども視野に見直しを検討する。"

？？？？？？？＞＜；

冷静に考えると日本の食品サンプルも似たようなものだし、外国人が日本のお土産に食品サンプルを買ってくのも、アートとして買ってってる？＞＜；

スーパーリアルお菓子彫刻の人＞＜

PETER ANTON
https://www.peteranton.com/
https://www.peteranton.com/index.php/artwork

AIみたいな絵は全然誉め言葉じゃないけど、写真みたいな絵(スーパーリアルアート/スーパーリアリズム)は普通に誉め言葉だし、難しい＞＜(？)

すごく前(10年以上前)に、なんかの曲のなんかのシンセの音色をSynth-1でそっくりに作って、原曲に合わせのをネットで仲良くなった音楽の人に聴かせたら「弾いてるか弾いてないかわからん・・・」って言われてホクホクになった＞＜(自慢)
そのあと単体で聴かせて「ほんとだ！」って＞＜
お世辞だったのかもしれない＞＜

「ほんとに弾いてるの？」って言われてめちゃくちゃな音だして「弾いてるよ」ってするパターン＞＜(？)

このアカウントは、notestockで公開設定になっていません。

このアカウントは、notestockで公開設定になっていません。

このアカウントは、notestockで公開設定になっていません。

難しい＞＜；

このアカウントは、notestockで公開設定になっていません。

このアカウントは、notestockで公開設定になっていません。

オレンジの帰納法的アプローチな発想の話と、条件が(略)trueか？ の話ってメタに同じ構造してるっぽさ＞＜
元の話でも、オレンジの話も「falseになる条件」を投げつけてもらうって構造＞＜

帰納法的アプローチの弱点のひとつは「ちげーよw」って鉞を投げてくれる人が居ないと、「結局あってるの？＞＜；」のままになってしまう所かも＞＜；

逆に「ひとつでも条件を満たせば」は、「trueになる可能性の条件が追加されていくんだから、最初はfalseじゃないとおかしい」かも？＞＜

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

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

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

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

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

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

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

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

このアカウントは、notestockで公開設定になっていません。

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

不思議・・・＞＜

田島麻衣子 - Wikipedia https://ja.wikipedia.org/wiki/%E7%94%B0%E5%B3%B6%E9%BA%BB%E8%A1%A3%E5%AD%90

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

このアカウントは、notestockで公開設定になっていません。

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

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

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

このアカウントは、notestockで公開設定になっていません。

このアカウントは、notestockで公開設定になっていません。

おもしろい＞＜＞＜

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

どっちかというとHAL9000？＞＜；

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

GLaDOSっぽさ＞＜

技術面の話は省いたけど、技術面でのルート選定の考え方は、九州新幹線筑紫トンネルのルート選定をした方が書いた記事を読むと参考になるよ＞＜

応用地質/45 巻 (2004-2005) 4 号
私のトンネル路線選定秘伝
大島 洋志https://www.jstage.jst.go.jp/article/jjseg1960/45/4/45_4_197/_article/-char/ja

地下水学会誌/50 巻 (2008) 2 号
地下水を語る -山岳トンネルの地下水問題を主対象とした-
私の地質工学への実学的挑戦
大島 洋志https://www.jstage.jst.go.jp/article/jagh1987/50/2/50_89/_article/-char/ja

これに限らず、公共事業等や何らかの大規模事業を行うのであれば、「事業を進めたい」のか「事業が進められない事を地元のせいにして言い訳にしたい」のか、何がしたいのかよく考えるべき＞＜
教訓を活かせず長年拗れたのが成田空港問題＞＜
そして、成田空港関係者や土木業界はそれを理解して方向を変えたけど、皮肉な事に、わりと大多数の日本国民の方々は「あんなやつらに譲歩する必要なんて無い」って思ってるでしょ？＞＜
だから他の似たような事業が進まないんだよ＞＜

上流下流の意識共有であれば、目屋ダムの事例が大いに参考になる＞＜
下流の人々が上流の人々に寄り添った考えを持てていなかったら目屋ダムは出来ていない＞＜

専門家であるはずだろうし本当に勉強してほしいからこそ言うけど、土木や公共事業等の推進の話を地元感情の面で語るのなら、主にダム建設の歴史で何度も起きてきた、（川の）上流下流の対立や補償の問題の歴史（一例をあげるなら「蜂の巣城」等）に目を向けて、それをふまえた上で願望を書いてほしい＞＜
それ無しじゃ我田引水のわがままと何にも変わらない＞＜
土木は技術と犠牲者への補償の上に成り立つものであって、下流（比喩、受益者のこと）だけの都合で出来るものではない＞＜

このアカウントは、notestockで公開設定になっていません。

このアカウントは、notestockで公開設定になっていません。

日本飛行機の方は、一応ちゃんと部品作ってるので、飛行機作ってると言えなくも無さそう＞＜
日本飛行機株式会社 https://www.nippi.co.jp/index.html

昭和飛行機ももう飛行機作ってないっぽい＞＜(部品というか部材しか作ってないっぽい＞＜)

事業案内　｜　昭和飛行機工業株式会社 https://www.showa-aircraft.co.jp/business/

クラレ - Wikipedia https://ja.wikipedia.org/wiki/%E3%82%AF%E3%83%A9%E3%83%AC
"1970年（昭和45年）6月24日 - 創立45周年を機に商号を「株式会社クラレ」に変更"
"2001年（平成13年） - レーヨン事業から撤退。"

東レ - Wikipedia https://ja.wikipedia.org/wiki/%E6%9D%B1%E3%83%AC

"社名にあるレは再生繊維のレーヨンを意味する（旧社名：東洋レーヨン）が、東レはレーヨンの生産を終了している。"

旧三井鉱山(三井の炭鉱部門)は、閉山してから10年くらいは名前変えずに三井鉱山だったっぽい＞＜

会社情報｜沿革｜日本コークス工業 https://www.n-coke.com/corporate/history.html

hogehoge鉱業がもう鉱業は閉山したのでやってないとかもありそうな気がする＞＜

鉄道やめてバスにしたのに社名が鉄道のままってパターンはたくさんありそう＞＜

元の話は、凸版印刷から印刷がとれるって話＞＜

大日本株式会社って名前になったらおもしろいと思った＞＜

なぜ？社名から “印刷”が消える | NHK | ビジネス特集 https://www3.nhk.or.jp/news/html/20230531/k10014083571000.html

"...ところで、大日本印刷は、社名から“印刷”の文字をなくすことは検討していないのか。..."

"広報担当者
「..." " ...いまのところ社名から“印刷”をなくす予定はありません。"

？＞＜(？＞＜；)

迷い猫オーバーラン！ 第1話| バンダイチャンネル｜初回おためし無料のアニメ配信サービス https://www.b-ch.com/titles/2527/001

時速114kmオーバーで爆走し動画投稿　専門学生を書類送検　川崎 | 毎日新聞 https://mainichi.jp/articles/20230601/k00/00m/040/289000c
"...「調子に乗ってしまった」と容疑を認めている。"

ルートどうするかでもめてた時に「たかだか所要時間を10分程度縮めるために完成を何年何十年遅らせるつもりなのか？＞＜」って指摘した通りになったし「それ見た事か！＞＜」かも＞＜
いかに日本の過去の土木失敗事例を見ない人が多かったのか＞＜
トンネルはまっすぐ掘ればいいものじゃなく、地質を調べに調べて地質が最適な位置を選んで掘るもので、その上で全断面を掘ってみるまでわからない事もあるもの＞＜
日本の土木の失敗史は丹那にはじまり、どれもだいたい地質を軽視したもの＞＜

[B! craft] 【経済インサイド】川勝知事がリニア開業１０年以上遅れる案、非公式打診　品川－名古屋間の先行開業断念、静岡県内通らないルートも https://b.hatena.ne.jp/entry/s/www.sankei.com/article/20230602-GIVW3HLOPNJULICS56KFYBWOXI/

有料記事なので記事本文は読めないけど、なんでBルートじゃないとダメなのかはルート決定前から指摘されまくってたのに「Bルートは長野のわがまま」「これだから長野は」って長野の権益の話ばっかりにされてたのオレンジは忘れない＞＜

アメリカ文化で今もなんでそうなのかさっぱりわけがわからない所は、極端に子供を守ろうとする姿勢の部分＞＜
あらゆる全ての事の中でもっとも優先すべき事が子供を守ることになってて、それが極端すぎて事実上それを言い訳にすればなんでもOKになっちゃってるのは、マジで「どうしてそうなった？＞＜；」かも＞＜

あの番組、アメリカ代表の出演者が傍若無人でヒールになってて、他の国の出演者の方々がブチキレてアメリカがいかに酷い国かを捲し立てる場面が多々あったし、特番では「ここがヘンだよアメリカ人」ってコーナーまで作られたりで、当時、元々アメリカ嫌いだったオレンジのアメリカ嫌いをさらに加速させたんだけど＞＜；
そこから20年経って、たしかに番組で取り上げられてたアメリカの酷い所は今アメリカを深く調べるようになっても「たしかにその通りに酷い国だった＞＜；」けど、でも、どうしてそうなのかとか、地域ごとの文化の違い(州で違うのはもちろん都市と田舎の文化の違いが日本以上に極端)を理解できてきた今では一番好きな国になった＞＜

[B! 中国] 「ダライ・ラマは小児性愛者」 中国が流した「偽情報」に簡単に騙された欧米...自分こそ正義と信じる人の残念さ https://b.hatena.ne.jp/entry/s/www.newsweekjapan.jp/stories/world/2023/06/post-101784.php

これ読んで、20年くらい前のTBSのテレビ番組『ここがヘンだよ日本人』(スタジオに色々な国の外国人を100人くらい集めて議論させる番組)で、
中東かアフリカか忘れたけどイスラム教徒の人が「日本人が子どもとお風呂に入るのは変だよ」って主張して、周りの席の複数外国人に「性的な目で見るお前の方が変だよ」って言われる感じの議論してたの思い出した＞＜

？＞＜；

用水路に現金が捨てられてた騒動の話かも？＞＜；

ADHDはわかんないけど、ASDは健常者よりも理詰めの安全対策プロセスの導入の必要性を理解出来そうだし、導入したあとの違反も健常者より少ないことが期待できそうな気がする＞＜

このアカウントは、notestockで公開設定になっていません。

このアカウントは、notestockで公開設定になっていません。

微妙に違ってた＞＜；

これかも？＞＜
Twitter限定 雨の日クーポン発行/ご利用ルール | 松屋フーズ https://www.matsuyafoods.co.jp/rain_cp/

コミュニケーションと言語におけるキャラ［関連書籍-日本語 専門書-］ https://dictionary.sanseido-publ.co.jp/dict/ssd34912

語尾キャラ(？)の研究者でもあるらしいっぽい？＞＜；

第1回 キャラで、いいのだ。 | 日本語社会 のぞきキャラくり（定延 利之） | 三省堂 ことばのコラム https://dictionary.sanseido-publ.co.jp/column/chara01

この論文、言語学者の人が書いてるけど、やたらひらがなに開いて書いてあって漢字が少ないっぽいのはなんでだろ？＞＜

おもしろい＞＜

"... 「え一と, 田中です」にしても, 日本語では, 田中という人物が誰何されて答える文脈でこういう発話が特に違和感なくおこなわれ得るが, これをフランス語に直訳すると, ( 自分の名さえ即答できないという ) 愚鈍きわまりない異常な発話になってしまう (定延 2007a)。
つまり, (他のことばと同様) フイラーは厳密には他言語に翻訳でき ない。..."

会話においてフィラーを発するということ(<特集>会話の音声) https://www.jstage.jst.go.jp/article/onseikenkyu/14/3/14_KJ00007408599/_article/-char/ja/
https://doi.org/10.24467/onseikenkyu.14.3_27

気になりすぎて頭になんにも入ってこない＞＜；
https://www.lifehacker.jp/article/book_to_read_what-is-filler/

読み始める前にものすごくびっくりした＞＜；

プレゼンや会話を円滑にしたいなら「フィラー」のメカニズムを知ろう：書評 | ライフハッカー・ジャパン https://www.lifehacker.jp/article/book_to_read_what-is-filler/

「えっと・・・」もなくて首傾げるかも＞＜ていうかジェスチャーで済むことはジェスチャーで済ますかも＞＜

文字で書く時は「あっ＞＜； それはね」とか書くけどしゃべる時は、それはね以降で驚き(？)を表せるからわざわざしゃべらないかも＞＜

よく考えたらオレンジってしゃべる時にフィラー無いかも＞＜

日本で同規模？で普通の？だとこれっぽい？＞＜

Amazon | キャプテンスタッグ ヘキサステンレス ファイアグリル M-6500 | キャプテンスタッグ(CAPTAIN STAG) | キャンプ用グリル・焚火台 https://www.amazon.co.jp/dp/B001VEJ3O8/

雰囲気・・・・＞＜；

BondStove: Innovative Versatile Smokeless Fire Pit by WARMBOND — Kickstarter https://www.kickstarter.com/projects/warmbond/bondstove-innovative-versatile-smokeless-fire-pit

さっきのアメリカンなポータブル火鉢に近いもの日本で売ってないのかな？＞＜
と思って検索したら、「実用上はこれだ！＞＜；」だし圧倒的にお得で持ち運びもしやすい・・・だけど、雰囲気はなんとなく「コレジャナイ＞＜；」なものが出てきた＞＜；

Amazon.co.jp: 土井金属 バケツコンロ : スポーツ＆アウトドア https://www.amazon.co.jp/dp/B009L0E83K/

あと、今回はオレンジは教えられる側になったけど、教える側になる場合もラバーダッキングになったり、誰かに教える時に相手のメンタルモデルに沿って誤りを見つけて丁寧に正していく練習にもなるかも＞＜
(普通に教える時は、もっと優しくしないとダメだけど＞＜；)

言葉がリーナスのようにキツいだけで「ウッ・・・」てなる人や、自分が頓珍漢な事言って「oh...確かに違ってた(///// ごめんなさい＞＜； べっ勉強になったね！＞＜；」で済ませられない人にはつらそうだけど、だいじょうぶならお勉強と楽しいの一石二鳥＞＜

型システム論争と似た楽しさがあったし勉強になったし、こういう鉞の投げ合い楽しいよね＞＜

"配送先：
アメリカ合衆国 のみ"

香港のメーカーなのに・・・・＞＜

このキャンプ用ポータブル火鉢グリル？楽しそう＞＜(日本では持ち運ぶの大変そうだけど＞＜；)

"BigRigSteve explores using the Bondstove from Warmbond - Portable firepit" を YouTube で見る https://youtu.be/RhYkwEf_2XU

なんか歌舞伎で日本の古典じゃないお話を演じたりしてるし、だったら時代劇もフォーマットそのままで日本の歴史のお話じゃないお話にぶっとんで、ついでにそのお話の現地人が演じたらおもしろいんじゃね？＞＜
って発想＞＜

同様に、ジャンヌダルク(ジャパニーズ時代劇バージョン)とか＞＜；
(ちゃんとフランス人が演じるけど日本の甲冑を着て日本の古戦場やお城にしか見えない場所で日本の時代劇のように戦うけど、ストーリーは元のストーリーで、台詞もフランス語と英語＞＜；)

例えばアメリカの南北戦争の史実に沿った物語だけど、演じてるのは全員アメリカ人だけど、撮影は日本の時代劇向けの映画撮影所(屋外ロケはどっちでも良さそう)で、ちょんまげ頭で日本刀を持って銃は日本の火縄銃で、日本の戦国時代みたいな映像だけどストーリーは南北戦争とか＞＜；
hogehoge砦での食事のシーンも、砦は日本の戦国時代の物で、でも食べてるのはアメリカ料理だけど食べてる人は日本の甲冑を身に付けてるけどアメリカ人＞＜

そういえば昨日NHKの歴史教養番組を見てて思いついたけど、海外の歴史上の出来事を海外向けに日本の時代劇のフォーマットで、セットや衣装や戦闘も日本の時代劇のフォーマットだけど、演じるのは現地人だしお話も日本では無くて、台詞も現地語か英語で制作して海外向けに作るってしたら、おもしろい映像作品にならないかな？＞＜；

「オレンジが思いつくジョークはきっとみんなが思いついて書くだろう＞＜」と思いきやわりとそうでもない可能性＞＜

関連報道のブコメいくつか見ても見あたらなかった＞＜；

あれっ？＞＜；
(ちなみに・を入れてもダメだった＞＜；)

著作権シラントワネットって書いてる人が4桁は居そう＞＜

このアカウントは、notestockで公開設定になっていません。

"1週間フランスの食事だけで生活してみたらめちゃくちゃツラかったwww" を YouTube で見る https://youtu.be/PZMl__sjwDg

"1週間アメリカの食事だけで生活してみたら日本人の体調がオワったwww" を YouTube で見る https://youtu.be/ckaBvP-7Gtg

やっぱドイツ嫌い＞＜(ドイツパンは好き＞＜)

ドイツの夕飯はパンとスープだけが基本と聞いて「世界中の大半の人々は食べ物の味になんか興味ないんだ」がガチと知る話 - Togetter https://togetter.com/li/2158304

1836年から続く大衆フレンチ料理店で夕飯を食べたら驚きの連続が興味深い。マルセイユやジェノヴァの食べ歩きも - Togetter https://togetter.com/li/2158498

疑わしいツイートに有志の手でコメントを付ける「コミュニティノート」に同一画像を検知する機能が導入される、「これはAI製です」などのコメントが付くことでフェイク画像の拡散防止に - GIGAZINE https://gigazine.net/news/20230601-twitter-community-notes-on-media/

これ、この前の灰皿の話みたいなのに有効そう＞＜

ある意味名物＞＜

2023年5月31日
【速報】銚子でシェパード逃走　体長約１メートルの雌　住宅から、署員１９人で捜索 | 千葉日報オンライン https://www.chibanippo.co.jp/news/national/1065495

2023/4/19
逃走の大型犬、自ら施設に戻る　千葉・南房総 - 産経ニュース https://www.sankei.com/article/20230419-EPS64RT43ZIUPK23SKXFKG4TKQ/

2022年12月13日
大型犬２頭逃走　小学校内で発見　近隣女性や警察官らの連携で確保　千葉市中央区 | 千葉日報オンライン https://www.chibanippo.co.jp/news/national/1007641

ていうか、1990年代前半にご家庭以外で動いてたPC-9801でもっとも多数派だったのがVX/VMシリーズだったイメージ＞＜
あちこちに事務用においてあったり、制御ソフトウェアがBASICで書かれててGPIB？＞＜で機械に繋がってて機械の制御機として使われてたりとか＞＜

オレンジが学校(複数)で使ってた98のうちの5インチのがこの外装デザインかも＞＜(VX, VMシリーズ＞＜)

このアカウントは、notestockで公開設定になっていません。

自分で自分のツイートおもしろい＞＜；
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/

このアカウントは、notestockで公開設定になっていません。

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

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

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

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

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

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

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

このアカウントは、notestockで公開設定になっていません。

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

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

オレンジ流に「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になる"

なるほど！＞＜；

このアカウントは、notestockで公開設定になっていません。

このアカウントは、notestockで公開設定になっていません。

あれっ？＞＜；

難しい＞＜；

書いた＞＜

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

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

このアカウントは、notestockで公開設定になっていません。

このアカウントは、notestockで公開設定になっていません。

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

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

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

このアカウントは、notestockで公開設定になっていません。

このアカウントは、notestockで公開設定になっていません。

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

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

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

配列内に条件付きの項目がひとつでもあるかを返す関数が、空配列に対してtrueを返すのって、実用上でそれがバグの原因になりにくい場面なんてあるの？＞＜
例えば、飲食店で「お客の残りの注文の中にうどんがひとつでも含まれてたら、うどん茹でマシンの電源をいれる」って処理があるとしたら、残りの注文はもうないって時に、予め空配列を除外するコードを書き忘れてたら、うどんを茹でる必要がないのに電源が入っちゃうじゃん？＞＜

青崩峠の由来は知らないけど、現地写真とか空中写真で見ると実際に斜面が崩れてて青っぽい地面が剥き出しになってるので、それが由来なのかもって思ってた＞＜
他所の地域でも崩れてくる地質の名前が由来で「赤崩れ」「白崩れ」って名前の地名(大字とかじゃなく景勝地(？)の名前)があったりするし＞＜

[B! qiita] 人に「センスない」って言っているやつが一番センスない - Qiita https://b.hatena.ne.jp/entry/s/qiita.com/saetegaljewp/items/60a3580d8f08a53679c6

これ、trueを返すって動作ってバグの原因にしかならないとオレンジは考えるので、「言語仕様を決める時って基本的にバグが少なくなる方を選択する方が多いんじゃないの？＞＜」って点ですごく謎＞＜
IEEE754のゼロの扱いとかも、実数に近づけるよりもバグが少なくなる選択した故の仕様っぽいけど＞＜