netail.net
自作フリーソフトや，ゲームに関する雑記を公開してます．
日記はソフトウェア工学の論文ネタが中心です．
最近のお知らせ (古いものはこちら)
2002-07-06 古い日記からの変換データ ▲
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 するかも？
2004-07-06 古い日記からの変換データ ▲
2005-07-06 ▲
_ CfP いろいろ ▲
何か10月に固まってるような気が．
情報処理学会のプログラミング研究会(SIGPRO)10月11〜12日＠群馬，発表申し込み締め切りが平成17年8月12日(金)，原稿はその１ヵ月後．
電子情報通信学会のソフトウェアサイエンス研究会(SIGSS)が，10月13〜14日＠埼玉．発表申し込みが8月15日まで，原稿はだいたいその１ヵ月後．
情報処理学会SIGSE主催の組み込みソフトウェアシンポジウムが10月17〜19日＠日本科学未来館で，投稿締め切りが7月15日(金)．
日本ソフトウェア科学会 ソフトウェア工学の基礎ワークショップ(FOSE)だけ11月10〜12日開催＠仙台．こちらは論文は既に締め切られている．
