LaTeXで証明木を書く

証明木をflag notationで書く 普通の証明木(?)を書く方法はネットに情報が転がっているのですが、flag記法で書く方法はどうにも情報がない…と思っていたらついに見つけました。 CTAN: Package flagderiv PDFはこちら。 http://ftp://ftp.u-aizu.ac.jp/pub…

brew-file関連

brew-file関連のリンクを貼っておこう。 なんか多分この前はtapだけして満足してたのかもしれない。 tapとinstallは違うというのに。 installはここから。 github.com documentationはここから。 Welcome to homebrew-file’s documentation! — Homebrew-file…

山の日のDoodleがきれい

今日のGoogle Doodleすごい綺麗すぎて好き。 一番好きなのが夜バージョンで、登山者が灯りを持ってるところとかすごい良い。 もちろんGoogle Doodlesのサイトで紹介はされてるんだけど、全種類揃ってはないみたい。 www.google.com Doodleって見てて飽きない…

TeX 行間の調整

一行おきに書きたい、とか行間を調整したいという時に。 一部だけ行間を調整したい 一行おきに書きたい、とかそういうときは特に便利かもしれないです。 setspaceというパッケージを使うとできます。プリアンブルのところに \usepackage{setspace} と書いて…

homebrew-caskの移動とAlfred

brew-caskの移動 最近Homebrewの方でCaskのデフォルト位置を動かしたようです。何か新しいアプリをCaskで入れようとしたり、brew doctorを叩いたりするとWarningが出てきますね。 Warning: The default Caskroom location has moved to /usr/local/Caskroom.…