jeyseni https://blog.hatena.ne.jp/jeyseni/ jeyseni's diary https://jeyseni.hatenablog.com/ 安全・安心 電車 IT-生成AI IT 東急田園都市線で，2025/10/5の夜遅く，普通列車と回送列車が衝突事故を起こした。原因は，ATC（列車自動制御装置）のプログラムミスと発表された（東急田園都市線の衝突事故はなぜ起きた？原因は10年前の「まさかのミス」だった | News&Analysis | ダイヤモンド・オンライン 2025/10/10）。 筆者もスクリプトレベルでいろいろな処理プログラムを作るが，残念ながら理詰めで作るわけではないので，うまく処理できないことが多く，正しい処理に至るまでにも何度も失敗を繰り返す。多くの場合，正しい処理中にも例外事例が発生し，処理が止まったり，あるいは暴走したりする。本来なら，エラーとなる… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fjeyseni.hatenablog.com%2Fentry%2F2025%2F10%2F13%2F070933" title="東急の衝突脱線にみる交通機関の安全設計--ソフト(設定)と設計者は本当に大丈夫なのか - jeyseni&#39;s diary" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> Hatena Blog https://hatena.blog 2025-10-13 07:09:33 rich https://jeyseni.hatenablog.com/entry/2025/10/13/070933 1.0 100%