SBCLの最新版をMacPortsを使ってインストールできるよう，Portfileを書き換えました．その際，+threads を指定したときのパッチを customize-target-features.lisp というファイルに当てるよう変更しました．テストは一部失敗するので省略しています．portデ…

Snow Leopard に，MacPortsでまだ対応していない Common Lisp 処理系をインストールする方法についてメモしておきます． 1.0.29版バイナリのインストール SBCL の公式サイトでは OS X に対応した 1.0.29 版のバイナリが配布されていますので，まずはこれをイ…

mathabx というのはTeX用の数学記号フォント集で，AMSのパッケージにもない変わった記号が用意されています．Abadi & Cardelli のς-計算に出てくる変な矢印((mathabx.styを使うと \leftleftharpoons というコマンドで出てきます．この記号だけなら，わざわざ…

私はLaTeXの文書に用いる図を OmniGraffle というMac OS X用のソフトウェアで作成しています．このソフトウェアにはおおむね満足していますが，キャンバスという機能を多用しているとEPSやPDFへの書き出し作業が少々面倒だと感じていました．その手間を解消…