2012-02-01から1ヶ月間の記事一覧

Sound Predictive Race Detection in Polynomial Time

http://users.soe.ucsc.edu/~cormac/papers/popl12a.pdfあまりきちんと理解できてないけど、ざっと読みました。以下間違ってることが普通にあるかもしれません…さて、 race detector はむずかしいと思う。本質的に難しいっていうより、なんかあまり他と接点…

たのしいプログラミング

Google Code Jam Japan 2011 T シャツまわりのヨタ話をした時のスライドがここにあげてあったのを、書き忘れてました。http://shinh.skr.jp/slide/tanopro/000.htmlそういえばTシャツのページについて、「コードだけ書いて説明は他の人が書いたのかと思った…

第6回JVMソースコードリーディングの会

http://www3179ua.sakura.ne.jp/events/5130d540-436b-4b89-9d2d-1fa884b9625cキャンセルをキャンセルできなかったけど、とりあえず近いから行ってみたら参加できて良かった。Concurrent Mark and Sweep な話。 GC の仕組み自体はなんとなくわかった気になっ…

TLE

http://felicity.iiit.ac.in/tle/ranks2位。やや気合が入ってない感じだったものの、気合い入っててもこれはだめだったなーてくらいには kinaba さんに負けた感じでした。1日だけというのは、一度スピードゴルフみたいなのやってみたいな…とか思ってたのでど…

なにかあれば下記メールアドレスへ。
shinichiro.hamaji _at_ gmail.com
shinichiro.h