<< 12月 2009 | ホーム | 2月 2010 >>

アップグレード

自宅サーバは Debian の etch だったけど、もうすぐセキュリティサポートが終わるということで lenny にアップグレード。特に変わったことはやっていないのでドキュメントに従って作業して終了。ざっと確認した限りでは問題なく動いてるから大丈夫かな。

タグ :

Security Types Preserving Compilation

手続き呼び出しの書ける低レベル言語を対象に非干渉性に関して健全な情報流解析のための型システムを提案。さらに情報流解析のための型システムによって型付け可能な高レベル言語から型付け可能な低レベル言語へのコンパイルを定義。

author="Gilles Barthe and Tamara Rezk and Amitabh Basu",
title="{Security Types Preserving Compilation}",
journal="Computer Languages, Systems and Structures",
volumn="33",
number="2",
pages="35--59",
year="2007"

http://dx.doi.org/10.1016/j.cl.2005.05.002

タグ : ,

No Image

読了。

タグ :

Union Types for Object-Oriented Programming

union type の提案。union type は 2 つのクラスの同じ名前のメンバに関しては区別なく扱えるような型のこと。S と T の union type を (S or T) と書くことにして、D1 と D2 が C を継承して E1 が D1 を、E2 が D2 を継承しているとすると、E1 と E2 は (E1 or E2) の subtype で、D1, D2, (E1 or E2) は (D1 or D2) の subtype で、(D1 or D2) は C の subtype となる。あと、union type な式に対して具体的な値の型で分岐する case 文を導入。意味論と型付け規則を定義して健全性を証明。

author="Atsushi Igarashi and Hideshi Nagira",
title="{Union Types for Object-Oriented Programming}",
booktitle="SAC '06",
publisher="ACM",
pages="1435--1441",
year="2006"

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

タグ : ,

emobile

別に emobile を契約したとかいう話ではなくて、今住んでる建物の屋上に emobile の基地局が来るみたいです。21 日から工事らしい。だからといって何かあるわけではないですが。

タグ :

No Image
  • 徳川家康
  • 山本, 七平, 1921-1991,山本, 七平, 1921-1991 著
  • 文藝春秋

読了。

タグ :

No Image

読了。

タグ :

コピー

この前の春頃までメインで使っていたノート PC のデータを別の HDD にコピー。13.5GB くらいでファイル数が 23 万弱だったけど、6 時間半かかりました。あと、デスクトップ PC も古い方から新しい方へいろいろと移行。

タグ :

No Image

ようやく読了。買ったのは出版されてすぐだったから 2 年たってる。

タグ :

Solid Code、Donis Marshall, John Bruno 著、株式会社 日本ユニテック 訳、日経BP ソフトプレス

ようやく読了。

タグ :

No Image

読了。

タグ :

ワイパー

どうにも拭き具合がよくなかったのでワイパーを交換。どうやら一年以上交換していなかったみたい。

タグ :

Cygwin

Cygwin で unison を入れようとしたらついでに Cygwin 自体が 1.7 になりました。で、ターミナルエミュレータの ck が起動しなくなりました。困ったなーと思ったけど 1.7 用の ck を公開してる人がいて助かりました。感謝。

http://www.geocities.jp/meir000/ck/index.html

タグ :

Office 2003

Office 2003 をインストールするとどこかのドライブに作られる MSOCache という隠しフォルダは移動できるらしいということでやってみました。やるのは簡単で LISTool てのを使って移動先のドライブを指定するだけ。これでエクスプローラで薄く表示されるのを気にしなくてもよくなりました。Office 2007 の場合は Office をインストールしたドライブに作られて、消したり移動したりできないらしいですが。

タグ :

No Image

読了。

タグ :

新年

あけました。今年もよろしくお願いいたします。

タグ :