2009-11-01から1ヶ月間の記事一覧
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 というコマンドで出てきます.この記号だけなら,わざわざ…