mac で mts 形式を連結して mp4 に変換するまで

そこらへんのフリーソフトとか iMovie とかは使わずに、ターミナルを立ち上げてコマンドで変換します。

そもそも

mts 形式って、ビデオカメラで撮影した時の動画の拡張子です。いろいろあるんですね。

mts ファイルの連結

ビデオカメラで撮影したファイルがいくつかに分かれていたのでまずはつなげます。
cat コマンドで繋げたいファイルを列挙して、出力先ファイルを > の後に書きます。

cat file1.mts file2.mts file3.mts > connected.mts

catコマンドは mts ファイルに限らず、他の拡張子でも連結できます。テキストファイルとか。
で、ファイルを連結したのはいいんですがなぜか Quick Time Player で再生できないんですよね、「不明なエラー(1718449215)」とか言ってきて。VLC Media Player(あの三角コーンのアイコンのやつ)なら再生できたし、とりあえずよしとしておきましょう笑

mts を mp4 に変換

ffmpeg というツールを使います。Homebrewをつかっているなら

brew install ffmpeg

でインストールできて、

ffmpeg -i file1.mts -s 1280x720 converted.mp4

これで変換できます。オプションの詳しいところは下のWikipediaでも見たほうがいいんですけど、 -i が入力ファイルの設定で、-s が出力サイズの設定ですね。
FFmpeg - Wikipedia

動画サイズは自分で好きなように設定できるとはいえ、一般的なサイズっていうのがありますよね。ビデオカメラでとってるので元サイズはおそらく 1440x1080 のはず(HDV 1080iというやつ)です。詳しくは以下をどうぞ。

bindcamp.digitalstage.jp

LaTeXで証明木を書く

証明木をflag notationで書く

普通の証明木(?)を書く方法はネットに情報が転がっているのですが、flag記法で書く方法はどうにも情報がない…と思っていたらついに見つけました。

CTAN: Package flagderiv

PDFはこちら。

http://ftp://ftp.u-aizu.ac.jp/pub/tex/CTAN/macros/latex/contrib/flagderiv/flagderiv.pdf

普通のproof treeは bussproofs が良さげです。 このページにいろいろ載ってました。

3. Natural deduction proofs | Logic Matters

広告を非表示にする

brew-file関連

brew-file関連のリンクを貼っておこう。

なんか多分この前はtapだけして満足してたのかもしれない。 tapとinstallは違うというのに。

installはここから。
github.com

documentationはここから。
Welcome to homebrew-file’s documentation! — Homebrew-file 3.12.3 documentation

初回にbrew-fileを入れた(と錯覚していた)ときはbrew file initとかbrew file catとかしてもちゃんと動かなかったような記憶がある。あーーーてかあれか、多分caskが動いたせいだな。それだ。
そういうわけでした。

広告を非表示にする

山の日のDoodleがきれい

今日のGoogle Doodleすごい綺麗すぎて好き。

f:id:saphir_jaune:20160811102325p:plain
f:id:saphir_jaune:20160811102324p:plain

一番好きなのが夜バージョンで、登山者が灯りを持ってるところとかすごい良い。
f:id:saphir_jaune:20160811102322p:plain

もちろんGoogle Doodlesのサイトで紹介はされてるんだけど、全種類揃ってはないみたい。
www.google.com

Doodleって見てて飽きないよね。

地味にリオオリンピックのゲームのできるやつも好き。
ブラウザっていうかiOSGoogleのアプリでプレイできるやつなんだけどすごいかわいい。
アレなのか、これってGoogleアプリをダウンロードさせるための広告でもあるんだなあ。やりよるのう。

Official Google Blog: Go bananas for the 2016 Doodle Fruit Games

TeX 行間の調整

一行おきに書きたい、とか行間を調整したいという時に。

一部だけ行間を調整したい

一行おきに書きたい、とかそういうときは特に便利かもしれないです。 setspaceというパッケージを使うとできます。プリアンブルのところに

\usepackage{setspace}

と書いてから、文書本体に

\begin{spacing}{倍率}
行間を調節したい文章をここに書いて!
\end{spacing}

と書けば、\begin\endに挟まれた部分の行間が変更されます。
一行おきに書きたい時は倍率を2.0にすれば楽勝ですね。 それから、箇条書きが意外と幅取っててめんどくさい時も倍率0.9とか0.8にして使えます。

文書全体の行間を調整したい

全体を変更したい時は基本的にプリアンブルで設定を変更すればできます。

\renewcommand{\baselinestretch}{倍率}

と書けばできます。

参考にさせていただきました

空白のコントロールTex tips

qiita.com

www.latex-cmd.com

広告を非表示にする

homebrew-caskの移動とAlfred

brew-caskの移動

最近Homebrewの方でCaskのデフォルト位置を動かしたようです。何か新しいアプリをCaskで入れようとしたり、brew doctorを叩いたりするとWarningが出てきますね。

Warning: The default Caskroom location has moved to /usr/local/Caskroom.

Please migrate your Casks to the new location and delete /opt/homebrew-cask/Caskroom,
or if you would like to keep your Caskroom at /opt/homebrew-cask/Caskroom, add the
following to your HOMEBREW_CASK_OPTS:

  --caskroom=/opt/homebrew-cask/Caskroom

For more details on each of those options, see https://github.com/caskroom/homebrew-cask/issues/21913.

▼最終行の "For more details on each of those options, ..." とはこれのことですね
github.com
細かいコマンドはリンク先に書いてあるのでそれで大丈夫です。ざっくり何やってるか説明すると
①まずはCaskroomを新しい位置にmvする
cask list上のアプリを全部再インストールする(強制的に再インストールしてるので--forceオプションが必要です、そうでないと「すでにインストールされてますよ」って言われてインストールしてくれません)
/Applicationsフォルダのリンクが正しくないのでそれを直してあげる。
※リンク先ではoldlocとなっている場所を、以前Caskroomのあった場所に変えてください。おそらくほとんどの人が/opt/homebrew-cask/だと思います。いくつかエラー吐くと思いますが大体はこれでOKです。どうしてもなら/usr/local/Caskroomまで移動して手動でエイリアスを作成して/Applicationsフォルダに投げ入れるっていう原始的な方法もありますが笑

まあこんな感じですかね。

▼ぶっちゃけここ読んどけばいけます
rcmdnk.github.io

LaunchPadでアイコンにクエスチョンマークが出てくるときはリンクがうまく貼られてないときですね。上記の手順③やればうまくいくと思うんですけどね。
▼うまくいってない例(Eclipse)
f:id:saphir_jaune:20160706125119p:plain

Alfredもちょっと変更

過去にCaskでインストールしたものたちがAlfredの検索結果にひっかからなくなっちゃうのでそっちの設定も動かしておいてあげる。まあ心配なら両方残しといてもいいんじゃないですかね。Alfredの動作速度を極めるならアレですけど。
Preference > Features > Default Results > Search Scope
で、新しいパスを追加。ドラッグ&ドロップでも追加できますよ。
これでAlfredでもちゃんと認識されます。めでたし。