[B! formal methods] palm3rのブックマーク

palm3r id:palm3r

formal methodsに関するpalm3rのブックマーク (5)

さらに分かっておきたいトランジスタの種類 − ＠IT MONOist
コロナ禍明けで以前の賑わいが戻ってきた「2023国際ロボット展（iREX2023）」。本稿では、サービスロボットゾーンの展示を中心にレポートする。近年の目玉になっている川崎重工業の2足歩行ロボット「Kaleido」はさらに進化を遂げ、人機一体による“魔改造版”も登場。サンドイッチマンならぬ「サンドイッチロボ」も注目を集めた。
palm3r 2009/02/21
software

design

formal methods

vdm
リンク
さらに分かっておきたいトランジスタの種類 − ＠IT MONOist
コロナ禍明けで以前の賑わいが戻ってきた「2023国際ロボット展（iREX2023）」。本稿では、サービスロボットゾーンの展示を中心にレポートする。近年の目玉になっている川崎重工業の2足歩行ロボット「Kaleido」はさらに進化を遂げ、人機一体による“魔改造版”も登場。サンドイッチマンならぬ「サンドイッチロボ」も注目を集めた。
palm3r 2009/02/21
software

design

formal methods

vdm
リンク
さらに分かっておきたいトランジスタの種類 − ＠IT MONOist
コロナ禍明けで以前の賑わいが戻ってきた「2023国際ロボット展（iREX2023）」。本稿では、サービスロボットゾーンの展示を中心にレポートする。近年の目玉になっている川崎重工業の2足歩行ロボット「Kaleido」はさらに進化を遂げ、人機一体による“魔改造版”も登場。サンドイッチマンならぬ「サンドイッチロボ」も注目を集めた。
palm3r 2009/02/21
software

design

formal methods

vdm
リンク
さらに分かっておきたいトランジスタの種類 − ＠IT MONOist
コロナ禍明けで以前の賑わいが戻ってきた「2023国際ロボット展（iREX2023）」。本稿では、サービスロボットゾーンの展示を中心にレポートする。近年の目玉になっている川崎重工業の2足歩行ロボット「Kaleido」はさらに進化を遂げ、人機一体による“魔改造版”も登場。サンドイッチマンならぬ「サンドイッチロボ」も注目を集めた。
palm3r 2009/02/21
software

design

formal methods

vdm
リンク
さらに分かっておきたいトランジスタの種類 − ＠IT MONOist
コロナ禍明けで以前の賑わいが戻ってきた「2023国際ロボット展（iREX2023）」。本稿では、サービスロボットゾーンの展示を中心にレポートする。近年の目玉になっている川崎重工業の2足歩行ロボット「Kaleido」はさらに進化を遂げ、人機一体による“魔改造版”も登場。サンドイッチマンならぬ「サンドイッチロボ」も注目を集めた。
palm3r 2009/02/21
software

design

formal methods

vdm
リンク
1

お知らせ

もっと読む

公式Twitter

@HatenaBookmark
リリース、障害情報などのサービスのお知らせ
@hatebu
最新の人気エントリーの配信

キーボードショートカット一覧

j次のブックマーク

k前のブックマーク

lあとで読む

eコメント一覧を開く

oページを開く

設定を変更しましたx