Mac OS X へのインストール．Spin はモデル検査ツールです． ここを読めばインストールできます以下はインストールログです． $ tar zxvf spin429.tar.gz $ cd Spin/Src4.2.9/makefile を編集．CC=cc -DNXTをCC=cc -DNXT -DCPP="/usr/bin/cpp -xassembler-wi…

結構簡単に作れそうです． Lucene のインデックスの構造 インデックスはドキュメントから成ります． ドキュメントは"メール文書"とか"Webページ"とか，ある構造を持つ一つの文書であると考えればよいか? ドキュメントはフィールドから成ります． さらにフィ…

Plagger 使ってみました． Mac OS X なら Plagger を簡単にインストールする これを展開するだけです．インストール$ curl -O http://8-p.info/Plagger/Plagger-Mac-0.7.11-2.tar.gz $ tar zxvf Plagger-Mac-0.7.11-2.tar.gz $ mv Plagger-Mac-0.7.11-2.tar.…

漢のzsh 第一回(MYCOMジャーナル) zshの連載が始まったみたいなので注目．まずは compinit の紹介のようですが，たしかにこれだけでも相当便利になります． Tab ボタンを叩くのが楽しくなります．とにかくこの連載に注目．

Emacs のメモ帳モードです．別に自分で管理してるよ，という人には向かないかも． 整理整頓できない僕にはとりあえず一定の場所に保存されるだけでもありがたい． 僕のメモは全てこれに記載されています． 現在174ファイルありました．インストール~/howm へ…

Mac OS X の Carbon Emacs で migemo．migemoは日本語をローマ字でインクリメンタルサーチするためのツールです． これならアルファベット入力モードのままインクリメンタルサーチできます．cmigemo のインストールまずエンジンである cmigemo を入れます． …

ネタ元 (たたみラボ)

前から気になっていた todo.txt を使ってみました． コマンドラインによる TODO 管理ツールです．インストールダウンロードしてきて展開し，現れる .todo をhome直下に移動． todo.sh はどこかパスの通る場所に移動．.todo を編集し，TODO_DIR を適宜編集．…