MSDNでは、もう大分前からWindows 7の配布が始まっていたので、早速インストールしてみました。今まではRC版などをVirtualBoxに導入したりしていましたが、今回は普段使いのVista SP2にアップグレードインストールします。

アップグレードインストールでは、Vistaを起動した状態でインストールDVDからインストーラを起動して開始します。インストーラはアップグレードを実行する前に、互換性のチェックをします。数分くらいかかります。

しかし、何度実行しても最後に互換性のチェックができませんでしたとエラーが。互換性が無いと検出されたアプリケーションは表示されています。

結局の所、これも原因はWindowsがインストールされたパーティションがアクティブになっていないからでした。SP2の適用や先日書いたWindowsバックアップと同じく…です。アップグレードするときは気をつけて下さい。

アップグレードして気付いたのは、ついにデスクトップの任意の位置にツールバーを配置できなくなってしまいました。今まではクイック起動のようなツールバーをタスクバーとは別に画面左端に配置して使用していました。これからはタスクバーにピン留めできるので、タスクバーを左端に置けばいいのかな…と思ってます。

今年も行ってきました。会場に入ってまず感じることは、昨年、一昨年に比べて活気がありません。これも不況の影響でしょうか…。

最初はDoCoMoをチラ見して、Intelブースへ。Atomが乗ったWindows搭載MIDのViliv S7があったので触りました。7インチの液晶を持っていて、キーボードが画面上に半透明でソフトウェアキーボードが表示されます。ちょっと触ってみましたが、正直、かなり使いにくかったです。画面はほとんど見えないし、気付いたから入力していたメモ帳からフォーカスを失っているし…。

その後、サービス～デバイスのコーナーを回り、NVAITIMEドロップスを貰ったり、LEDライトを貰ったり、基板実装部品のサンプルを貰ったり…。

デジタルネットワークステージに戻って、CELL REGZAを見ました。現物が置いてあるには置いてあったのですが、テカテカ液晶でかつ周りが暗い環境だったので、善し悪しの判断はなんとも。 うちの液晶TVよりはコントラストや残像感、色合いが良いのは確かなのですが、最近のTVは全体的に画質が良いしなぁ。

次に入ったのはSHARPブース。NetWalkerがありました。NetWalker、これもかなり出来が悪かったです。

使い方としては置いて使うのだと思います。手に持つと、キーボード横の縁が邪魔で、親指がGとHのキーに届きません。 にも関わらず、光学式のポインティングデバイスは手に持つことを想定しているような配置でした。 クリックのボタンは左手に配置せず、右手のセンサーを押し込めるようにすればいいのに…。 キーボードもやたらとストロークが深く、微妙な感じでした。

OSはUbuntuです。普通のUbuntuでした。 GNOMEも標準のテーマで味気なく。なんで専用のテーマくらい作らなかったんだろう。 （KDE4ならもっとクールだったのに…） 液晶はタッチパネルもあまり活用できなさそうでした。

