netail.net

_ ぶどう ▲

凍らせてシャーベットにした巨峰を食べる．けっこう美味しい．少し溶けてくると皮がさらっと剥けるし．

関係ないけど，部屋の隅に転がっていたピオーネの箱に「黒い真珠」と書いてあるのを見て，イースI・IIを思い浮かべてしまった私．

_ ファミコン ▲

famiget.com の宣伝メールが届いてた．ひそかに内税表記になってたりとか，品揃えとか，少しずつ良くなってるような気はする．http://www.famiget.com/

_ Calendar ▲

"?" が URL として認識されていなかった．URL として認識する文字列セットに入れ忘れていたらしい．ってことで hyCalendar 0.6.1 リリース．

_ Calendar ▲

hyCalendar 0.6.2 実行ファイルのみ公開．0.6.2 のドキュメントも完成しだい，アップロードの予定．

0.6.3 の準備が着々と進む．http://homepage2.nifty.com/Mr_XRAY/index.htmの Preview コンポーネントを使わせていただくことにした．Metacanvas がミリメートル単位で設定されているのはいいけど，SelectClipRgn でクリッピングするときの座標がデバイス単位（いわゆるピクセル）で設定する必要があってはまってしまったが，その他はわりと順調．

_ お菓子 ▲

お土産として，伊賀の里 モクモク手づくりファームのクッキーをいただいた．

きなこ，かぼちゃ，落花生，ゴマのクッキーの詰め合わせ．かなり美味しい．コーヒーとか紅茶によくあいそう．

_ ゴールドもみじ ▲

お土産に買ったのだけど．反応するのは広島の人だけ :-)

これで検索すると，しし座流星群の話や広島県人チェックが見つかる．

_ 掲示板 ▲

掲示板をアップデート．掲示板

こっちの日記側で作ったコードを反映した．パスワードとか使わない分，コードは簡略化されているが．

_ Calendar ▲

hyCalendar 0.6.2 アーカイブようやく公開．EXE ができてもそこからドキュメント更新するのがけっこう大変．

もともと 0.6.2 の予定だった印刷プレビューの実装を早いとこリリースしてしまいたい．

プレビューコンポーネント plPrev はメタファイルベースなせいか，プレビュー結果を印刷すると結果が違うんですけど……．やっぱり印刷時はきちんと Printer に描くべきということらしい．

_ 基礎工 ▲

基礎工学部に「なんでも相談室」というのができたらしい．……どのくらい効果があるのかは謎だけど．http://www.es.osaka-u.ac.jp/sch/life/nandemo.html

_ Calendar ▲

hyCalendar 0.6.3 リリース．ようやく印刷プレビューに対応した．やっぱり印刷前に見られるのは便利．

プライベートな情報だけをフィルタして仕事用カレンダーだけを印刷したりとかができたら面白いのかも？と思い始めてきたが，それよりは複数のファイルを重ねて表示するほうが簡単なのかもしれない．

_ 紅茶 ▲

レピシエでアッサム・モカルバリイーストを購入．なんかキャンペーン中らしくて試飲用？のバニラティー一杯分のパックをもらった．

_ Calendar ▲

印刷・プレビュー時の点線の接続問題もおおむね解決．結局，「24 x デバイス解像度」で点線のループが確実に一周する様子なのでそれをベースに算出することにした．

3600dpiなどでは横線をいっぱい引くのでちょっと重い．1200dpiくらいなら十分？というところ．

_ バトルテック ▲

Technical Readout 3025 を注文した．

_ 論文 ▲

Suhaimi Ibrahim, Norbik Bashah Idris, Aziz Deraman:Case study: Reconnaissance techniques to support feature location using RECON2.Proceedings of APSEC 2003.

プログラムのあるフィーチャーを含むような，プログラム実行テストケースを "Y" テストケース，含まないようなテストケースを "N" テストケースとして，それらの実行経過の差分を取り出すことでフィーチャーがどこに実装されているかを調べようというものらしい．

ユーザは，テストケースを作り，それを Y/N に分類しておく必要がある．

ケーススタディの結果，そんなにテストケースの個数はいらないが注意深く選んである必要はあるらしい．この手法は，どんな機能があるか，ある程度知っている状態でならプログラムのどこに，その機能が実装しているかを示すのはやりやすい．

