日々の流転

λ. 『委員長お手をどうぞ』, 山名 沢湖

を読んだ。ほのぼのしてていいですな。4コマ委員長(4)の「おリボンは　いざというとき　しおりにもなって便利です」に笑った。

λ. ジンギスカンキャラメル

決して不味くはないのだけど、すごい違和感だなぁ。誰が持ってきたのか知らないけどGJ!

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

型システムを使ってデータの機密性を保障しようというのは誰でも考えるアイディアだけれど、実用的なシステムを作るのは結構難しいのね。この論文でまず面白いと思ったのは、direct reader と indirect reader を区別していて、両者への情報流に対して別の制約を与えられる点。

それから、Non-interference Theorem も面白い。論理関係をセキュリティに応用する話は Logical Relations for Encryption にもあったな。

• YuichiTanakaの日記 : SLam Calculus

λ. モーニング・ブルーズを解消する賢い目覚まし

睡眠中の脳波を測定して、睡眠パターンを割り出し、最も眠りが浅くなった時にアラームが鳴る賢い目覚まし時計が発明された。

やべぇ。ちょー欲しいんだけど。