gccも導入済みで、emacsは入っていませんが、viは入っているので、C言語でプログラムを書いてコンパイルもできました。 「{」を入力するのがShift+Fnを押さなければいけないのでプログラムを書くには不便です（当たり前か）。

あとは、東芝のブース（2つ目）でTransferJET（SONY）のデモを見せて貰いました。。 Felica（SuicaやPASMO、Edyで使われている非接触型通信）のように使えるので、事前の設定いらずで便利。帯域もかなりあるので、画像や動画も送れてしまえるという。 きちんと標準化されるといいですね。TG01（DoCoMo T01-A）とQosmio、REGZAのデモ機は実装されているので、今後に期待。

TG01の液晶大型版L01は…スマートフォンとしてはいくらなんでも大きすぎだろうと…。ノートPCとして持つならOKだとは思うが…自分は要らないなぁ。 Softbankの秋冬で東芝のスマートフォンが出るらしいですが…これはやめて欲しい。

1週間遅れなんですが、某所にポストした内容とほとんど変わってない…。次回は今週発売のWindows 7のことを予定してます。

ファイル名、ディレクトリ名、またはボリューム ラベルの構文が間違っています。 (0x8007007B)

バックアップを保存するためのハード ディスクや DVD ドライブがみつかりませんでした。ハード ディスクや DVD ドライブを接続してから、やり直してください。

Windows VistaはCドライブがアクティブでないと色々と問題が起こるようです（例 SP2の適用）。このPCはopenSUSEとのデュアルブートになっていて、grubがopenSUSEのパーティションに入っていたので、openSUSEのパーティションがアクティブになっていました。

Cドライブをアクティブに変更すると、バックアップを実行できるようになりました。

UNIXの世界では、普段は制限（一般）ユーザでログインするのが一般的です。歴史的な背景としては複数のユーザで1台のマシンを共有していたことがあるのでしょう。制限ユーザはアクセスできるファイルがかなり制限され、これによって、ユーザが重要なファイルを書き換えたりして、システムが破壊されないようになっています。アプリケーションをインストールしたり、システムの設定を変えるには、rootという特殊な管理者アカウントでログインして作業します。

Windows でも普段はコンピュータの管理者ではなく、制限ユーザでログインすることが、Windows NT系列（2000、XP、2003、Vistaなど）では推奨されていました。しかし、あまり普及しませんでした。その原因としては、インストールや設定の度にユーザを切り替えるのが、かなり面倒だったからです。

UNIXでは、suコマンドやsudoコマンドで現在ログインしているユーザからrootに簡単に切り替えて作業を継続できます。一方でWindowsでは、「別の資格情報で実行する」という機能があったのですが、どこにあるか分からないくらいのものでした。（XPではショートカットのプロパティなどにあります）

この状況を改善すべく、VistaになってUACが追加されました。大抵の人は管理者権限でログインしているので、UACの機能と言えば重要な変更をするときに、薄暗い画面の上に確認ダイアログが表示されるというものと認識している人が多いと思います。

UACの機能は、制限ユーザとしてログインしているときに発揮されます。管理者権限が必要な場面で、自動的にパスワードの入力画面を表示して、suコマンドのように管理者に切り替えることができます。制限ユーザからの切り替えの不便さはかなり解消され、あとはセキュリティとのトレードオフだと思います。

さて、制限ユーザでログインすることで本当にセキュリティは向上するのか？という疑問もあるかと思います。確かに、制限ユーザでもマルウェアをばらまいたり、他のシステムに攻撃したりできてしまいます。ただ、もしこのような状態になっても、制限ユーザならユーザアカウントを削除するだけで対処できる可能性も高くなるでしょう。また、セキュリティソフトの制御も管理者権限が要求されるので、マルウェアがセキュリティソフトを止めたりすることが難しくなります。

Windows 7では、UACの確認ダイアログの何段階かで抑制できるようになるようです。この流れはMac OS Xが既に通った道でもあります。時代の流れと逆行する感もありますが、セキュリティを高めたい人には便利な機能なので、制限ユーザでログインしUACを最大限活用してみるのはいかがでしょうか？

この前まで輪講で Types and Programming Languages を読んでいて、やっと輪講が終わりました。終わったと言っても、26章 Bounded Quantification までしか読んでいませんが。我々は型理論の専門家ではないので、この辺までで良いだろうという流れです。

26章は、Java の Generics でお馴染みのF-sub（F_<:）が出てきます。汎用的な関数を作るときに、サブタイプだけだと、あるタイプのサブタイプを適用すると、型情報が落ちてしまいます。ポリモーフィズム（OOPで一般的なサブタイプポリモーフィズムではなくパラメトリックポリモーフィズム）を使うと、型変数にどんな型をも適用できるようになってしまうので、型エラーになってしまう場合がある。そこで、適用できる型の範囲を制限できるようにしようというのが、F-sub です。

Javaでいうと、Genericsを使えば、ArrayListなどからgetするときに、型キャストが要らなくなる…ということの理論的な話です。

この章では、Full F-subというのが出てきて、

if S1 <: T1 and S2 :> T2 then
∀X<:S1. S2 :> ∀X<:T1. T2

となります。さっきから出てきている<:は、T<:SでTはSのサブタイプであるという関係を表します。S1とT1の関係が直観に反しているのは、クロージャの引数の型（∀Xは型を引数に取るクロージャの型）と同じだと本文にも書かれています。

さて、ここからは自分の勘違いの話です。

このFull F-subを読んで、何を考えたのか Java の Generics のワイルドカード「?」を思い浮かべてしまい、
JComponent :> JButton
なので、Full F-sub のルールに従うと、
ArrayList<? extends JComponent> <: ArrayList<? extends JButton>
であり、次のコードの (2) がOKで(1)がエラーになるはずなのでは？と考えてしまったのです。 （数時間悩みました）

ArrayList<? extends JComponent> list1 = ...;
ArrayList<? extends JButton> list2 = ...;

list1 = list2; //(1) OK
list2 = list1; //(2) エラー

勘違いの話はここで終わり。そもそも、Java でF-subの話を持ってくるなら、クラス定義の次のコードです。

class MyList<T extends JComponent> {
	:
}

そもそも MyList<JButton> list3; は何であったかというと、 これは ∀T<:JComponent. MyList 型を持つ値にJButtonという型を適用した型を持つlistという変数の宣言でした。

では、ワイルドカード「?」はというと、
MyList<? extends JComponent> list4;
はMyListの型変数にJComponentの任意のサブクラスの型を適用した型でした。（厳密な説明ではありませんが）

よって、MyList<? extends JButton> は MyList<JButton> や MyList<? extends JButton>のスーパータイプになっているようです。なので(1)のような代入ができるわけです。（Javaでのサブクラスとサブタイプの違いの1つの例ですね）

ArrayList<? extends JButton>をF-subの話に関連づけるのであれば、F-subでの戻り値の型のサブタイプ関係に基づいている…と考えなければいけなかったようです。

これが原因で、Genericsのことを色々調べたので、今度まとめてみようかな…。

さて、あるTwitterのFollowerの発言で気付いたことが…。ジェスチャで最後のタブを閉じるとウインドウも閉じるようになってました。Firefox 2.x くらいではそんな仕様で、どうにかして対策した気がしますが、思い出せません。とりあえず設定一覧を眺めてみると、それらしき項目が。

ブラウザのURL欄にabout:configと入力してEnter。普通の人はここで警告が出ます。browser.tabs.closeWindowWithLastTabという項目を探して、その右側にある値をfalseに変更。あとはブラウザを再起動するだけ。

もしかして、どこかにUIがあるのかな…。

購入したアクセスポイント件ルーターはBUFFALOのWZR-HP-G300NHです。発売直後だったので、どこも売り切れでしたが、Amazonで注文したら、在庫無しなのにも関わらず、翌日には発送されました。

このルーターの特徴は安くて多機能。通信周りの性能はNECのAterm 8500Nに負けるという声もあるようです。最近のBuffalo製品は良い（マシ？）らしいという情報を信じて、安定性は今後のファームに期待して買ってしまいました。

• IEEE 802.11b/g/n 対応
• 11a に対応していないので安い。1万円くらいで買える
• VPN (PPTP)に対応。外出先から自宅のネットワークに入れる
• Wake Up On LANでルーターの管理画面からPCを起こせる
• 電波がよく飛ぶらしい
• USB Host機能で、USB Storageを取り付けるとファイルサーバーになる

VPN機能とWOL機能は、スタンバイやシャットダウンにしてあっても、外出先からアクセスできるので、よく考えてあるなぁと思うのですが、ルーターの管理画面にバグがあるようで、WOLを送信するPCの一覧が表示されない場合があります。あくまでも表示上の問題なので、呼び出し先のURLをブックマークに登録しておけば、使えるようですが。

さて、アクセスポイントは今までのルーターと置き換える形で導入しました。以前は、大分前のcoregaのルーターBAR SW-4P HGを使っていました。ルーターは1階の部屋の机の下に配置されていて、 PCは2階にあることが多いので、電波が届くか少々不安でした。

ルーターとアクセスポイントの設定は、特に変なところは無いです。ネットワークのことを知っていれば、数十分で設定できます。付属のCDも必要ありませんでした。具体的には次のようにしました。AOSSは使っていません。iPhone 3Gも問題無く接続できています。

• ANY接続を拒否
• SSID適当な名前に変更
• 暗号化方式をAESに変更（デフォルトだったかも）
• LAN側のIPを変更

coregaのルーターはPCデータベースという機能で、PCに対してポートを設定...のようなことができましたが、AirStationではIPで直接指定しなければいけなさそうです。「Age of Empires」のポートを～のPCに割り当てるのようなテンプレートも無いみたいです。（リストが更新されないと意味がないですが）

一方、ログ機能は充実していて、出力する内容が細かく設定できます。管理画面の隅に常に表示されているヘルプも丁寧です。内容はある程度知っている人向けですが...。

通信テスト

デスクトップPCに立てたHTTPサーバー（Windows XP SP3 IIS）からファイルをダウンロードする簡単なテストをしてみました。測定方法がかなり適当なので、データは参考程度に...。サーバーとクライアントの間には、WZR-HP-G300NHと100Baseスイッチがあります。有線でスイッチだけを通して接続すると、56Mbpsほど出ます（ThinkPad X41 Tablet）。

まずは初代MacBook Airです。Buffaloの無線LANモニタの表示でリンク速度は104Mbps、信号品質は27%、電波強度は-79dBmになっていました。実際に計測を開始すると、リンク速度が頻繁に変動し、キャプチャ画像のようになりました。実際の転送速度は約6.5Mbpsでした。

もしやと思い、ACアダプタを接続すると、今度はリンク速度は104Mbpsで安定しました。転送速度も向上し11.6Mbpsでした。

次に、ThinkPad X41 Tabletです。X41は11nに未対応です。Access Connectionの表示では、信号強度が60%、転送レートが54Mbpsになっていました。実際の転送速度は8.9Mbpsでした。

インターネットに接続する分には、ADSL 8Mなので、十分な速さなのですが、ファイルサーバーに接続すると、かなりストレスを感じます。流石に1階の机の下はマズイということで、設置場所を変えた方が良さそうです。

Webの移転は、同居しているサイトの移転が面倒でしたが、それほど大変ではありませんでした。一方、メールの引っ越しが大変でした。IMAPで一度ダウンロードして、またアップロードすることに...。

引っ越したついでに、サイト内検索エンジンをHyper Estraierにしてみました。今までの検索ボックスを全て書き換えるのは面倒だったので、RubyでNamazuのラッパーを書いて対処しました。

もしかしたら、リンクが切れているところがあるかもしれません。掲示板が404なのは仕様です。何かおかしなところがあれば、コメントを下さい。

3キャリアのスマートフォンは、大体において既存のサービスの利用に制限がありますが、iPhoneに関しては、営業上の施策ではないとのこと。ということは技術的な問題なのか。まぁAppleが、日本向けにそこまで注力するのかは疑問ですが、日本市場で売上を伸ばすor国内メーカーなら、そこら辺をしっかりカバーして欲しいところです。

ソフトバンク孫氏、「明るく賑やかに、攻めの姿勢を継続」- ケータイWatch

ところで、自分が使っている911Tが発売して26ヶ月を超え、分割払いを終えた人もいるかと思いますが（自分は8月までです）。今の制度だと、端末を払い終えると割引が無くなる（実質支払う金額は変わりませんが）ので、ぼちぼち買い換え時です。

920Tは色々とアレなので無かったことにして、2年間、後継機種がありません。今回もシニア向けモデルのみ…。撤退するので、今後はSHでも使って下さいということなんですかね…。

あと、我が家には母が使う2Gの機種（603T）が1台あります。こちらは来年春の停波に備えて機種変更しなければなりません。母は最低限の機能が使えるやつで良いと言うのですが、流石にシニア向けモデルは薦められないなと…。あの手の機種は、大体において文字が大きくなっているのはいいけど、画面に文章が収まらず、逆に文章が読みにくいという罠が…。さらに画面の物理サイズも小さい…。一体何を考えて設計しているのだろう。コスト優先？

赤外線にも対応していないようですが、なぜ無効にせずに、簡単に使えるようにしないのだろう。確かに、従来機種の赤外線送信の機能はメニューの分かりにくいところにあるかもしれません。アドレス帳を手入力するのが大変な人もいるので、存在価値はあると思います。

まぁGENTシリーズが無難かと思っています。残念ながら「くーまん」という条件は満たせないようです。

AndroidとかWindows MobileとかKCPとか、これらの共通ソフトウェアの枠を超えられない感じがして、ソフトウェアの多様性と開発技術力という点で、今後が心配なこの頃。ソフトウェアの再利用が重要なことは確かですが…。

リングノートは360度折り返せて便利ですが、それをルーズリーフでできないだろうか？と思って探して見ると、カール事務器のルーズリングとそのノート用製本カバーを見つけました。

ただ、どこの文房具屋に言っても店頭になく、販売ネットワークに載っている会社の系列のお店に行っても5個単位（しかも3個、5枚セット）でないと、取り寄せできないかもしれないとのこと。結局、送料500円を支払って、ぶんぐるで買いました。

• CARL（カール）製本枚数50枚！ルーズリングA4／30穴（8mm）オリジナルのノートに♪【8ミリ】
• CARL（カール）ノート用製本カバーA4【ブルー/ピンク/イエロー/グレー】
• CARL（カール）ノート用製本カバーA4【クリア】

ルーズリング8mmを買いましたが、思った以上に小さく、ルーズリーフのノートをかろうじてめくれる大きさです。はさみで切ってB5にも対応するという製品なので、プラスチック製で柔らかめです。

専用のとじ具も売っていますが、手でも簡単に閉じられます。逆にリングを開けるのが大変です。

ノート用カバーは普段使用しているルーズリーフのノートのカバーに比べると、かなり薄くて頼りないです。厚みは2倍くらいあってもいいかと。穴の加工もあまりきれいではありません。

表紙にクリア、裏表紙にグレーを使っています。同じ色の5枚セットというのはいかがかと…。

表紙が小さめなので、残念ながらクリアポケットは表紙からはみ出てしまいます。

そんなに高いものではないので、ノートを折り返して使いたい人は是非購入してみると良いと思います。

最近では、未成年がインターネットやケータイを通して、何らかの犯罪に巻き込まれたり、逆に他人に危害を加えたりすることが、社会問題となっているようです。

そこで18歳未満が利用するケータイでは、有害サイトのフィルタリングが行われるようになりました。裏サイトだとか、コミュニティサイトに接続できないようにして未然に防ごうという作戦です。前編を考えた当時はブラックリスト方式にするだとか、ホワイトリスト方式にするだとか話題になっていましたが、大切なのは「そこ」では無いような気がします。

提案: 人力フィルター

そもそもの問題として、最近の子供はプライバシーが与えられ過ぎているのではないかと思います。昔（10年ほど前）の離れたコミュニケーション手段と言えば、電話。まぁ、子機があったりすることもありましたが、普通の家には1回線しかなく、親は子供が誰と電話しているのかを大体把握できたわけです。しかし、最近はケータイやら個人PCやらで、親は子供が誰とコミュニケーションを取っているのか、把握できなくなってしまいました。

そこで、提案するのが人力フィルター。要するに子供がアクセスしたサイトや電話やメールの宛先を親が知ることができるサービスです。ただアクセスをブロックするよりも、親が「良くない」ということを、伝えることが大切なのではないかと思います。プライバシーの侵害だ…という意見もあるかと思いますが、親にも子供を守らなければならない権利と義務があるので、そのためにはある程度、権利が制限されなければなりません。宛先は見られても、内容を見られないようにするなど、バランスの問題です。

もちろん、親を支援するためのツールも必要だと思います。例えば、危険なページのURLを知らせるようなものです。

この方法だと、ネットイジメなるものも防げるのではないでしょうか。学校での携帯の使用を禁止すると防げると言われていますが、本当かどうか疑問なものです。あと、機械的にサイトにアクセスできなくする…という必要は無いのではないかと思います。

10年ほど前にインターネットのチャットを通して知り合った人に助けられたという人もいますが、当時のネットは平和であったのだろうな…と思います。

今回発売されたのはPhotoFastのG-MONSTERシリーズで32GBと64GB。一応MLCだそうですが、CFを使うよりは転送速度などを考えると良いのではないでしょうか。あと、入手も容易なようです。

しかし、自分のX41 Tabletは壊れてしまったので試せない…。最近eBayでM/Bを安くで手に入れようと狙っています。

さらに広告付きにすることで、たとえ独立U局でも、CMを全世界に配信できます。最近ではCM枠を買ってくれるところが少なくなり、CM枠の価値が低下しているようですが、CMの価値を高めることができるのではないでしょうか。番組についても、同じコストで制作するのであれば、たくさんの人に配信された方が良いことが多いのではないかと思います。

さて、本題。例のMac Miniは11.1にアップデートして使用しています。最近は電源を切ったままですが。

11.1になって、相変わらずKDE 3.5のKWinとは相性が悪いのですが、KDE 4.1のKWinは問題なく動くようになったので、KDE 3.5+KWin 4で使用しています。

以前からですが、KDE4にはMac Mini（というかビッグエンディアン環境で）アイコンの色が反転する問題がありました。正常なら水色のアイコンがオレンジ色になっていました。原因はKDEの中のQtの問題であったようで、どうやら次のリリースで修正されそうです。KDE 4のカスタマイズ性が3.5並みになれば、完全移行できるかも…。

両方とも同じシリーズの製品を使ったことがあったので、目新しい感はあまりしませんでしたが、108UBKは表面がラバー加工されていて、滑らないのが良いです。キータッチは言うまでもありません。普段触るキーボードはREALFORCEかMacBook Airなので、先日やたらと押し込まないといけないキーボード（パンタ式にも関わらず）を使ったときに、タイプしているのに、文字が入力されないという現象が発生しました。そんなキーボードを使ってて疲れないのだろうか。

MX1100はその大きさと重さに最初は慣れませんでした。MX1100を使い始めて、よくマウスを持ち上げる癖があることに初めて気付きました。少しでも軽くするために単三電池は1本にして（単四を使う方法もありますが）、十分にカーソルを移動できるように1600dpiで使用しています。

「MicroGearスクロールホイール」はWebブラウジングにもう手放せないです。スイッチが手前に来たので、必要に応じてモードを切り替えるのも嬉しいですし、以前にVX-Rで遭遇した問題も無いようです。

ところで、Googleの検索結果が全て「このサイトはコンピュータに損害を与える可能性があります。」と表示されるのですが…。どうなってるんだ？

11月の写真ですが、東京ミッドタウンで行われたグッドデザイン賞と、DS授業支援ツールの展示と、イルミネーション。

思うのですが、計算可能ってのは簡単に言ってしまうと、無限の入力に対して、その計算を行う有限長の手順（アルゴリズム）が存在することではないのかなぁ…と。もし、プログラムが無限長でも良いのであれば、こんなのが許されてしまいますからね…。

int f(int x) {
	switch(x) {
	case 1: return 1;
	case 2: return 4;
	case 3: return 9;
	//...略
	case 100: return 10000;
	//...無限に続く
}

さて、難しい話はこの辺にして、少し前に、HDDが壊れたので捨てられそうになったLinkStation（HD-HGLAN）を貰ってきたので、遊んでいます。CPUがPowerPC系の数百MHzなのですが、emacsなどのコンパイルなんかも問題なく（時間的な意味で）できます。

ところで、この機種にはUSBホスト機能が付いています。本来はプリンタを接続して、ネットワークプリンタとして使う用途らしいのですが、ここにUA-4FX（EDIROLのオーディオI/F）を接続すると、どうなるでしょうか？

まず、LinuxはBuffalo公式からFreeLink（Debian）に入れ替えました。カーネルもWebinstallerなるもので2.6.25.20にアップデート。

さて、WebinstallerにはALSAのモジュールもインストールされていたのですが、UA-4FXに対応前のバージョンだったので公式から1.0.18aをダウンロード。しかし、コンパイルにはカーネルのフルソースが必要です。

Webinstallerの提供元にはheaderはありますが、ソースがありません。headerのパッケージ内を眺めていると…「.svn」が…。リポジトリはSFのLinkstation Wikiでした。そのままなんですかね…。

後はこの辺を参考に
http://www.alsa-project.org/~tiwai/alsa-jp.html
http://alsa.opensrc.org/index.php/Edirol_UA-4FX

CUIに対応しているVLCで再生してみましたが、途中で途切れたりすることもありますが、OggVorbisもMP3もOKでした。

中身が同じだったりする玄箱でも、同様のことができると思います。