Java の assert 文の使い方． assert expr; assert expr : message;の形で書くらしい．テスト． public class Test { public static void main(String[] args) { assert false; } }コンパイルは， $ javac -source 1.4 Test.javaassertion を有効にして実行…

某名古屋周辺 OCaml 勉強会で話題になったので SEND + MORE = MONEY を Prolog で解く．どういう問題かというといわゆる覆面算で， S E N D M O R E

引用： Mixi 「Ocaml使い」コミュニティ， 「OCamlで頭の体操」トピックより n円のお金を日本のコインで支払う組み合わせは何通りあるか計算する関数を作成せよ． 例： n = 5 の場合は，(5円コイン1枚，1円コイン5枚）の2通り n = 15 の場合は，次の6通り： …

Prolog で QuickSort． % qsort(L1, L2) : L1 をソートすると L2 になる qsort([], []). qsort([P|L], L2) :- partition(L, P, [X, Y]), qsort(X, L3), qsort(Y, L4), append(L3, [P|L4], L2).% partition(L, P, [X, Y]) : L をピボット P で分割すると X と…

yatex を使おうとすると Non-hex digit used for Unicode escape というメッセージが出て怒られる．これは yatexadd.el の以下の部分が問題らしい．(defvar YaTeX::usepackage-alist-default '(("version") ("plext") ("url") ("fancybox") ("pifont") ("lon…

Carbon Emacs を透過させるのは set-alpha でいいみたいです．(set-alpha 90) 最新版では，上記の方法で等価できなくなりました． 最新版では下記で透過できます． (modify-all-frames-parameters (list (cons 'alpha '(90 70 50 30))))

Carbon Emacs の最新版を使うと毎回，The local variables list in .emacs contains values that may not be safe (*) . Do you want to apply it ? You can type y -- to apply the local variables list. n -- to ignore the local variables list. ! -- t…

と怒られていたので古い Carbon Emacs を使い続ていたのですが，.emacs とかで早いうちに(add-to-list 'ignored-local-variables 'syntax)としておくと聞かれなくなります．良く分かっていないので試すのは自己責任で．

iframe対応ブラウザでご覧下さい。iframe対応ブラウザでご覧下さい。iframe対応ブラウザでご覧下さい。

$ hdiutil burn ISOファイル

クロスリファレンサです． Tomcat で動きます．Mac OS X 10.4.9 で実験してみました．コンパイルAnt の JFlex タスクが必要です． JFlex ここから落としてきて展開． lib/JFlex.jar を Ant 実行時のクラスパスが通るところに置きます．あとは， $ ant webapp…

いつのまにかアクティビティモニタが起動しなくなってました．ググったら一発で出て来ました． ビティモニタ (Activity Monitor) が起動しない 僕の場合はこれで直接できたのではなく，/Applications/Utilities/Activity Monitor.app/Contents/Resources/pmT…

/System/Library/CoreServices/Menu Extras/ 以下の hoge.menu をダブルクリック or $ open hoge.menuたとえば， $ open Eject.menuで CD ドライブのイジェクト機能が追加されます．