http://www.nue.riec.tohoku.ac.jp/ppl2008/program.html より http://www.nue.riec.tohoku.ac.jp/ppl2008/proceedings/1-09.pdf 「漸進的型付け」というのはgradual typingのこと。Top Type(意味的には、全オブジェクトの具体クラスとして成り立つ型とでも…

探しにくいのでリンク Proceedings of the 29th international conference on Software Engineering 順に概要をチェックしてみる http://portal.acm.org/citation.cfm?id=1248820.1248834&coll=portal&dl=ACM&type=series&idx=SERIES402&part=series&WantTyp…

http://livedocs.adobe.com/flex/3/html/help.html?content=metadata_3.html#197532 ActionScriptのメタデータタグは、[Binding] var image;とかのように、言語要素につけることのできるカスタム属性。mxmlcでプリプロセスされ、コンパイラに埋め込まれたル…

http://d.hatena.ne.jp/bellbind/20080414/1208170498 のつづき Overview and Evaluation of Constraint Validation Approaches in Java Javaでのいろいろな制約検査アプローチの概要とその実装/メンテ/パフォーマンスでの評価。と発展アプローチの提案。 Ow…

アカウントのこってるし。 どうせfollowとかしないけど、なんとなくかきのこしたいことってあるんだなあと最近特におもった。

なんだろう。さっきからひじの痛みがひどくなっている。風呂で伸ばしすぎたか。

昨日まで東京ではTOKYO MXとテレ玉とチバテレビが一緒に出てたのに、今日からTOKYO MXしかでなくなった。今後はgooにしよう。 http://tv.goo.ne.jp/contents/epg/008/UHF-BSanalog_1/today_now/index.html

http://code.google.com/p/bellbind/ sourceforgeとかrubyforgeとかみたく別に審査があるわけではなく、フォームに入力してボタンをおせばすぐ作られる。

http://slashdot.jp/developers/08/04/01/0451222.shtml さすがにポインタの意味は覚えてるけど、Cでの構文、関数ポインタのtypedefとかsizeofとか忘れてた。 typedef int (*main_ptr)(int argc, char* argv[]); とか(引数の名前は無くてもいいがあってもい…