Digest 認証がうまくいかないと思ったら単にモジュールがロードされていないだけでした。デフォルトでロードされないのか。ちなみに Apache2 on Debian です。

コメント追加

投稿者 kw : 2009年8月8日 19:50:00 JST #

JavaScript プログラムにおいて変数やプロパティがどのオブジェクトを指す可能性があるか静的に解析する points-to 解析の論文。指す可能性のあるオブジェクトの集合間の関係を各構文要素に対して構築して解く。テクニックとしては 3 日前の論文と似ている。どの程度の精度でできているのかは不明。

author="Dongseok Jang and Kwang-Moo Choe",
title="{Points-to Analysis for JavaScript}",
booktitle="SAC 2009",
publisher="ACM Press",
pages="1930--1937",
year="2009"

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

コメント追加

投稿者 kw : 2009年8月7日 14:20:00 JST #

数学を育てた天才たち、Michael J. Bradley 著、松浦俊輔 訳、青土社

読了。

コメント追加

投稿者 kw : 2009年8月5日 21:53:00 JST #

例外を追跡する手法の提案。各構文要素に対してスローされる例外の集合と集合間の関係を定義する。やり方は結構素朴に見える。実装して評価までとってるみたいだけど、それほどストレートに実装できるようにはあまり見えない。

author="Byeong-Mo Chang and Jang-Wu Jo and Kwangkeun Yi and Kwang-Moo Choe",
title="{Interprocedural Exception Analysis for Java}",
booktitle="SAC 2001",
publisher="ACM Press",
pages="620--625",
year="2001"

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

コメント追加

投稿者 kw : 2009年8月4日 21:30:00 JST #

ノモンハン戦争、田中克彦 著、岩波新書

読了。

コメント追加

投稿者 kw : 2009年8月4日 10:15:00 JST #

→のカレンダーとかのフォントがおかしくなっていないでしょうか。今確認できる環境ではサイズが大きくなってはみ出てるけど、どこで何が起きたのやら。

(追記：2009/08/02 11:21) 別の環境だと大丈夫ですな。おかしくなったのは Mac + Firefox 3.0.12 だけど。

コメント追加

投稿者 kw : 2009年8月1日 17:54:00 JST #

普段の土曜日は休みだけど、今日はオープンキャンパスでやることがあったので出勤。一時間くらいしゃべってました。

コメント追加

投稿者 kw : 2009年8月1日 17:20:00 JST #