ロボットの形式仕様 - ウィリアムのいたずらの、まちあるき、たべあるき

ロボットの形式仕様

2018-03-28 17:11:24 | Weblog

独自言語らしい

《日経Robo》ファナックが買収したロボベンチャー、ソフトの技術力で群を抜く
仕様を厳密に記述する「形式手法」を実践、約2万行を記述
http://tech.nikkeibp.co.jp/dm/atcl/mag/15/00140/00017/

ランキングに参加中。クリックして応援お願いします！

« プログラミングができなくて... | トップ | 機械学習工学研究会のキック... »

このブログの人気記事

最新の画像［もっと見る］

「Weblog」カテゴリの最新記事