本
- アブダクション : 仮説と発見の論理
- 米盛, 裕二, 1931- 著
- 勁草書房
読了。アブダクションは演繹、帰納のどちらでもない第 3 の推論。「B である、A ならば B である、よって A は真らしい」という形。
Declarative Intraprocedural Flow Analysis of Java Source Code
Java のソースコードを対象に関数内制御フロー解析、関数内データフロー解析を拡張した属性文法によって宣言的に書きました、という論文。書けてるのはわかるけど、JastAdd の上に完全に乗っているせいか、裏側が見えなくて実装の参考にはならない感じ。
author="Emma Nilsson-Nymana and Görel Hedina and Eva Magnussona and Torbjörn Ekman",
title="{Declarative Intraprocedural Flow Analysis of Java Source Code}",
journal="ENTCS",
volume="238",
number="5",
pages="155--171",
year="2009"
Recency Types for Analyzing Scripting Languages
JavaScript みたいな言語を対象とした型システムの提案。主眼は変数に前とは違う型のデータが代入されてもどうかにするというところ。変数が指すオブジェクトが特定できる場合はそれを見て、特定できない場合はすべての可能性を考慮する、その境界がはっきりしている、という感じのはず。合ってるかな？
author="Phillip Heidegger and Peter Thiemann",
title="{Recency Types for Analyzing Scripting Languages}",
booktitle="ECOOP2010",
publisher="Springer",
volume="6183",
series="LNCS",
pages="200--224",
year="2010"
携帯電話
ソフトバンクは来年の 3 月一杯で第 2 世代が使えなくなるのでそろそろ機種変更かなと思ってたんですが、ちょうどバッテリが持たなくなってきてたところだったので機種変更してきました。料金プランからその他諸々まで大幅に変わるし、電話機も前のと同じメーカのにしたけどいろんなことが変わりすぎていて、もう何がなにやら。データも電話帳しか移しませんとか言われて、仕方ないとは思うものの他のデータはどうしたものか。とりあえず機種変してよかったのは薄くなったことか。
(追記：2009/12/13 15:09) 電話帳データは姓名を区別するみたいだけど、前の電話機は区別していなかったから移行時に姓名あわせて姓ということになっていて直すのが面倒…。
(追記：2009/12/14 00:19) 色がピアノブラックみたいな黒で指紋が目立つのはよくないなー。そのうち気にしなくなるんだろうけど。
5th edition
ECMAScript 5th edition が出てしまいました。某 S プロジェクトで ECMAScript とか JavaScript とかを対象にごにょごにょしてる身としては見ておきたいんだけど時間がない。