2007-10-07から1日間の記事一覧
Jasminをインストールして実験してみた。 .method public static main([Ljava/lang/String;)V .limit stack 3 getstatic java/lang/System/out Ljava/io/PrintStream; ldc 1 ldc 1 invokevirtual java/io/PrintStream/println(D)V return .end methodという…
tinapocというプロジェクトにJasminの逆アセンブラが含まれている。 http://sourceforge.net/projects/tinapoc 適当に展開して、次のようなシェルを書いてdejasminという名前で保存しておけば、 #!/bin/sh ROOT=~/lib/tinapoc-0.4/bin java -cp ${ROOT}/bcel…
次のようなプログラムを考える。 getstatic java/lang/System/out Ljava/io/PrintStream; checkcast java/lang/Object ldc 1 invokevirtual java/io/PrintStream/println(I)Vこれを実行すると、 $ java test Exception in thread "main" java.lang.VerifyErr…
[id:lethevert:20071004:p1]の本だけれど、10ページくらい読んだところで、どうにも証明が理解できなくて困っている。MTFが2-competitiveであることの証明なのだけれど。 原論文を探してみたら、http://www.cs.cmu.edu/~sleator/papers/Amortized-Efficiency…