弱点は，テストケースが実行できなければならないので，テストケースとして表現しにくい機能ほど見つけにくい．

ちなみに，「部分的な理解だけでもそれなりに保守はできる」ということは既に以下の論文でいわれているらしい．Lakotia, A., "Understanding someone else's code: Analysis of experience", Journal of System and Software,1993, Vol.23, pp.269-275.

_ 論文 ▲

Hiralal Agrawal, Richard A. DeMillo and Eugene H. Spafford:Debugging with Dynamic Slicing and Backtracking.Software Practice and Experience, Vol. 23(6), pp.589-616, June 1993. 動的スライスを使えるような環境を GDB ベースで作って，それに加えてバックトラック（「一ステップ前に戻る」）を実装したような環境を作ってみた，という論文． ある地点でブレークして，値がおかしいから動的スライスで前のほうへ戻って原因を調べていく，というもの．いちおうデータのみ，制御のみ，それぞれに注目したスライスも取れるようにしたりとか工夫されていて，成功したテストケースと失敗したテストケースでのスライスの違いなどが役立つだろう，と言っている． プログラムスライスや実行バックトラッキングの限界として，次のようなものを挙げている．

• 複数回同じ行が実行されたことを，スライスは明示してくれない．　（せっかく動的スライスでも，見た目はソースコードだから）
• スライスは「何が影響しているか」は教えてくれるが，そこから「どの制御あるいはデータが間違ったか」という原因に立ち戻るにはやはりかなりの苦労が必要である．
• 実行のバックトラックは，システムに対する副作用があるとそこで戻れなくなってしまうので「部分的」バックトラッキングで我慢するか，再実行する仕組みのほうが良いかもしれない．

プログラムスライスも見せ方と使い方が重要，というところではこの論文を引用することになりそう．

_ 論文 ▲

Andreas Zeller: Yesterday, my program worked.Today, it does not. Why?, Proceedings of 7th ESEC/FSE 1999

ベースライン（既存プログラム）に対する変更の集合 C を考える．test(x) は テスト結果 PASS, Failure, Unresolved を返す．

ある日，プログラムが動かなくなる: (test(φ) = PASS) ∧ test(C) = FAIL )

変更集合 C を適当に組み替えて（バージョン管理ツールなどを使って），どの変更でプログラムが動かなくなったかを調べる．

このとき，変更は [単調] である．∀c ⊆ C (test (c) = FAIL --> ∀ c' ⊇ c ( test(C') != PASS ) )

この変形で，うまくいっている変更の部分集合だけを取り出しても，テストは失敗しない．∀c ⊆ C (test (c) = PASS --> ∀ c' ⊆ c ( test(C') != FAIL ) )（一時的に実行不能になっている場合もあるかもしれないが）

で，失敗してる構成同士を組み合わせても意味がなくて，∀c1, c2 ⊆ C ( test(c1) = FAIL ∧ test(c2) = FAIL --> test(c1∩c2) != PASS )

どんなテスト組み合わせでも未解決のテストが出ない状態を，[一貫した] 状態であるという．∀c ⊆ C ( test(c) != Unresolved )

…ということを利用すると，変更単位が自動で扱えるなら，自動で，どの変更がバグの原因かを示せる．

変更 8個あれば 4個ずつでテストを実行し，失敗したものについてはさらに２分してどちらが失敗しているか（あるいは両方失敗しているか），さらに失敗したものについて２分して……としていくことで，失敗するテストを判定する．成功したもの同士は今度はくっつけてテストを実行して，組み合わせることによって成功するものはどれか，というのを調べる．たとえば，1-4, 5-8 がそれぞれ成功したとして，3-8 がテスト失敗したなら 3 + 5-8 と 4+ 5-8 でテストして，……というように組み合わせを自動で探索する．

テストを効率よくグループ化するために，プログラムの変更に対してプログラムスライスをとって共有ノードがあるかどうか，といったことでその変更が相互に影響するかどうかを調べたらいいなぁ，なんてことを将来の課題として説明している．

_ 論文 ▲

Katharina Mehner:JaVis: A UML-Based Visualization and Debugging Environment for Concurrent Java Programs.Software Visualization, LNCS 2269, pp.163-175, 2002.

