必要に迫られて， Lightbox2 を使ってみました． 結構簡単にクールなスライドショーが作れます． <meta http-equiv="content-type" content="text/html;charset=euc-jp"/><script type="text/javascript" src="js/prototype.js"></script> <script type="text/javascript" src="js/scriptaculous.js?load=effects"></script> </meta>

ふとしたきっかけで LMNtal map関数のつもり． map(f, [1,2,3], result).f(X, R) :- R=X+1. map(f, [X|XS], R) :- YS=map(f, XS), f(X, Z), R=[Z|YS]. map(f, [], R) :- R=[]. 追記：コメントいただきました．汎用的な map はコメント参照．

ISelection には選択範囲情報が含まれないらしい． 完全に名前に騙された．正しくは ITextSelection から取得します． ITextSelection textSelection = (ITextSelection) ((ITextEditor)editor).getSelectionProvider().getSelection(); int startLine = tex…

screen の session はデフォルトでは(このデフォルトはコンパイル時に決まるとmanualに書いてあったが) /tmp/uscreens/S-xxx/ に保存される． これを変えるには $SCREENDIR という環境変数に保存したいディレクトリ名を入れておけばいいらしい．ただし，パー…