ことえりから ATOK にかわりました。が、まだ長文を入力するようなこともないのでどれくらい違うかはよくわかってません。ただ、短文でも変にイライラすることはほとんどなくなったかも。

コメント追加

投稿者 kw : 2009年7月28日 13:50:00 JST #

「空気」の研究、山本七平 著、文藝春秋

読了。

コメント追加

投稿者 kw : 2009年7月27日 12:52:00 JST #

腕時計買いました。2 年近く腕時計を持たずに携帯電話だけだったのがようやく終了。買おうと思ってからも長かったけど。買うときに気付いたけど昔から細かった腕がさらに細くなってるような気がしてちょっと微妙な感じ。

コメント追加

投稿者 kw : 2009年7月26日 23:52:00 JST #

object immutability と reference immutability を Java の generics を使って実現する方法の提案。不変性を表すために Immutable, Mutable, ReadOnly の 3 つの要素を用意し、一種のクラスのように扱う。正しいプログラムのためのルールを定義し、型システムとして定式化。mutable reference は mutable object を指すことと immutable reference は immutalbe object を指すことに対して健全であることを証明。

author="Yoav Zibin and Alex Potanin and Mahmood Ali and Shay Artzi and Adam Kie{\.z}un and Michael D. Ernst",
title="{Object and Reference Immutability using Java Generics}",
booktitle="ESEC/FSE 2007",
publisher="ACM Press",
pages="75--84",
year="2007"

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

実装とか

コメント追加

投稿者 kw : 2009年7月23日 12:43:00 JST #

物理と数学の不思議な関係、Malcolm E. Lines 著、青木薫 訳、三田出版会

読了。

コメント追加

投稿者 kw : 2009年7月23日 11:52:00 JST #

イノベーションの経済学

コメント追加

投稿者 kw : 2009年7月21日 19:32:00 JST #

前読んだ論文の発展版。同一関数内に複数型エラーがある場合に対応したり、評価したり、C++ に応用したりしている。

author="Benjamin S. Lerner and Matthew Flower and Dan Grossman and Craig Chambers",
title="{Searching for Type-Error Messages}",
booktitle="PLDI 2007",
publisher="ACM Press",
pages="425--434",
year="2007"

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

コメント追加

投稿者 kw : 2009年7月21日 17:26:00 JST #