高速バスとトラックが衝突し炎上 14人死傷 バス会...（略）...（MBSニュース）のコメント一覧 - Yahoo!ニュース
https://news.yahoo.co.jp/articles/717a78f79b830405e3bc8eabfd251abcbdb2fc43/comments
"qks********
3時間前
今回の事故は中央分離帯かあれば発生しなかった。 しかし中央分離帯の設置は日本は遅れているらしい。(「先進国で数%しかない暫定2車線が日本は約3割も！」(ベストカーwebの記事より)..."
その馬鹿な記事書いたの誰だろう？＞＜
どう考えてもアメリカの制限速度70km/h(45 mph)以上の2車線の道路の方が比率高そうだけど＞＜
インバウンド消費額が全国最低「9000円」の奈良、なぜ？（1/3 ページ） - ITmedia ビジネスオンライン
https://www.itmedia.co.jp/business/articles/2507/14/news051.html
インバウンド消費動向調査（旧 訪日外国人消費動向調査） | 観光統計・白書 | 観光庁
https://www.mlit.go.jp/kankocho/tokei_hakusyo/gaikokujinshohidoko.html
これ、千葉県が消費単価のビリから2位なの不思議＞＜（ディズニーあるのに＞＜）
「アメリカ人がバカなだけで、日本人の多くはそこまで馬鹿では無いはず！」と思う人が居たら、この情報通信白書のデータを見るべきかも＞＜
https://mstdn.nere9.help/@orange_in_space/114816327994316344
なんもわからん人が選挙行ってもなんもいい事は起きないですし、投票日直前の派手で都合の良い情報だけ見て判断すれば、まったく誠実ではないそういった意見を述べる候補者の口車に乗ってそういう候補者を選択し、
過去には「FEMAを廃止すべきだ」という意見に乗って、今は被災して「FEMA助けろ」と言ってる一部の間抜けなテキサス人と同じ目に遭います＞＜
これもそう＞＜
2025年7月12日
米政権、ＦＥＭＡ廃止案を撤回 州主導の災害対応継続へ＝報道 | ロイター
https://jp.reuters.com/world/us/MZYQ4XQ42BNDHFBBWI46XNKFNI-2025-07-11/
2025年7月14日
ノーム米国土安保長官、ＦＥＭＡの洪水対応擁護 「迅速に行動」 | ロイター
https://jp.reuters.com/markets/commodities/5XAOAYGM3VPLZILSFQTSY2CKAU-2025-07-14/
オレンジは安易に「選挙に行くべき」とは言わない主義だけど、今のアメリカの惨状（トランプに投票した人々が後悔して反対の意見を持ってる状況）を見れば、どうなるかってわかりやすいお手本かも＞＜
https://mstdn.nere9.help/@orange_in_space/110169934393119024
https://mstdn.nere9.help/@orange_in_space/110170039255045788
https://mstdn.nere9.help/@orange_in_space/110170050440921722
July 11, 2025
Surge in U.S. Concern About Immigration Has Abated
https://news.gallup.com/poll/692522/surge-concern-immigration-abated.aspx
June 17, 2025
Trump Administration Immigration Actions Get Mixed, Negative Reviews in 2025 | Pew Research Center
https://www.pewresearch.org/politics/2025/06/17/americans-have-mixed-to-negative-views-of-trump-administration-immigration-actions/
【分析】トランプ大統領による移民の大量国外追放はますます裏目に - CNN.co.jp
https://www.cnn.co.jp/usa/35235500.html
Trump’s mass deportation is backfiring | CNN Politics
https://edition.cnn.com/2025/07/13/politics/deportations-backfiring-trump-analysis
VS2022 17.14.7から17.14.8へのアップデート、なんでセキュリティ修正だけなのに2.74GBも・・・＞＜
orange
さんがブースト
後で自分でも読みたくなるかもだからログ共有＞＜
https://g.co/gemini/share/e369d0929c12
議論の本題かもしれない部分は、 "では、実際にその点について考察してみるとどうでしょうか？＞＜" 以降かも＞＜
最初の方は、Geminiが矛盾を見つけられるかをテストしたくてやってた部分だからあんまりおもしろくないかも＞＜
orange
さんがブースト
動的型付けって不要ではって話で、Geminiは「究極の安全性要件」("宇宙船の制御システムや医療機器など、絶対に失敗が許されないシステムにおいて")は、実行時にもバリデーションするじゃん」って話をしてきたけど、「実行時のバリデーションは動的型付けと関係ないだろ＞＜ むしろバリデーションの必要な範囲を実行前に検出するのも静的型検査だろ＞＜」って説明するのにAda/SPARKを使った＞＜
orange
さんがブースト
orange
さんがブースト
こんな感じ＞＜
簡単に言うと、人間がかかわらずとも完璧にプログラミングできるAIなるものが出来たとして、
完璧に動作するプログラムは、実行前に型がすべて決定されている（とりうる範囲が全て想定されている）物の事を言う（実行時にしかわからないものに関してバリデーションコードの漏れも無い状態）であるので、
未来の完璧なAIがコーディングした完璧なコードなるものは、完成の時点で既に型が決定しているので、
つまりそれは、定義上、静的型付けである＞＜
みたいな感じで合意が得られたかも＞＜
orange
さんがブースト
なんか、Geminiに最初普通に感想を聞く形でさっきの記事について聞いたら、全然矛盾を見つけられなくてオレンジの指摘でやっと見つけられるという残念なことになったので、「この点とこの点とこの点について、このような矛盾がないか検証してほしい」みたいに注目させるプロンプトで聞いたら、
矛盾は相変わらず見つけられなかったけどなんかものすごい議論モードでの返答になって、そこからバチバチの議論になって超おもしろい＞＜＞＜
orange
さんがブースト
まつもとゆきひろさん「Programming Language for AI age」～RubyKaigi 2025 3日目キーノート | gihyo.jp
https://gihyo.jp/article/2025/05/rubykaigi-2025-keynote-report-day3
なんで、コミュニケーションでのエラーの話を、統合された認識（知識）内でのエラーの話に挿げ替えてるの？＞＜
"...AIが出力したコードを読んで人間が修正したり、人間が書いたコードをAIが手直ししたりなど、AIと人間が相互にやり取りする場合、一般的には静的型付け言語が使いやすいと言われています。..."
"...ただ、未来のことを考えた場合、本当に静的型付けは必要だろうか、とまつもとさんは問いました。人間はうっかり型を間違えることがありますが、賢い人間は型エラーを起こさないので、十分に賢いAIは静的型付けなどなくても型エラーを起こさない、と言います。"
決定論的に検証できるツールがあるからこそ、ゆるふわである人間が安全にプログラミングできるというのは、確率論的でゆるふわなLLMによるプログラミングでも同じで、型検査や形式検証を行えばLLMさんも自分が書いたコードの誤り（矛盾）に気付けるかも＞＜
LLM側が決定論的じゃない問題って、プログラミング言語側が決定論的であるならば結果的に全く問題ないとオレンジは考えていて、
だからこそ、LLMを活用したプログラミングにこそ、静的型付けや形式検証（や契約プログラミング）が重要になってくるかもって気がしてる＞＜
- ＠orange_in_space
2017年 4月に登録
