<< 9月 2009 | ホーム | 11月 2009 >>

健康診断

今日は健康診断。時間はちょっとかかったけど特に何事もなく終了。珍しく血圧測定が一回で済みました。採血の時に血管が見つからないのもいつも通り。朝食抜きなのがきつかった。

タグ :

風邪その3

鼻と咽喉が治らずいまだに微妙な感じ。鼻が詰まるとびっくりするくらい集中できないので、プログラム書いたりとか型システム考えたりとかできません。早く治ってほしい。

タグ :

No Image

読了。

タグ :

風邪その2

金曜日はミーティングがあって京都まで出たけど終わったらさっさと帰って就寝。土日もほとんど布団の中で過ごして動く気になる程度には快復。

タグ :

風邪

風邪ひいたっぽいです。金曜日が一番しんどいのに。土日はおとなしくしてよう。ちなみに来週は年に一回の健康診断。

タグ :

めも

VisualVM

タグ :

Static Type Inference for Ruby

Ruby の型推論の話。Ruby にはどんな型があるというのが 3 ページくらい続いて、推論は制約ベースでやるというのが 30 行くらい。メタプログラミング的なところは非対応。実装して実験もしてるみたいだけど、30 行じゃなくてもうちょっと書いて欲しいかも。

author="Michael Furr and Jong-hoon (David) An and Jeffrey S. Foster and Michael Hicks",
title="{Static Type Inference for Ruby}",
booktitle="SAC 2009",
publisher="ACM Press",
pages="1859--186",
year="2009"

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

タグ : ,

No Image

読了。

タグ :

Analysis of Imperative XML Programs

同じ XPath を何度も評価したり、同じツリーを何度もトラバースしたりしていないか解析する手法の提案。どんな XPath を評価したかということを型情報とし、制御フローを考慮した型システムとして定式化。

author="Michael G. Burke and Igor Peshansky and Mukund Raghavachari and Christoph Reichenbach",
title="{Analysis of Imperative XML Programs}",
booktitle="DBPL 2007",
publisher="Springer",
volume="4797",
series="LNCS",
pages="216--230",
year="2007"

タグ : ,

No Image
  • 帝王学
  • 山本, 七平, 1921-1991 著
  • 文芸春秋

読了。

タグ :

No Image

読了。

タグ :

削除

ディレクトリを消そうとしてその親ディレクトリを消しかけました。というか、消そうと思ったディレクトリと一緒に横に並んでいたディレクトリが半分くらい消えました。その手のソフトを使って復活させましたが。Vista になってエクスプローラの挙動が変わったのか、ディレクトリを戻ったときに期待したところにフォーカスがないような気がする。

タグ :

No Image

読了。

タグ :