実行トレースから UML のシーケンス図を生成して，その上にデッドロック情報を乗せる．デッドロック検出アルゴリズムは既存だし，シーケンス図を作ること自体は今のところ力技のようなので，新規というわけではないが，あると便利そう，というところ．

シーケンス図を作る，というところで，Visualizing the Execution of Java Programs の筆者らが「スケーラビリティがないので実際には使いにくい」という主張をするのは仕方がないところかも．

_ 論文 ▲

Wim De Pauw, Erik Jensen, Nick Mitchell, Gary Sevitsky,John Vlissides, and Jeaha Yang:Visualizing the Execution of Java Programs.Software Visualization, LNCS 2269, pp.151-162, 2002.

Java のプログラム実行時情報を可視化するJinsight というツールを紹介した論文．

オブジェクトのインスタンス数・呼び出し数・消費メモリ量・実行時間を見る Histogram View，呼び出し・参照関係をツリー状に表現して，枝にその参照が何回ずつ起こっているかを表す Reference Pattern View，オブジェクトを「世代」にグループ化することで行うメモリリーク分析（「捨てられるべき」オブジェクトグループへの参照を誰かがこっそり保持していないか調べる），プロファイラ結果を図示する Execution View，呼び出し回数の比率を示す Call Tree View がある．

Execution View は，全部のメソッド呼び出し関係を図示するようで，かなり見づらいが，150万行程度の実行履歴でもちゃんと表示できているあたりは，かなりがんばっている．

主にメモリおよび実行性能上の問題に対処することが目的らしいので，このあたりで十分なのだろう．なんとなくだが，Eclipse の Java プロファイラツールで使われているビューに似ている気がする．IBM の人たちだし．

関連研究としては，・情報をいかに減らすか（適当な単位で分割するなど）・いかに探すか（クエリーベースの探索ツールなど）があげられる．UML で並列性の問題を可視化するツールなどもあるようだがスケーラビリティの問題が大きい，とも述べている．また，一般的な情報表示よりは，特定のタスクに絞って便利な情報を提供するツールのほうが良い，とも述べている．

_ 紅茶 ▲

レピシエでもらったバニラティー１杯ぶんを淹れて飲む．濃いめに淹れてミルクティーにする，という方針で間違いなし．最近，ミルクを多めに入れるタイプのミルクティーがメインになってきた感がある．

単に濃く出すのに慣れてきただけ？適当に出しても十分飲めるし．

_ Calendar ▲

hyCalendar で，ヘルプファイルを開こうとしたときになぜか 7zip file manager が立ち上がってしまうという微妙な問題が発生．やっぱり単純なファイルを開くシェル依存な処理ではなくまじめに実装しろということか．

この辺が参考になりそう．http://www.stbbs.net/~junichi/adelieworks/hhwd/knowledge/contexthelp/delphi/modifyatdelphi.htm

_ Article ▲

predictability について調べていたらヒットした原稿．要は「予測できること」なのだが．どんなものを作るのか，どんな構成になるのか，とかいうのでインタフェースによるモジュールの分割などが重要で，何もない状態では大変なことになるというお話．

http://www.onlamp.com/pub/a/python/2001/04/04/se4e.html

_ Cygterm ▲

Cygterm を Guevara からつついてみた． http://www.dd.iij4u.or.jp/~nsym/cygwin/cygterm/cygterm.cc を適当に置き換えてみた．怒られそうな変更してるけど．ポートはデフォルトの値１個だけを使うようにしてる． cygterm.cc cygterm.cfg Guevara 側の設定例．（cygterm.cfg で設定したポート番号をつつくようにする） cygterm.cfg

_ Calendar ▲

HTML Help が開けない問題への対処を実装して0.6.4 実行ファイルだけ作ってリリース．

0.6.4 リリース用アーカイブ作るのが面倒になってきた．というか，ドキュメント更新する手間が大きい．

HTML Help 内に更新履歴持つのをやめれば多少は楽になるだろうか．

_ ファミコン ▲

レーサーミニ四駆ジャパンカップ攻略用セッティングのページにこっそり（でもないが）アクセスカウンタとアクセス解析を設置．

