【自動車】自動運転車の安全を「数学的」に証明！日本の研究チーム [すらいむ★]

**すらいむ ★** · 2022/07/18(月) 20:37:28.68

自動運転車の安全を「数学的」に証明！日本の研究チーム
国立情報学研究所と科学技術振興機構が発表

　情報・システム研究機構「国立情報学研究所」の研究チームが、自動運転システムの安全性に数学的保証を与える技術とその基礎理論を発表した。
　イスラエルのMobileye（モービルアイ）が策定した自動運転の安全性に関する数式モデル「RSS（責任感知型安全論／responsibility-sensitive safety）」の応用範囲を拡張した手法「GA-RSS（goal-aware RSS）」を確立したという。

　自動運転車の安全を数学的に証明するとはどういうことなのか。この記事では、RSSの概要とともに、同研究所の取り組みにについて解説していく。

　▼自動運転車の安全性に数学的証明を与える新手法を開発
　https://www.jst.go.jp/pr/announce/20220707-3/pdf/20220707-3.pdf

（以下略、続きはソースでご確認ください）

自動運転ラボ編集部　2022年7月18日 06:08
https://jidounten-lab.com/u_36337

**名無しのひみつ** · 2022/07/18(月) 20:39:45.10

「やあ、マイケル！青キップ切られたから８０００円払っといて！」

**名無しのひみつ** · 2022/07/18(月) 20:51:01.17

トロッコ問題解決出来た？

**名無しのひみつ** · 2022/07/18(月) 20:52:32.97

人間が原因の事故は諦められても機械が起こす事故は納得できない
不条理だとは思うが、これは何故だろう

**名無しのひみつ** · 2022/07/18(月) 20:55:11.37

>>3
始めからそんな問題無い。
エンジニアに一蹴されて終わる空想

**名無しのひみつ** · 2022/07/18(月) 20:56:16.36

>>4
機械が起こす事故なんて無いやろ。
故障も人間がそれを造ってるからこそ有り得るんやから。

**名無しのひみつ** · 2022/07/18(月) 21:03:04.66

ルールを守っていれば安全であることを証明できた、ってこと？
一般的なプログラムにバグがないことを証明するのにもつながるんかな？

**名無しのひみつ** · 2022/07/18(月) 21:06:00.11

RSSフィード読むやつ全く使わなくなったなあ

**名無しのひみつ** · 2022/07/18(月) 21:17:56.31

>>4
人間のやる事は許容出来ても、機械のは許容出来ないから

**名無しのひみつ** · 2022/07/18(月) 21:20:30.20

韓国車と中国車の自動運転AIには、日本人なら轢いてよし
というアルゴリズムが含まれていそう

**名無しのひみつ** · 2022/07/18(月) 21:46:14.05

思ってたほど明るい話ではなかった
実装がないのね
シナリオ書く言語もこれから設計
しかもこれを表現できる言語設計は社会貢献と言ってるから期待薄
誰かやってーって感じか

**名無しのひみつ** · 2022/07/18(月) 21:53:39.75

代数的に正しいが、算術的に誤っていたりして

**sage** · 2022/07/18(月) 22:29:33.07

危ない歩行者ナメんなよおお

**名無しのひみつ** · 2022/07/18(月) 22:29:36.47

道路交通法を変えないとならないはず

**名無しのひみつ** · 2022/07/18(月) 22:57:08.74

机上の空論

**名無しのひみつ** · 2022/07/18(月) 23:04:59.44

センサーが壊れたとかで間違ったデータが来たら
間違い無く事故るだろ。複数のセンサーを積まないと
ダメだな。カメラ２～３台で済ますなんてダメだわ。

**名無しのひみつ** · 2022/07/18(月) 23:16:19.41

教習所の検定試験の数式化

**名無しのひみつ** · 2022/07/18(月) 23:21:05.07

機器不良やバグの無い世界やね

**名無しのひみつ** · 2022/07/18(月) 23:37:43.58

数学的に不可能とか証明されちゃうと
どうにもならないことになるので
少し前進

**名無しのひみつ** · 2022/07/19(火) 07:42:21.62

>>7
それは一部の関数型言語で実現されている

**名無しのひみつ** · 2022/07/19(火) 08:12:25.84

