xmldtp https://blog.hatena.ne.jp/xmldtp/ ウィリアムのいたずらの、まちあるき、たべあるきーPART2 https://xmldtp.hatenadiary.org/ Weblog 自動運転車の安全性に数学的証明を与える新手法を開発～論理的安全ルールの効率的導出により自動運転の社会受容を加速～https://www.nii.ac.jp/news/release/2022/0707.html 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fxmldtp.hatenadiary.org%2Fentry%2Fa774397ae3314f40c859f2905faf96c3" title="自動運転も形式仕様！ - ウィリアムのいたずらの、まちあるき、たべあるきーPART2" 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 2022-07-12 08:21:38 rich https://xmldtp.hatenadiary.org/entry/a774397ae3314f40c859f2905faf96c3 1.0 100%