ROSの公式サイトを見てみたがRaspberry pi OSにROSをインストールする正規の手段はないという事らしい。Raspberry pi OSを使用する場合はDockerを使用してくれということらしい。 ROS公式サイト docs.ros.org 画像をクリックすると楽天に飛びます。 Dockerの…