ビッグバン宇宙論（上・下）、Simon Singh 著、青木薫 訳、新潮社

読了。

コメント追加

投稿者 kw : 2009年4月20日 16:55:00 JST #

立ち上がらなくなったノート PC ですが何とか復活しました。いろいろやったので本当の原因はよくわかりません。とりあえず思ったのは、この PC にこれ以上お金かけるくらいなら新しいのを買ってもいいかもってこと。仕事は基本的に MacBook に移行してるからいいけど予備的にもう一台ほしいし。ネックは使ってる通信カードが CF なことだけど、これも emobile とかにすればどうにかなるのかも。

コメント追加

投稿者 kw : 2009年4月18日 22:05:00 JST #

申請書が送られてきました。銀行に振り込まれるみたい。

コメント追加

投稿者 kw : 2009年4月18日 21:26:00 JST #

ノート PC の Web ブラウザに覚えさせていたいろいろな ID やパスワードを探すのに一苦労。必要になったものは今のところ全部見つかってるけど、そのうち見つからないのとか出てきそう。

コメント追加

投稿者 kw : 2009年4月18日 10:47:00 JST #

型システムによる情報流解析のエラーをわかりやすくしようという論文。アプローチは、制約条件の集合が充足可能か求めるアルゴリズムの工夫。各変数の機密度の初期値をボトムにして必要なだけ引き上げるけど、引き上げる時に影響した変数を記録しておいて、失敗したらその変数が原因だとみなす。アルゴリズムの健全性と完全性を示して、あとは例。

author="Zhenyue Deng and Geoffrey Smith",
title="{Type Inference and Informative Error Reporting for Secure Information Flow}",
booktitle="ACM-SE 44",
publisher="ACM",
pages="543--548",
year="2006"

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

コメント追加

投稿者 kw : 2009年4月17日 20:37:00 JST #

「知」の欺瞞、Alan Sokal, Jean Bricmont 著、田崎晴明、大野克嗣、堀茂樹 訳、岩波書店

読了。

コメント追加

投稿者 kw : 2009年4月17日 1:11:00 JST #

Jif 向けの IDE の提案。IDE としてやるべきことはいろいろあるけれど、まずは情報流解析でエラーが出た時の対処から。一番の問題はエラーメッセージがわかりにくく、原因箇所の特定が難しいことなのでそれをどうにかする。Eclipse にのっていろいろな情報を出したり Quick Fix できるようにしたり。Quick Fix はセキュリティラベルの変更や declassification の挿入など。

author="Boniface Hicks and Dave King and Patrick McDaniel",
title="{Jifclipse: Development Tools for Security-Typed Languages}",
booktitle="PLAS 2007",
publisher="ACM",
pages="1--10",
year="2007"

http://doi.acm.org/10.1145/1255329.1255331
Jifclipse

コメント追加

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