2006-08-01から1ヶ月間の記事一覧

Finding Frequent Items in Data Streams - Charikar, Chen, Farach-Colton (2002)

http://citeseer.ist.psu.edu/charikar02finding.html 頻度の近似計算?

川o・-・)<2nd life - zsh + screen で端末に表示されてる文字列を補完する

http://d.hatena.ne.jp/secondlife/20060108/1136650653 emacs での M-/ が zsh でできる。 # dabbrev HARDCOPYFILE=$HOME/tmp/screen-hardcopy touch $HARDCOPYFILE dabbrev-complete () { local reply lines=80 # 80行分 screen -X eval "hardcopy -h $HAR…

Log4J徹底解説〜目次

http://www.nurs.or.jp/~sug/soft/log4j/index.htm log4j と annotation の連携は面白いかも。

NewsForge | Syllable -- A different open source OS

http://os.newsforge.com/article.pl?sid=06/08/09/1637214&from=rss Yet another POSIX OS 「起動が爆速」らしい。

Scalable programming in scala

2006年1月の発表

Java モニタリング

JDK 5.0 の場合、 java -Dcom.sun.management.jmxremote というオプションつきでプログラムを起動すると、 jconsole からそのプログラムの使用メモリ量などの状態が見れる。Java SE 6 Mustang じゃじゃ馬ならし Heap

プログラミングの教科書的なもの

Essentials of Programming Languages Types and Programming Languages の Piece 先生おすすめの。 2ch Books Program - Lisp/SchemeではSICPの次に、とか言われている。

Tree of Life Web Project

http://tolweb.org/tree/ via tree - Google Search

名づけのない再帰 fixed-point combinator

p.65 Types and Programming Languages より。afact は、引数に階乗関数を渡されたとき階乗関数になる関数。 つまり、階乗関数に適用すると階乗関数が帰ってくる関数。 #! /usr/bin/env perl use strict; use warnings; use integer; my $afact = sub { my $…

Javassist 3.1とjavaagentでmemorization

http://d.hatena.ne.jp/bellbind/20050903/p2 Java で eval な javassist と、 クラス・メソッド・フィールドの修飾子をユーザー定義できる annotation を利用して、 副作用のないメソッド(値の変換のための関数)なら いつも使える修飾子 @memorize を提供す…

tuneapp

http://www.geocities.co.jp/siliconvalley-sunnyvale/9990/ via Script Laboratory [メモ:Windows2000 / XPのカスタマイズ]

Fall 2005 Statistics (Jim Pitman)

http://bibserver.berkeley.edu/205/lec_hwk.html 伊庭先生おすすめの 確率論講義ノートがあるページ。 Pitman 先生です。

Cygwin rebase

unable to remap xxx to same address as parent(0xDF0000) != 0xE00000 とか出たときには、Cygwin のプログラムを全部落として(cygrunservとかも)、 /usr/bin/rebaseall tetraの外部記憶箱 - rebase問題

実行時間と使用メモリ量の測定

現在、time コマンドと memusage コマンドを使って測定している。どちらも time memusage のように実行すると、 を実行すると同時に測定をして、 最後に結果を出力する。少し問題なのは、 memusage は LD_PRELOAD=/lib/libmemusage.so としてしか使えない場…

Higher-Order Functional Programming with XSLT 2.0 and FXSL

http://www.idealliance.org/papers/extreme/proceedings/html/2006/novatchev01/eml2006novatchev01.html XSLT は関数型プログラミングをサポートしたらしい。

utf-8 で保存すると、三点リーダなどの記号が豆腐になる

変になった文字にカーソルを合わせて M-x describe-char とすると、その文字の所属している(と判定された)文字集合が分かる。 mule-unicode-0100-24ff と出たら、 日本語の文字集合として判定されていない。ローカル文字集合からUCSへは一意に変換できるが…

memusage

