Mac

convertでコマンドでサクッと画像編集

gimpなどのGUIを立ち上げずに、コマンドラインからサクッと画像の編集を行ったり、大量の画像を一括でトリムしたりする方法を伝授したいと思います。 GUIを使った方が、画像の隅々まで見渡して微調節ができると思います。しかし、「100枚のpng画像をjpgに変換する」、「サイズを全て192 […]

ROS

LiDARの計測モデルについて

少し真面目な話をしたくなったので、LiDARの計測モデルについて記述していこうと思います。 ここで取り扱う話は主に、移動ロボットの自己位置推定として広く用いられているLiDARについてです。この記事を通してみなさんの理解が少しでも深まれば幸いです。 LiDARで物体との距離を測る際の誤差 […]

Others

SDカードリーダがSDカードを読み取らない時は

久しぶりにSDカードを使おうとしてカードリーダーにSDカードを差し込んだは良いものの、うんともすんとも言わず、SDカードがうまく読み取れなかった。 こんな経験したことはないでしょうか。筆者も以前こういったことに悩まされ、SDカードにはいろいろ相性があるという噂もよく聞くのですが、読み取れ […]

Mac

ffmpegで動画の音声を差し替える

タイトル通り、ffmpegで動画の音声を差し替える方法について記述していきます。プレゼンの時にちょっとした動画が必要となり、無音の動画の音声をつける必要があったので、その際に使用したコマンドをメモしておきます。 ffmpegとは 動画のトリムやコーデックの変更など、コマンドラインでサクッ […]

Mac

macOS Catalinaに合わせてzshに乗り換える

2019年10月に、新しいmacOS 10.15 Catalinaがリリースされました。皆さんはアップデートはお住みでしょうか。 実は、macoS 10.15 Catalinaからはデフォルトのログインシェルが変更となりましたので、それに合わせて筆者も使用するシェルを変更してみました。早 […]

Vim

vim エンコーディング・言語設定まとめ

ここでは、vim(またはneovim)の文字エンコーディングの設定や、言語設定についてまとめていきます。 set encoding=utf-8 set fileencoding=utf-8 set fileencodings=utf-8,iso-2022-jp,euc-jp,sjis l […]

Web

webページでドラッグ操作。jquery-uiを使う。

web開発において、ドラッグ操作したい場面に遭遇しました。その際に、jquery-uiというドラッグ操作に対応したライブラリがあることを知ったので、使い方をここに書き留めていこうと思います。 どういうことがしたいのか。。。 webページにおいて、ドラッグ&ドロップでリストに順次追 […]

Web

javascriptにおけるsleep,wait関数

javascriptで一定時間sleepする関数を使いたくなったので、その方法をメモしておきます。 やりたいこと c言語で言う所のこういう処理をjavascriptでもやりたくなりました。 while (1) { if ( is_ready() ) break; usleep( 1000 […]

Mac

rEFIndのテーマをカスタマイズする方法!

さて、今回はrEFIndのテーマを変更する方法についてです。 デフォルトのrEFIndのOS選択画面って、ハッキリ言って美しくないですよね。そこで今回は、rEFIndのOS選択画面カスタマイズしていきます。 「rEFIndって何?」という方や、「rEFIndのインストール方法がわからない […]