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…

ABCコードは型がないので、これをJavaコードに起こすには型を推論しなければいけない。で、これが結構面倒くさい。 JavaコードではなくJasminを使えば、型の推論を回避できるだろうかと考えている。*1 ただ、Jasminのドキュメントはちょっと少ない。すでに絶…

モンテカルロ法の命令的プログラム まずは簡単な例を考えてみることにします。 プログラミング言語は当面pythonを使います。命令型も関数型も同じ言語を使います。これは、馴染のない純粋関数型言語を使わないで説明するということの他に、関数プログラミン…

Algorithms in C++ Part 5: Graph Algorithms作者: Robert Sedgewick出版社/メーカー: Addison-Wesley Professional発売日: 2001/12/27メディア: ペーパーバック クリック: 1回この商品を含むブログ (3件) を見る読みはじめは5/20（[id:lethevert:20070520:p…

[id:okamoto7:20071005:p2] 面白そ。

とりあえず目次を見ただけだけれど、面白そう。Online Computation Compet Analysis作者: Allan Borodin出版社/メーカー: Cambridge University Press発売日: 2008/08/21メディア: ペーパーバック購入: 1人 クリック: 47回この商品を含むブログ (9件) を見る

このあいだの記事の続きというか。ちょっと古い記事ですが[id:nobsun:20070417:FunctionalBrain]をみて考えたというか。 昔、[id:lethevert:20060329:p1]とか[id:succeed:20060331:1143826028]とかで議論にしたことですが、関数型で難しいのは、オブジェクト…

http://panasonic.co.jp/ism/tough/index.html かっこいいな