SAFARI: A Meta-Tooling Platform for Creating Language-Specific IDEs

コメント追加

投稿者 kw : 2009年4月16日 18:41:00 JST #

なぜこの方程式は解けないか？、Mario Livio 著、斉藤隆央 訳、早川書房

読了。

コメント追加

投稿者 kw : 2009年4月16日 12:14:00 JST #

情報流解析でエラーが出た時にその原因箇所を容易に特定できるようにしました、という論文。制約条件間の依存関係を求めて、満たされなかった条件からさかのぼれば原因が見つけられる。対象は Jif。最近似たようなことを別の手法でやってるから比較対象かな。

author="Dave King and Trent Jaeger and Somesh Jha and Sanjit A. Seshia",
title="{Effective Blame for Information-Flow Violations}",
booktitle="Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of software engineering",
publisher="ACM",
pages="250--260",
year="2008"

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

コメント追加

投稿者 kw : 2009年4月15日 20:45:00 JST #

某アドレスで受信したメールの転送設定ができているつもりでできてなかったことに今日になって気付きました。それも「メール送ったはずですけど云々」な電話がきてから。2 週間くらい放っておいたことになってちょっとまずいメールもあったけど、まぁなんとか。というか、普段は別のアドレス使ってるんだから、あっちに送らないでほしいと個人的には思ったり。

コメント追加

投稿者 kw : 2009年4月14日 19:01:00 JST #

元ネタはわかるけど、なんだこれ。

http://d.hatena.ne.jp/yaneurao/20090412#p1

コメント追加

投稿者 kw : 2009年4月13日 20:59:00 JST #

昨日は車の 12 ヶ月点検ということで岐阜へ。点検自体は特に何事もなく終了。高速道路が結構混んでたとか、寝不足気味で眠かったとかはあったけど。帰りは日付が今日に変わるくらいに出発。125km を 2 時間半で帰れました。ほとんどノンストップだったし。

コメント追加

投稿者 kw : 2009年4月12日 12:32:00 JST #

A 草研の blog から論文以外の記事も 1 件を除いて移行しました。といっても 6 件しかなったですが。あとは、某所にいわゆる日記があるけど、こっちはどうしようか。ちょっと面倒そうだし。

コメント追加

投稿者 kw : 2009年4月9日 21:12:00 JST #