netail.net

_ Java ▲

新 I/O まわりの話は，JSR 203 などで議論されるらしい？51 も Final Release まで進んだのに65 が CAFE から進んでないあたりが怪しげではある．ちなみに，1.5 (Tiger) で加わるという噂のJSR #201: auto boxing あたりも進んでないのでこの辺はまだこれからなのかもしれない．

_ SDカード ▲

コンパクトフラッシュのデータ転送速度の実験を発見．これによると，IO-DATA の PCCF-ADP で400KB/s 程度らしい．ということは，SDカードの 2MB/s（CF-T1ではそれ以上は出ない）のほうが明らかに高速．512MB はまだ値段が高いようなので，256MB くらいで使ってみようか．

http://www.geocities.co.jp/Hollywood-Studio/3078/cf_speed.html

_ Java ▲

Java 1.5 に関して，http://itpro.nikkeibp.co.jp/free/NBY/NEWS/20030611/2/でスクリプト言語との連携機能（スクリプト言語からJava クラスを呼べるようにする機能）を作るって言っているが，これは Jython などと似たようなものなんだろうか？

それに加えて，printf も結局導入されるらしい．JSR 51 で printf を I/O に付けましょうと言っているが，Java では可変個数の引数は許されないのでformat("%s %s %s ", new Object[] { a, b, c} ); なんて書くのかなーと思っていたら，JSR 65 で format("%s %s %s ", { a, b, c} ); と書けるような，いわゆる「配列のリテラル」を提案していた．最近 JSR 自体見てなかったが，もうちょっと，ちゃんと調べておけばよかった．

静的型付けの言語ではどうしても配列の型がObject[] になってしまうのが弱点で，個人的にはList s = new List({a, b, c});とかいう表記が許されるようだったら嬉しい．無理かな．

_ SDカード ▲

SDカードの書き込み実効スループットを調べていたが，以下のURLを見る限りでは，だいたい 1MB/s ~ 10MB/s で分布しているらしい．ドライバにもかなり依存する様子．USB フラッシュよりは高速そうなので，値段さえ安ければバックアップデバイスとして使ってみたいところ．

http://www.hotwired.co.jp/news/news/technology/story/20030305304.html

http://buffalo.melcoinc.co.jp/products/catalog/item/r/rsdc/index.html

_ クイズ ▲

日経 ITPro の「コンピュータはなぜ動くのか」のクイズ２回目が掲載されていた．http://itpro.nikkeibp.co.jp/free/NSW/ITBASIC/20030612/1/

無事100点．ここで間違うと恥ずかしい，というプレッシャーがあるが，このサイト，企業の人向けに作っているが，情報系を専攻してる学生にやらせたら面白そうではある．平均点は普通の人よりどのくらい高くなるのだろうか．

_ [hyCalendar]0.7.8 リリース ▲

ドキュメント書き終えたので hyCalendar 0.7.8 リリース．ふー．

今回は，１日の予定をクリップボードにコピーするのと，TODOリストをコピーする機能だけ．ちょっとメニュー項目の名前は微妙だが．

_ ▲ この機能，きちんと mailto と組み合わせられるようにすれば[この日の予定をメールで送信]みたいなメニューも作れないことはない．

_ [hyCalendar]クリップボード機能強化 ▲

hyCalendar の新機能を実装．TODOリスト，日付に表示される予定（日付メモ＋期間予定＋...）をそれぞれクリップボードにコピーできるようになった．

メールなどで予定を他の人に見せたい人向け．というわけで，またマニュアル書きの仕事が発生．

_ [work] 論文集めとか ▲

ワークショップの存在ごと忘れていた IWPC の論文いくつかをリストに追加した．アサーションまわりの論文については一通り読み終えた気がする．PPL2005発表内容のうち，新規性のある部分というのは限定されたので，原稿の構成なんかは見直す必要がありそう．

_ [論文] コンポーネントに対するアサーション検査 ▲

G. T. Heineman: Integrating Interface Assertion Checkers into Component Models.

Proceedings of Sixth International Component-Based Software Engineering (CBSE) Workshop, Portland, Oregon, May 2003.

ラッパーオブジェクトなどでのアサーション検査では，コンポーネント内部のメソッド呼び出し（protected とか private メンバー）に対してアサーションの検査ができないので，active interface という AspectJ の before/after ＋ call pointcut のような仕組みを使って表明の検査を行おうと主張している．こういう仕組みを使うと，コンポーネント local の性質とアプリケーション定義の global な性質とを両方取り扱える，と述べている．

_ [論文] 時相論理で記述した表明のチェック ▲

Tanton H. Gibbs and Brian A. Malloy: Weaving Aspects into C++ Applications for Validation of Temporal Invariants.

Prooceedings of Conference on Software Maintenance and Reverse Engineering (CSMR 2003), Benevento, Italy, March 2003.

Edward B. Duffy, J. Paul Gibson, Brian A. Malloy: Applying the Decorator Pattern for Profiling Object-Oriented Software.

Proceedings of International Workshop on Program Comprehension (IWPC 2003), Portland, Oregon, May 2003.

時相論理で書いたアサーションを，アスペクトあるいは Decorator パターンを適用するプログラム変換で検証しましたという同じような論文．色々なプログラムに対するテストケースを実行して，パフォーマンスの効率を評価している．また，traditional なアサーションでは発見できないエラーが発見できたことを述べている．前者の論文のほうが，temporal invariants の説明が丁寧だった．

表明の表現力としては，enventually （注目しているクラスのインスタンスが破壊されるときまでに成立すればよい条件）が使えることが大きいと言えそう．

_ [近況] 授業課題に付き合うのこと ▲

建築コスト管理の勉強をしてる人の課題で，コスト管理ソフトウェアのユースケースから分析データモデル（クラス図）を作って設計プロセスモデル（シーケンス図とか）を作る，というのが出たらしい．その相談に付き合ってみた．四方山話を含めて夜９時に開始して２時間くらい．

FORTLAN をちょっと知ってるぐらい（コードを書いたことはない）という人なので，クラス図の概念は分かるけど，そこから詳細設計に落とすところで止まってしまっていた．

ソフトウェアの振る舞いを決めていく作業というのは，何をどういう順番で行っているのか，うまく説明できなかったので，これはちょっと，勉強し直さないといけないかもしれない．

ちなみに，スケジュールをちらっと見せてもらったら，１ヶ月で，帳票ベースの要求仕様を分析してユースケース書いて設計して実装までやるみたい．コンピュータサイエンスを専攻してる人間でも，これはけっこう大変では？

_ [近況] 携帯 機種変更 ▲

噂のセパレート携帯 F-04B にしてみました．これは，Bluetooth のキーボード＆音声通話用ユニットが裏に合体してるタッチパネル式端末だと思えば分かりやすいかもしれません．それぞれユニット単位では通常の端末より少し軽い気がするものの，両ユニットに電池を積んでるので，全体では重くなってます．

タッチパネル，テンキー，キーボードの全部が付いていること，ディスプレイとキーボードのどちらか一方あれば電話できること（通信そのものはディスプレイ側が担当ですが）が気に入ったポイントです．

_ [近況] 報告 ▲

私事ですが，先月，結婚しました．

何か所かでブロードキャストしてたのですっかり全員に伝達したつもりになっていましたが，そうでもなかったみたいなので，今更ながら，ここでも報告しときます．