《日経Robo》ファナックが買収したロボベンチャー、ソフトの技術力で群を抜く
ファナックが2018年2月に買収したロボットベンチャーのライフロボティクス。伸縮式の機構を採用することでロボットの肘関節をなくし、省スペースに設置できる協働ロボット「CORO」を手掛ける（図1）。 トヨタ自動車や外食大手の吉野家、ロイヤルホストなどが相次いで自社工場・店舗への採用を決定するなど、注目が高まりつつある（導入事例の記事）。 このライフロボティクスというベンチャー、実はロボットのハードウエア面だけでなく、ロボットに組み込むソフトウエアの面でも、その開発において先駆的なアプローチを取り入れている。それが「形式手法（formal methods）」である。 形式手法は日本ではあまり知られていないが、システムやソフトウエアの仕様を厳密に記述し、仕様の品質を高めるための手法である（形式手法については、筆者が2005年に執筆した特集記事「ソフトウエアは硬い」を参照）1）。プログラムなど実装
#1 Gopher道場 (2018/04/12 19:00〜)
Gopher道場で実務で使えるGoを学ぼう！ Gopher道場とは Gopher道場とは、メルペイが提供する実践的なGoを体系的に学べる場です。 Gopher道場では、次のような方を対象として、受講生を募集しています。 Go以外を言語で日々の開発を行っているエンジニア Goを学ぶ熱量が高い Goを仕事として使う機会がないため、実践的なものが学ぶ機会がなくて学べてない Gopher道場の前身として、社内勉強会の「エキスパートGo」というものがあります。 「エキスパートGo」については、こちらの記事に詳しく書かれていますので、参考にしてください。 ※ これからGoを実践的に学びたい方を対象としています。「道場破りしてやるぞ！」という意気込みの、実務でバリバリGoを書いている方は、ぜひOpen Go Fridayの方（次回はこちら）にご参加ください！ 開催の背景 メルペイでは、バックエンドの開発
SCOUTER開発者ブログ
2024-09-10 テクノロジア魔法学校の体験談と評判 「テクノロジア魔法学校」というプログラミング教材をご存知ですか？ ホームページの広告などで一度は目にしたことがある人も多いのではないかと思いますが、ディズニーが提供する子供向けのプログラミング教材です。 今回は、この「テクノロジア魔法学校」の体験版を実際に体験してみての感想や、「テクノロジア魔法学校」がどのようなものか、その評判などを見ていきたいと思います。 テクノロジア魔法学校とは 料金 エント […] 2024-09-10 レンタルサーバー「クイッカ」の評判と使い勝手 レンタルサーバーとして有名なサーバーの一つに、「クイッカ」があります。 名前は聞いたことのある人も多いのではないかと思いますが、今回はこの「クイッカ」について、料金やスペック、評判などを見ていきたいと思います。 レンタルサーバー「クイッカ」の基本情報 レンタルサー
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
