netail.net
自作フリーソフトや，ゲームに関する雑記を公開してます．
日記はソフトウェア工学の論文ネタが中心です．
最近のお知らせ (古いものはこちら)
2003-07-06 古い日記からの変換データ [長年日記] ▲
_ LotR ▲
エラッタ，FAQ によって更新されている部分を確認，反映．ルーリングセクション → エラッタ でかなり移動していた．
ひそかに，Warrior's Heart Edge が戦闘中の呪文にも適用できるので，魔術師のスタミナは意外と高く設定されることになりそう．実際，キャンペーンでは Tireless Edge で既にスタミナが10超えてる人がいるし，魔術師がパーティの中で一番スタミナがあるっていうのもどうかと思うけど．
_ 読書 ▲
Ken Arnold, James Gosling, David Holmes:プログラミング言語 Java 第３版，ピアソン・エデュケーションをちょっとだけ読んでみた．
新しい情報があったわけではなくて，StrictMath とか Process とか Locale とか存在自体を忘れてたクラスの存在を思い出したり，ソースコードで Unicode 文字が使えるとか，AccessibleObject （Field, Method などのスーパークラス）を使えばアクセス制御を無視したりできるんだ，とか微妙な情報がいっぱい載ってた．
でも，新しい情報がほとんどないということは，言語レベルではそれなりに Java に習熟してきたということなのだろう．もちろん，ライブラリのリファレンスは手放せないが．
_ 論文 ▲
次のネタ向けにピックアップした論文のうちのひとつを読む．Robert B. Findler, Mario Latendresse, Matthias Felleisen:"Behavioral Contracts and Behavioral Subtyping"出典は Foundations of Software Engineering (FSE 2001)で，Behavioral Subtyping を考慮して assertion をチェックしようという話．あるサブクラスが Bahavioral subtyping かどうか，というのはJava では記述できないので，そのあたりでは困っている様子．assertion の持っている問題を説明しているのでそのあたりで議論するときに refer するかも？
