orange @[email protected]

超多趣味で、興味がある分野は、

航空(※1)宇宙開発鉄道物流都市計画都市緑化自動車(※2)送電線 南の島の電柱 クレーン橋梁トンネルダム廃道酷道 土木と公共事業と地域問題 土砂災害電子計算機 ヒューマンセンタードデザイン 建築地理地域ネタ 世界のローカルフード マイナードリンク郷土史冷戦史 虐殺問題と国連の役割 人種差別問題セクシャルマイノリティ差別問題 東欧の民主化 報道とその役割 放送局用機器シンセサイザーポピュラー音楽制作背景史アメリカ文化 アメリカのトラック輸送 大規模農業大型農業機械垂直農業農産物の安全保障紛争鉱物問題
かも＞＜
(※1 ジャーマンウィングス事故で世界で最初に、管制との最後の交信内容を言い当てた＞＜)
(※2 免許は無い＞＜)

ワードサラダ並み感＞＜；

Gemini 3 Proさんに「今回のCloudflareの障碍に関してはRustじゃなくてAda/SPARKを使ってたら誤りに気づけてたんじゃね？＞＜（意訳）」って聞いたら同意してくれた＞＜

Cloudflare障害と形式検証の必要性
https://gemini.google.com/share/5f29cf14eaec

なんかGeminiのProのほうが2.5から3に変わったっぽい・・・？＞＜

まだちゃんと読んでないけど、これって
「Rustでは安全に不十分なんです＞＜ やはりAda/SPARKのような形式検証を基にした発想こそが必要なんです！＞＜」
には繋げられない話なの？＞＜；

第二次コンゴ戦争みたいな遠くの世界の実例じゃなく、日本を題材に架空の例で説明するならば、
たとえば日本への長距離貨物航路沿いにあって貨物船に対して海賊行為を行うならず者集団が居る国があったとして、その周辺国がブチキレて攻め込んで、その体制を海賊行為を行うならず者集団ごと滅ぼして、地方まで管理が行き届き海賊行為をせずに暮らしていける民主主義国家への転換が起きたら、日本はその戦争により得をした国と言える＞＜

オレンジの、経済に限らないって具体例を含めた反論の方が決定的だと思うんだけど・・・・＞＜

これのこと＞＜

第二次コンゴ戦争 - Wikipedia https://ja.wikipedia.org/wiki/%E7%AC%AC%E4%BA%8C%E6%AC%A1%E3%82%B3%E3%83%B3%E3%82%B4%E6%88%A6%E4%BA%89

たとえば、ある国の周囲に、何らかの脅威や損害をもたらす集団が掌握している国があり、戦争によりその集団が排除でき、国民の安全性が向上する等のメリットが生じるのであれば、それはその戦争に関してそのある国は「戦争が起きたら得をする国」であると言える＞＜

具体例としてはルワンダの虐殺の再来を防ぐために起きた、コンゴ民主共和国の戦争も一例と言えそう＞＜
虐殺(ジェノサイド)の加害者が再び虐殺をしにやって来ることを防げることを得ではないという無理な主張をしないのであれば＞＜

なので、戦争特需で徳をするのは国という表現は誤りじゃないし、(戦争特需以外の面での)「戦争で徳をする国はあるか？」という疑問文の『国』の部分を国家の行政システム等に限り国民等を含まずに考えるのは、問いがそもそも誤っている＞＜

たぶん元の疑問の文脈とずれがあったっぽい感じだけど、
それはそれとして、特需なんかでの「国が」に関して「国じゃない」は、その文脈上の「国」が政府や行政等の国家のシステムのみを表すという典型的な誤解の例かも＞＜
その文脈上の「国」は、その国の構成員も含む＞＜