netail.net

_ Media Player ▲

mp3 player として，scmpx を使っていたが，そろそろ違うものも試してみたくなったのでフリーソフトの KbMedia Player を導入してみた．http://home7.highway.ne.jp/Kobarin/KbMIDI/kbmidi.htm

とりあえず最新のβ版をダウンロードして展開．レジストリに設定を保存するが，終了時に「アンインストール用終了」を選べばレジストリ情報を消してくれるらしい．面白いやり方だ．

_ wonder-net ▲

ラジオプログラムを日曜更新までには聞いておこうということで遅れながらも聴く．

なんとメールが読まれていた ;)

_ 新幹線 ▲

新幹線の切符の時間変更に出かける．係りの人は，列車の時刻を言っただけで列車名が分かるんだろうか？不思議．

_ [work]データ依存解析 ▲

java.util.Date.parse(String) メソッドでスライスツールが落ちるので調べてみたら，約1000命令のうち，分岐命令が79個．ローカル変数が19個，スタック最大深さが７なので，分岐命令ごとにフレームを複製して合流地点でフレームの同一性をチェックする（解析済みの状態と同じ状態が到着したら捨てる）という現在のアルゴリズムだと，組み合わせ爆発が起きているっぽい．26個も変数の状態が一致することのほうが少ないだろうし…．

追記:制御フローを見てみたら，分岐→合流→分岐→合流という感じの流れになっていたので，２のＮ乗（Ｎ＝分岐数）にかなり近いような状態になっていた様子．というわけで，アルゴリズム差し替えの予定．

_ 写真プリンタ ▲

研究室にある OLYMPUS CAMEDIA P-200 で印刷の画像サイズが調整できない？と思っていたら，プリンタが 320 dpi 固定なので 1024x768 画像なら規定の用紙サイズにそのまま出てくることが判明．640x480 だと２インチ x 1.5インチなのでかなり小さい．

どこにメモしておいても書いたこと自体忘れそうなのでとりあえずここにメモしておく．

_ コントロールパネルのアイテム ▲

「オーディオとマルチメディアのプロパティ」なんかをプログラムから開くのはどうするんだろう，と思っていたら，＠ＩＴにコントロールパネルのアイテムをコマンドラインから呼び出す方法の解説が書いてあった．ボリュームコントロールを開くのは sndvol32.exe でいけるので，これで実質オーディオアイコンと同等の役割を果たすことは可能だと思われる．

こういう実装を選ぶと，Windows のファイル名に依存してしまうが……．

_ 複数の enumerate 環境のカウンタを継続する ▲

LaTeX で，途中で見出しを入れるとどうしてもenumerate環境が途切れるので，無理やりカウンタ値を保存して継続することにしてみた．

\newcounter{preserved} % 保存用カウンタを宣言
\begin{enumerate}
\setcounter{enumi}{\value{preserved}} % カウンタ値を復元
\item アイテム群を書く
\setcounter{preserved}{\value{enumi}} % カウンタ値を保存
\end{enumerate}
\begin{enumerate}
\setcounter{enumi}{\value{preserved}} % カウンタ値を復元
  :

_ 阪急梅田の壁広告 ▲

ねんがんのSFCをてにいれたので，今まで使ってたANAカードのEdy残額を使い切るべく梅田に買い物に行ってきました．

ついでに，阪急梅田駅の壁広告に出ている青山先生も見てきました．

学部・学科の名前だけじゃなくて，近づくと「組み込みソフトウェアのインタフェース問題」とかユーザと自動車のインタラクションの絵とか，簡単なキーワードもいくらか書いてあります．B0で大きく貼り出されているので，かなり見栄えが良いですね．