読了。

コメント追加

投稿者 kw : 2010年6月12日 22:46:00 JST #

お祝いごとで名古屋。それと某 S プロジェクトの話とか、その他の研究の話とか。やること、やりたいことはいろいろ出てくるけど、なかなか手が回らない。

コメント追加

投稿者 kw : 2010年6月11日 23:59:00 JST #

11:30 頃に Amazon で注文したら 14:00 過ぎに発送したよメールが来てた。在庫ありだし Amazon が早いのは知ってるけど、ここまで早かったかな。わりと長い間 wishlist に追加するだけになっていて、まとめて買おうとすると結構な額になるのが誤算で、今回はおとなしくちょっとだけ。

コメント追加

投稿者 kw : 2010年6月6日 22:00:00 JST #

タスクがいろいろ積み上がってるけどどうにもやる気にならないので現実逃避的にドライブへ。国道 24 号を南下して、葛城、太子、河南、和泉あたりの道の駅に寄りながら関空の対岸まで。帰りは泉南から高速道路。第二京阪道と近畿道が門真で接続したおかげで楽になってる。最近はドライブしても知ってる道だと結局考え事してリフレッシュになってなかったけど、今日は奈良から先は知らないところだったからリフレッシュできたかな。

コメント追加

投稿者 kw : 2010年5月29日 23:44:00 JST #

読了。

コメント追加

投稿者 kw : 2010年5月16日 13:12:00 JST #

Java プログラムに対し、新しい型と型間の半順序関係を定義してプログラム中に型を記述すれば後は型推論してくれるシステムの話。型付け規則は given なので、検査したいことをうまく書くことができれば型と関係の定義だけですむので楽。論文では例として、JNI プログラムにおいて Java と C で受け渡される整数を変な使い方をしないか検査するというのと、Javari ベースな不変性解析が挙げられている。もしかすると情報流解析の型システムもこの仕組みに載せられるかも。

author="David Greenfieldboyce and Jeffrey S. Foster",
title="{Type Qualifier Inference for Java}",
booktitle="OOPSLA '07",
publisher="ACM",
pages="321--336",
year="2007"

http://doi.acm.org/10.1145/1297105.1297051

コメント追加

投稿者 kw : 2010年5月14日 17:08:00 JST #

読了。

コメント追加

投稿者 kw : 2010年5月13日 21:44:00 JST #