time コマンドに相当するようなもの。 http://turing.ubishops.ca/home/csc218/node5.html glibc に付いてくるらしいが、gentoo のパッケージではインストールされないらしい。 スクリプトなので、glibc-2.3.6/malloc/memusage.sh から取り出すとか、 どこか…

Error-Correcting Output Coding for Text Classification - Berger (1999)

http://citeseer.ist.psu.edu/8956.html 2値分類器を合わせて多値分類。まず、ラベルにビット列を適当に(?)割り当てて、 ラベル集合を等長符号化する。 訓練サンプルについているラベルの符号の i ビット目を正解として、 第 i 番目の2値分類器を訓練する…

ジェネリック -- Java vs C#

http://homepage2.nifty.com/magicant/programmingmemo/genericsjavavscs.html C# は型引数の数だけクラスを展開し、 そのバイトコードを生成するので、実行時に型引数の情報が残る。 Java は型引数の一致をコンパイル時に判定するが、 バイトコートは型引数…

typedef を代替するトリック

ジェネリックメソッドの型推論を使う。 http://www-06.ibm.com/jp/developerworks/java/060310/j_j-jtp02216.shtml?ca=drs- public static Map newHashMap() { return new HashMap(); }これを使えば、型パラメーターを2度入力することを安全に回避することが…

ANSI C の main() 代替となる main メソッドのシグネチャ

public static void main(String... args) 何がうれしいかというと、 main を別のメソッドから呼ぶとき、長さ0の引数 main(); で呼べるということ。もともと書けていた main(new String{}); main(new String{"a", "b"}); でも呼べるし、長さ1以上の引数リス…

リストのリストを型推論

List> ll = new ArrayList>(); というステートメントには、型が多すぎる。 public class ListFactory { public static<T> List<T> newInstance(T x, int ncopy) { return new ArrayList<T>(Collections.nCopies(ncopy, x)); } public static<T> List<T> newInstance() { ret</t></t></t></t></t>…

From Suffix Trees to Suffix Vectors

http://www.stringology.org/event/2005/p3.html Suffix Vector 、その後。 ぱっと見では、Review の性格が強そう。

C++ for Java Programmers - Google Search

http://www.google.com/search?q=c%2b%2b+for+java+programmers これらのドキュメントはだいたい、 Java プログラマが C++ で書けるようになることを目標にしている。 書くのは、大体、逐語訳で書ける。 C++の方が多くの構文を持っているので。# interface …

Karetta|JavaプログラマのためのC言語入門

http://karetta.jp/book-cover/cforjava Q.クラスが無いのにどうやってプログラミングするのですか? Q.VMが無いのになぜ動くのですか?

nonlinear optimization software list

pure C++ OPT++ An Object-Oriented Nonlinear Optimization Library リンク集 Kaisa Miettinen - Links IpOpt ちょっと古いけど、サーベイ Nonlinear Programming Algorithms for Large Nonlinear Gasoline Blending Problems

SRILM

lm

2002年にリリースされた言語モデリングのためのツール。 ファイルレベルでは ARPA 形式互換。 コマンドレベルの CMU との互換性はなし。 # CMUと同時にインストールできるので、むしろ都合が良いかもPalmkit とか CMU-Cambridge とか [2006-07-10-4]って、 …

Discrete Optimization Methods in Computer Vision

2005年のCVPRのチュートリアル。 http://palantir.swarthmore.edu/cvpr05/blurbs.htm#tut3 イントロ 動的計画 グラフVision やってる人は、絵の使い方がうまいのかな。

STUDIO KAMADA

http://homepage2.nifty.com/m_kamada/ JavaScript と、力学シミュレーション。 多倍長演算とか素因数分解とかのピンポイントの効率的実装などがみもの。

Artifact

http://en.wikipedia.org/wiki/artifact って「人工物」ぢゃあないのですか。 # もちろん colorless permanent でもない自然科学では、 any perceived distortion or other data error caused by the instrument of observation 要するに「人災としての誤差…