人を轢いたらダメっていう命題から出発するから結論が出せないんだよ
つまり轢かれても死なない人間を作ればOK

**名無しのひみつ** · 2022/07/19(火) 16:19:25.51

>>6
原理主義者かよｗ

**名無しのひみつ** · 2022/07/19(火) 16:41:05.35

条件設定がどうせ起伏も無く小石も落ちてない道とかだろう

**名無しのひみつ** · 2022/07/19(火) 16:48:52.68

現状の交通法規は人間16歳以上～（認知、判断、操作）にできる範囲で作られた
一部にエスパー能力必要な判例もあるけど
もう21世紀だ、自動運転システムありきで見直しの時期が来たんだよ。

**名無しのひみつ** · 2022/07/19(火) 18:02:53.03

スマホ片手に無灯火で車道を逆走してくる自転車は変数に反映されてんの?

**名無しのひみつ** · 2022/07/20(水) 12:04:58.64

すごーい

**名無しのひみつ** · 2022/07/20(水) 12:33:33.77

>>10
アジア人から日本人だけを見分けるアルゴリズムは、もう確立されてるのかな?

**名無しのひみつ** · 2022/07/20(水) 13:07:29.92

>>10
中国車はそんな事しないだろ
車の行き先を支配するだけで

**名無しのひみつ** · 2022/07/20(水) 13:41:30.74

宣伝になりそうなのにマツダの名前出さないんだな。

**名無しのひみつ** · 2022/07/20(水) 16:54:45.56

交通ルールの安全性の説明にしかなっていないような。
「ルールに従えば安全」としか言えてないわけでしょ？

**名無しのひみつ** · 2022/07/22(金) 21:20:06.30

>>1
事故って死んでもお得意の想定外ですか
いい加減にしろよ机の馬鹿ども

**名無しのひみつ** · 2022/08/04(木) 17:26:43.75

当然の結果だろう
機械はうっかりも疲労もないし居眠りもしないし酒やドラッグもやらない
やるべき事をひたすら正確にやればいい運転のような単純労働は
計算するまでもなく機械の方が優れるのはわかりきっている

**名無しのひみつ** · 2022/08/04(木) 17:38:13.03

>>10
今の技術では人種を判別するどころか生物かどうかさえも判別できてないよ
サーモセンサーで体温を感知できたら生物かもしれないという程度
ただそこに物がある、動いている、という事しか検出できていない

だから子供とか老人とか障害者とかも関係ない
人間側全員にトランスポンダーの携帯でも義務付けられて
ステータスが常に発信されるようにでもならないと
AIによる命の選別なんぞ不可能

だから高額な賠償金をとられそうなセレブとホームレスが並んでいても
普通にセレブの方をひくかもしれない、どうせメーカーの責任になって
メーカーが加入している保険から賠償されるシステムになるんだから

乗員は何も気にする必要ないが

**名無しのひみつ** · 2022/08/04(木) 17:51:17.15

>>31
想定外も何もない
プロのレーサーが運転してても避けられないような事故なんてどうにもならん
そういう事は当然のように起こりえるし、すべて想定の範囲内
ただ基準や判例に従って賠償するのみ

どんな悲惨な事故が起きようが
設計やプログラムや製造や整備に致命的な欠陥があった事が証明されない限りは
誰も刑事責任を問われる事もない、整備に関しても自己診断で完璧に管理するから
マイカーとして所有した場合はオーナーは診断の指示に従ってさえいれば責任を問われる事はない
そもそも問題がある状態では車が動かなくなるから、整備不良の事故などありえないのだが

**名無しのひみつ** · 2022/08/08(月) 11:26:39.45

安全性が証明されても、それはその証明で仮定しているモデル系の中でのことだ。
それが現実を完全かつ忠実に表しているかどうかはまた別の話だろう。

**名無しのひみつ** · 2022/08/13(土) 10:24:40.44

>>3
解決の必要ない。まずありえない話だしそも
人間だって悩む話で別にどっちを選んでも仕方がない
もしそれで裁判になってどっちかにせよ、となったらそうすればいいだけ

>>9
なぜそう思うのかという話だろ

**名無しのひみつ** · 2022/08/13(土) 14:30:53.52

現実離れしたモデルを採用していなければよい。