netail.net

自作フリーソフトや，ゲームに関する雑記を公開してます．
日記はソフトウェア工学の論文ネタが中心です．

2003-10-17 古い日記からの変換データ ▲

Nevin Heintze, Jon G. Riecke:The SLam Calculus: Programming with Secrecy and Integrity

情報流(Information Flow)解析の論文．Direct Read, Indirect Read というのを区別して，変数ごとの，いわゆるセキュリティクラスをどうやって求めていくかを示している．

今のところ厳密な情報流解析は使わないのだけど，使うことになったらこのあたりを参考にすることになるかもしれない．

ドレスコードの見本(?) http://www.venus-cruise.co.jp/dress.html

"フォーマル" な場所は行く機会なさそうだ．

ウィルス関連の雑学？クイズ．http://itpro.nikkeibp.co.jp/free/ITPro/ITBASIC/20031015/1/

ウィルスの名前なんて興味がないから苦戦したが，Q.6, 7, 9, 10 だけは何とか正解．40点で低いなー，と思っていたら平均は27点．88人中8位だった．

神戸ポートアイランドにあるUCCのコーヒー博物館まで出かける．１階にある喫茶店が，トルコ風コーヒーなど変わったものも扱っていて面白い．

羽田空港で着陸用設備がトラブル起こしてたとかで，一時間以上遅れて会場に着いてみれば，一番無難に飛行船を飛ばしたグループだけ見られなかった．けれど，昨年に比べると，みんなちゃんと飛ぶようになってたので，わりと面白かった．