公開鍵を利用できないため、以下の署名は検証できませんでした」

ubunntuで表題のようなタイトルが出た時の対処法

gpg --keyserver keyserver.ubuntu.com --recv-keys 鍵
sudo gpg --armor --export 鍵 | sudo apt-key add -

Math Jaxを使う

Math Jaxを使って数式を書けるようにした

例 \[F(s)=\int^{\infty}_0 f(t) e^{-st} dt \tag{1}\]

表示には少し時間がかかり
また，IEではもっと時間がかかって問題があるらしい
僕はIEを基本的には使っていないので気になりませんが
なにか表示がおかしいと感じられる方は，そういうことかもしれません．

Math Jaxについてはこちらが大変詳しいです．
最近ではこのMath Jaxが標準になるとかならないとか．

ROSチュートリアルにチャレンジ

ROSを使いロボットを動かそうと思う．

２０１３年５月５日（日）時点の目標
既存の教育用ロボットシステムをROSで動かせるようにするROSのバージョンがgroovyになってからレゴマインドストームのパッケージがgroovy用になっていないので，この際，既存のパッケージをgroovy用に移植するのではなく自前のパッケージを作りマインドストームを動かすことを目標にしてみる．
研究用のUAVもROSで動くようにする
マイクロマウス（クラシック）のROSパッケージを作ってみたい

ROS（groovy）をubuntuにインストール

ROSをubuntuにインストールする手順のメモを記述します．（予定）

Tutorialを試す

groovyはcatkinというシステムでパッケージを作ったりするようになる最初のバージョンで今までのバージョンとは作法がだいぶ違うらしい．
そして，ROSのwikiには日本語版もあるもののまだgroovyの完全に対応していないので備忘録も兼ねてここにメモしていくつもりです．（２０１３年５月５日（日））

環境の設定

ROSのワークスペースの作成

ROSのファイルシステム

ファイルシステムツール

新しいパッケージを作る

 

このエントリーは随時更新します．