init.el で cask のエラーがでるので旧バージョンに戻す

Emacs の設定ファイルである init.el の読み込みに失敗するようになってしまいました。 Warning (initialization): An error occurred while loading ‘(略)/.emacs.d/init.el’: error: Given parent class package-recipe is not a class To ensure normal o…

Coq のバージョンアップに対応する

Coq のバージョンが上がってしまい (Homebrew で 何も考えずに upgrade をかけてしまった) 、いざ Coq を書こうとしてRequire Import [ライブラリの名前] という行を読み込もうとしたら、 Error: File /Users/(略).vo has bad magic number 8700 (expected 8…

Emacs org-mode : 行の折り返し & 見出し折りたたみ

Emacs の org-mode は最近使い始めたのですが本当に便利ですね。数式を TeX で書けたり、エクスポート先がいろいろあったりするのが嬉しいところです。 行の折り返しの ON/OFF 折り返しの ON/OFF を切り替えたいときは次のようにします。 M-x toggle-truncat…

macOS のクリーンインストール

macOS High Sierra のバックアップをとって macOS を再インストールしようとしたら The recovery server could not be contacted. と出たのですが、下の手順を踏んだら解決しました。(クリックするとウェブページに飛びます。) gist.github.com ツールバーに…

LaTeX の日本語フォント切り替え

LaTeX、フォント切り替えが簡単にできたら最高ですよね。 日本語組版用のデフォルトはヒラギノに設定しておいて、游明朝や游ゴシックに pxchfon というパッケージで簡単に切り替えていくための備忘録。 前提:環境 pxchfonとは TeX で使う日本語フォントのリ…

BasicTeX 2017 のインストール @HighSierra

macOS を HighSierra にアップグレードしたらヒラギノを埋め込めなくなってしまったのでクリーンインストールしたという自分用メモ。 HighSierra へのアップグレードによるフォントの埋め込みの問題についてだけでしたら、一番最後の「ヒラギノフォントを扱…

Wunderlist のアクティビティの通知

2,3年前から、Wunderlist ( https://www.wunderlist.com/ja/ ) というTODOリストアプリを使っています。 同期も早くて使い勝手がいいのですが、別に他人とリストを共有したりはしていないのでぶっちゃけアクティビティの通知はちょっと煩わしく感じていまし…

Aquamacs 立ち上げても init.el が読み込まれないんですが

Aquamacs っていうのは Emacs の親戚 Aquamacs: Emacs for Mac OS X というのは、macOS 向けの Emacs です。ほぼ Emacs と思って大丈夫。違うのは牛の顔がちょっとかわいいかもしれない(Aquamacs)か、全然可愛くない(Emacs)かぐらいです。 Emacs を使ってい…

C++ ブックマーク

C++

C++ 初心者がいろいろ調べながらプログラム書くために参照したサイト. 随時更新します. 一言まとめ+URL みたいな構成で, 詳しくはサイトを参照してくださいという格好です. うまく要約できなくて引用している場合もありますが. 以下、だらだらと長くなりそう…

Emacs よく使うコマンドまとめ

よく使うコマンドたちの備忘録。 コマンドの基本的な打ち方 カーソル移動 検索 置換 コメントアウト 行数の表示 ウィンドウ分割 バッファ コマンドの基本的な打ち方 C-uなどと書くと、Controlキーと"u"を一緒に押します。 C-u 0となっているときは、一度C-u…

ghostscript - gs_init.ps がないと言われた

gs_init.ps がない ps2pdf (https://webkaru.net/linux/pdf2ps-ps2pdf-command/) を使おうとしたら、 GPL Ghostscript 9.19: Can't find initialization file gs_init.ps. と言われてしまったのでいろいろ解決策を探してみました。 Ghostscript: Ghostscript…

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

iMovie とかは使わずに、ターミナルを立ち上げてフリーソフトをインストールしてコマンドで変換します。 そもそも mts 形式って、ビデオカメラで撮影した時の動画の拡張子です。いろいろあるんですね。 mts ファイルの連結 ビデオカメラで撮影したファイルが…

LaTeXで証明木を書く

目次: 普通の証明木(?)を書く 証明木をflag notationで書く 普通の証明木(?)を書く 普通のproof treeは bussproofs が良さげです。 bussproof.sty:bussproofs: LaTeX proof tree style file マニュアル:http://math.ucsd.edu/~sbuss/ResearchWeb/bussproo…

TeX 行間の調整

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