国内では稀な形式手法の話;今後ロボットと人との関わりが深くなるにつれて,安全性の面から設計の厳密さは重要になって来そう;曖昧さを統計的に扱うAIとはほぼ真逆のアプローチだと思う

formal method

vanbraam のブックマーク 2018/03/30 13:05

<blockquote class="hatena-bookmark-comment"><a class="comment-info" href="https://b.hatena.ne.jp/entry/361162181/comment/vanbraam" data-user-id="vanbraam" data-entry-url="https://b.hatena.ne.jp/entry/s/xtech.nikkei.com/dm/atcl/mag/15/00140/00017/" data-original-href="https://xtech.nikkei.com/dm/atcl/mag/15/00140/00017/" data-entry-favicon="https://cdn-ak2.favicon.st-hatena.com/64?url=https%3A%2F%2Fxtech.nikkei.com%2Fdm%2Fatcl%2Fmag%2F15%2F00140%2F00017%2F" data-user-icon="/users/vanbraam/profile.png">《日経Robo》ファナックが買収したロボベンチャー、ソフトの技術力で群を抜く</a><ul class="comment-tag" style="list-style: none; margin: 0px;"><li style="float: left">[<a href="https://b.hatena.ne.jp/q/%22formal%20method%22">formal method</a>]</li></ul><br><p style="clear: left">国内では稀な形式手法の話;今後ロボットと人との関わりが深くなるにつれて,安全性の面から設計の厳密さは重要になって来そう;曖昧さを統計的に扱うAIとはほぼ真逆のアプローチだと思う</p><a class="datetime" href="https://b.hatena.ne.jp/vanbraam/20180330#bookmark-361162181"><span class="datetime-body">2018/03/30 13:05</span></a></blockquote><script src="https://b.st-hatena.com/js/comment-widget.js" charset="utf-8" async></script>

このブックマークにはスターがありません。
最初のスターをつけてみよう！