アインシュタインの反乱と量子コンピュータ、佐藤文隆 著、京都大学学術出版会

読了。

コメント追加

投稿者 kw : 2009/06/25 21:30:00 JST #

50 Fresh JavaScript Tools That Will Improve Your Workflow

コメント追加

投稿者 kw : 2009/06/23 16:57:00 JST #

Ajax セキュリティ、Billy Hoffman, Bryan Sullivan 著、GIJOE 監訳、渡邉了介 訳、毎日コミュニケーションズ

読了。

コメント追加

投稿者 kw : 2009/06/22 10:41:00 JST #

C 言語のような単純なレキシカルスコープではなく、クラスやパッケージなどによるスコープを上手く扱うことができる構文解析系の話。処理の順序として、プログラムを上から順に処理するのではなくて外側から順に処理していく感じになる。論文を読むだけだとピンと来ないところもあるけど、何かに実際に応用してみてもいいかも。

author="神谷 年洋 and 石尾 隆 and 井上 克郎",
title="{プログラミング言語のスコープ階層を反映した構造化解析器}",
booktitle="DSW2004",
publisher="日本ソフトウェア科学会",
pages="159--168",
year="2004"

コメント追加

投稿者 kw : 2009/06/18 21:37:00 JST #

シルヴィアの量子力学、Silvia Arroyo Camejo 著、小谷正博 訳、岩波書店

読了。

コメント追加

投稿者 kw : 2009/06/17 19:28:00 JST #

宇宙論の危機、Michael D. Lemonick 著、小林健一郎 訳、講談社ブルーバックス

読了。

コメント追加

投稿者 kw : 2009/06/13 17:50:00 JST #

市県民税を納めました。結構な額だったけど分割にする理由がないので一括で。5,6 月は保険とか税金とか大きい支出がいろいろ。

コメント追加

投稿者 kw : 2009/06/12 22:24:00 JST #

科学が正しい理由、Roger G. Newton 著、松浦俊輔 訳、青土社

読了。

コメント追加

投稿者 kw : 2009/06/11 18:53:00 JST #

某処理系をあとで修正するためのメモ。面倒くさ…。

Latest topics > parseTemplate() の引数で渡すオブジェクトのプロパティをテンプレート内のコード片で普通の変数として参照したい
http://www.ssw.uni-linz.ac.at/Coco/Contributions/Any/unicode.txt

コメント追加

投稿者 kw : 2009/06/10 21:41:00 JST #

ライブラリも考慮して情報流解析の型推論をできるようにする、という論文。セキュリティレベルをパラメータ化したり、メソッドのシグネチャを取得する部分を工夫したり。これの元になってる論文はよく知ってるけど、順当な進化という感じ。ただ、型付け規則の細かいところまでは追いきれず。

author="Qi Sun and Anindya Banerjee and David A. Naumann",
title="{Modular and Constraint-Based Information Flow Inference for an Object-Oriented Language}",
booktitle="Proceedings of the Eleventh International Static Analysis Symposium",
publisher="Springer",
volume="3148",
series="LNCS",
pages="84--99",
year="2004"

コメント追加

投稿者 kw : 2009/06/01 19:44:00 JST #