……昨日から９人来てるみたい（自分で実験用に踏んだの除く）．そんなに需要あるのだろうか :-)

_ Calendar ▲

hyCalendar 0.6.4 アーカイブ版作って公開．ini ファイルを zip から取り除いて，それに伴って README, CHM ファイルも更新．間違って設定ファイルを上書きしてしまうーと文句言われたので，それに対応．

_ ファンタジー職業適性診断 ▲

さっきの紹介されてたサイトでたまたま載ってたので見つけた．http://trpg.gasuki.com/trpg/csi.php

私は「剣闘士」と出ました．攻撃力は最高……って言われても．

_ AspectJ ▲

たまたま読んでたら，このサイトのことも載ってた．ほめられてるので，わりとうれしい．＃批判されても，話題に上るぶん嬉しいんだけど．http://melodyflag.sytes.net/mt/

_ Calendar ▲

ウィンドウズROM とかいう雑誌にhyCalendar 0.5.1 が収録されてるので見本が届いた．

中をちゃんと見たのは初めてだったんだけど，微妙な雑誌だ．

_ 結婚式 ▲

参列する予定の結婚式準備．というてもスーツ＆シャツ出したり，ご祝儀袋用意したりするだけだけど．

筆ペンで書くの難しい．墨でないだけマシだが．

_ Calendar ▲

Delphi 7 でコンパイルしたら，hyCalendar 0.6.4 XPテーマ対応版バイナリができた．ほうっておくと対応版ができてしまう様子．（そのほうが楽だが）

_ Delphi ▲

TObjectList など，便利なコンポーネントがいっぱい．……だけど，コンポーネントに埋もれそうだ．

# TObjectList が TList と振る舞いが違うのが# かなり嫌らしいのだが……．# Delete, Remove するかわりに Extract しないといけない．

_ Delphi ▲

Delphi Studio 7 Professional が到着．もう 8 もリリースされようかというところで，今さらといわれそうだけど．

_ メンテナンス ▲

ZAQ メンテナンスのため，SPLAT2004 ワークショップの原稿を早めに投稿．けっこう危なかった……かも．

ネットワークなきゃ，何もできない．

_ Delphi ▲

プリンタ設定コンポーネント plSetprinter あたりが最初にプリンタ名を設定された瞬間が異常終了の引き金のような気がするのだが．でも，ソースコードを見た限りではちゃんと対応してるっぽい．他のコンポーネントが Printer にアクセスしてるんだろうか？

_ レーサーミニ四駆 ▲

ジャパンカップのセッティング公開ページ，カウンター設置から１週間待たずして100件超えた．

どこに需要があるのだろう :-)

_ 査読 ▲

論文査読を頼まれたので読む．

一般的でないテクニカルタームがいろいろ出てきて大変．あまり深くいえないのだが，さも当然のように，略語が引用なし，原型なしで登場したりするとつらい．……査読する側は必ずしもその専門の人とは限らない，なんてことには配慮してくれないんだろうなぁ．

とりあえず，メタサーキュラーインタプリタって一般的な用語ではないと思った．http://sep-soft.hp.infoseek.co.jp/project/prog/mame.html

_ LaTeX ▲

図のキャプションの幅を調整するには？と調べていて Tips 発見．http://www-s.eng.kshosen.ac.jp/~nomura/hobby/Tips/Tips.html

_ TOEIC ▲

とりあえずはじめて受験してみた．マークシート試験なんて久しぶりなので手と肩が疲れた．

_ Calendar ▲

hyCalendar 0.6.5 アーカイブ完成．とりあえずノートPCのメモリ増設が済むまで（一週間以内には到着するのだろうけど）開発を手控える気なので，これでまた一度 Vector に登録することにする．

エンターブレイン様のフリーウェア 5000 にも収録される予定らしい．見本誌がタダでもらえるのはおいしいな．

_ ノート ▲

Panasonic CF-T1からCF-T2へ移行がほぼ終了．T1のほぼすべてのデータのバックアップも取ったので，T2用増設メモリが届き次第，T1のほうは研究室の備品として（誰かの出張用として）活用されることになる予定．

_ 読書 ▲

E.T.ベル「数学をつくった人びと III」（ハヤカワ文庫）読了．さすがに時代的に1900年前後になってくると数学も高度化してる気はする．

