安全要件の記述を簡略化してパターン化したそうな。 後で読む 車の制御システムの安全性を自動で検証−日立、項目をパターン化 http://www.nikkan.co.jp/articles/view/00400862?kawara05_20160926

IoTやクルマとのインターフェイスとしても利用を想定しているらしいよ・・ トヨタ、手乗りサイズのパートナーロボット「KIROBO mini」発売--製造はVAIO http://japan.cnet.com/news/service/35089580/ （太字は上記サイトより引用）

システム設計とかでもいえそう・・・ イラスト料を値切る顧客に「ご自分でどうぞ」→ 返ってきた答えがヤバすぎる(笑) http://buzzmag.jp/archives/88211

１０月３日（きのう）、 MySQL 最前線 ～ 2016年秋 最新アップデート【続編】 を聞いてきた！ので、その内容をメモメモ ■MySQL最前線～Server編～ ・MySQL５．７ 全面的な改良 全部で２００以上の改善 JSONデータ型、JSON組み込み関数 ・開発の方向性 MySQL…

仕様書作成で、こういうのあるといいかも・・・ 法律の改正案を自動作成 政府、働き方改革へ新システム http://www.nikkei.com/article/DGXLASFS26H1H_W6A920C1PP8000/