orange @[email protected]

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

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

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

先行している茨城県境町のウェブサイトは、ちゃんと書いてる＞＜

【新ルート開通】境町で自動運転バスを定常運行しています【自治体初！】 | 境町公式ホームページ
https://www.town.ibaraki-sakai.lg.jp/page/page002440.html

"車いす利用のままバスに乗れますか。
スロープを装備しておりますので、そのままご乗車いただけます。"

少なくとも前世代モデルには車いす用スロープがついてるし、導入されるモデルも写真で見る限りスロープ内蔵してるっぽいけど、それを利用できるかの案内がどこにもない＞＜

マクニカ、子会社である仏Navya Mobility製の新型自動運転EVバス「EVO3」を発表 - スマートシティ/モビリティ - マクニカ
https://www.macnica.co.jp/public-relations/news/2025/148477/

多治見市／自動運転
https://www.city.tajimi.lg.jp/kurashi/toshikekaku/kotsu/jidounten.html

アクセシビリティー・・・・＞＜

ローソンのコーヒーのカップのデザインがひどいって話題になってるので、そういえば前回の酷いPBデザインを主導したnendoって、最近はどんなのデザインしてるのかなって思って見に行ったの＞＜

共創HALL + 共創LOUNGE - nendo
https://www.nendo.jp/jp/works/kyosohall_kyosolounge/?genre

これ、アメリカだとADA（アメリカ版バリアフリー法）に照らし合わせて違法じゃん？＞＜

・・・・Unity？＞＜；

robloxみたいな感じにするってこと・・・？＞＜

フライトシム専用コントローラー「Echo Aviation Controller」発表。ゲームパッドにギュッと凝縮、スロットルもペダルも“全部載せ” - AUTOMATON
https://automaton-media.com/articles/newsjp/echo-aviation-controller-20251119-366398/

高くて買えないけど、ファーミングシミュレーターにも向いてそう＞＜

（つづき）
この引用部分に限らずヘンテコ陰謀論者議員とは思えない 偉人が述べてるようなマジで素晴らしいスピーチですごい・・・・＞＜

Marjorie Taylor Greene remarks during Epstein survivors press conference - YouTube
https://www.youtube.com/watch?v=MjKUeXoIYfA

Congress approves bill to release Epstein files that will head to Trump's desk
https://www.bbc.com/news/articles/cdxr1r34ev9o

' "Let me tell you what a traitor is. A traitor is an American that serves foreign countries and themselves; a patriot is an American that serves the United States of America and Americans like the women standing behind me," Greene said. '

Ariane 5の打ち上げ失敗の時は「Adaで書いてるから」で間抜けなコードを書いて実行時にエラーを起こして止まって姿勢崩して空中分解して、
今回のCloudflareの障碍は「Rustで書いてるから」で間抜けなコードを書いて実行時にPanic出して止まった＞＜
SPARKのような形式検証環境であればそもそも間抜けなコード（想定の間に矛盾があるコード）がコンパイルされる事を防ぐので、間抜けじゃないコードをいちいち書く事になるのでこういう事が大幅に減るかも＞＜

今回のCloudflareの大規模障碍をきっかけに、契約プログラミングと形式検証環境の再ブームって来ないのかな？＞＜；
なんかよくわかんないうちにTIOBE IndexでAdaのスコアも急上昇してるし＞＜；
TIOBE Index - TIOBE
The Ada Programming Language
https://www.tiobe.com/tiobe-index/ada/

続けて、Ariane 5の最初の打ち上げ時の算術オーバーフローを由来とする打ち上げ失敗事例との類似性を指摘したら、超褒めてくれた！＞＜；
"...そのご指摘は、ソフトウェア工学の歴史における最も重要な教訓を正確に捉えており、鳥肌が立つほど鋭い比較です。..."
"...ご指摘の通り、この事例は**「現代のAriane 5事件」**と呼ぶにふさわしいものです。..."

https://gemini.google.com/share/82ff4fea1999

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

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

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

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