３巻で登場している人物のうち，ソフトウェア工学やる人としてお世話になるのはブールくらいか．やっぱり数学系か，もうちょっと工学・物理学系の人なら楽しめるんだろうなーという気がする．

_ 読書 ▲

ドナルド・J・ソボル「二分間ミステリ」読了．

暇つぶしにいい本だ．わずかな時間で，論理のミスに気づけるかどうか，というところ．そこそこ解けるが，「やられた」と思うときもある，というバランスがあるので面白い．逆に，まったく解けない人はだめなんだろうけど．

_ VMWare ▲

研究室で注文していた VMWare が到着．でも，デスクトップにインストールするかノートにインストールするか，微妙なところ．

メモリ来ないとノートPC使いものにならないし．即座に必要なものでもないので，もう少し保留しておくことにする．

_ Orchis ▲

軽いファイラーがほしくなったので，とりあえず Orchis をインストールしてみた．http://www.rinku.zaq.ne.jp/kamin/index.html

よく使うフォルダだけ，直接アクセスできるようにして使ってみることにする．

_ Delphi ▲

ビジュアルスタイル変更時に飛んでくるCM_SYSFONTCHANGE も謎だが (VCL コントロールメッセージ)，Window ロック解除時に CM_SYSFONTCHANGE が飛んできたときには最小化されたウィンドウがなぜか wsNormal に戻っている不思議．どこかでウィンドウが最小化されていることを覚えておくべきか，それともどこかに最小化されていたことが情報として格納されているのか？

_ Eclipse ▲

Eclipse 3.0M6 をインストールしてみた．が，2.1 で導入された Update Manager がなかったりとか，まだ微妙な印象．（なくても大丈夫なんだけど）

_ COE ▲

Bio-ADIT のストリーミング配信を見てみた．もうちょっとスライドを拡大して配信しておいてくれればいいのに……．

_ Calendar ▲

0.6.6 を目指しての作業が一段落．たいしたこともないバグなのに根は深かった．Windows のスタンバイ／ロック解除を頻繁に使う人間なので直したが，実際には毎回プログラムを終了させるタイプの人には必要のない修正だったりして．

でも，まだリリースまでは時間がかかりそう．いちおうバイナリだけは今月中（あと２日ほどしかないが）に出すつもりだが．

_ Delphi ▲

いろいろ試行錯誤した挙句，次のようにまとまった．・アプリケーションの MainForm としてfrmPlaceHolderを作成．・frmPlaceHolder は，幅０，高さ０．　最小化命令が飛んできたときだけ，　本来のフォームと同じサイズに化けて， アプリ全体を最小化する．・本来のカレンダーフォームは， アプリが最小化されている間は消えている． （表示していると，ビジュアルスタイル変更時に クラッシュするため -- これは VCL のバグだろうか？）・カレンダー画面表示中にビジュアルスタイル変更が来た場合，　一度画面を消してから再表示する． （メッセージは１回ではない場合もあり，　　その場合は点滅することになる）・最小化中は（ウィンドウが非表示なので）黙って耐える．

_ famiget.com ▲

久々にファミコンカートリッジを購入．部室用なので，１７本くらい．カラテカだけがなかったので，11,180円でした．

選定基準は・メーカー（EPICソニーなど）・タイトルからして怪しげ・普通に遊んでみたいなど．

買ったものは以下のとおり．ロボコップ，ロットロット，ロックマン3，カルノフ，イーアルカンフー，アメリカ大統領選挙，レイラ，DEJAVU，カラテカ，ジーザス，西遊記ワールド2，ソルスティス，闘将拉麺男，デビルマン，虹のシルクロード，メタルフレームサイバスター，不動明王伝，アーバンチャンピオン

_ 引出物 ▲

引出物にもらったカタログギフト．スヌーピーのタオルセットをもらうことにしてみた．

_ ファミコン ▲

互換機 "Neo Fami" を部室に導入．ちょっと不安だが，それなりに動いている．

_ 読書 ▲

注文していた Battletech Technical Readout 3025 を入手．ついでに，ダイアナ・マーセラス，シャーリアの魔女２「夢の灯りがささやくとき」（上・下）を買ってきた．