概要 「gmappingのパラメータであるmap_update_intervalを0.1などにしても /mapトピックの配信頻度が0.5Hz程度ぐらいになってしまう」という話を聞いたので調べてみた。 〜map_update_interval （ float 、デフォルト：5.0） マップの更新間の時間（秒単位）…