netail.net

_ SCO ▲

Linux でもめてる SCO の意見．大変だなぁ，とは思うのだが，ライセンスの「方法を真似してもダメよ」系は厳しすぎるような気がする．特に，ソースコードが公開されてしまって「コードを読んでしまった」状態のプログラマたちがそれ以外の手法でプログラム書き直すのは難しいのに……．昔みたいに「経験者お断り」なクリーンルーム実装でもしないと無理かしら．http://itpro.nikkeibp.co.jp/free/LIN/NEWS/20030709/1/

_ Backup ▲

MyBackup をインストールしてみた．単なるスクリプト実行よりは，ディレクトリごとに保存設定とかを楽に書けるので良さそう，という程度だが．

_ Eiffel ▲

Assertion, Representation Invariants が気になったので，B. Meyer のオブジェクト指向入門を読み直してみた．

• Assertion は，「クラスが安定した時点」で守られていればよい．安定した時点とは，次のタイミングである．
• インスタンス化された（Create 実行が終了した）直後
• obj.method 形式のリモートコール （外部からの呼び出し）の前後
• メソッドの処理中や，ローカルコール（オブジェクト内部のコール）においてはAssertion は守られなくてもよい．
• クラス不変表明 (Class Invariants) は， すべての事前・事後条件に AND で付加される共通条件である．ただし，「これから追加されるメソッド」に制限を課すという点で，通常の事前・事後条件よりも強い意味を持つ．
• 実現不変表明 (Representation Invariant) は，クラス不変表明のひとつで，「抽象データ型の仕様に対して直接対応するもののない表明」．簡単に言うなら，外部に公開されていないような内部変数に関する表明である．
• 副作用 (Side-Effect) とは，オブジェクトの持つ属性を一つ以上変更する操作のこと．オブジェクトの持つファンクションは，副作用はあってもよいが，抽象状態ではなく具象状態にのみ影響を与えるものでなければならない．

どれも，妥当な意見なので納得．昔読んだときに比べると少しは理解度が上がった気がする．

_ ANA ▲

マイリッジ（またはマイレージ）サービスに登録してみた．これから海外行く機会が多くなるだろうし．

_ 散髪 ▲

髪を切りに行ったら，肩がこってるねーと感心されてしまった．

_ Segway ▲

http://biztech.nikkeibp.co.jp/wcs/leaf/CID/onair/biztech/mech/256412なんかを見てると，法整備は待たずにとりあえず走らせる気か．扱い的には，原付あたりと似たような扱いになるのかなぁ．

_ AspectJ ▲

プロジェクトが Jim Hugunin から Adrian Colyer に引き継がれた．とうとう AspectJ 1.1 で PARC が面倒を見るところは終了したらしい．

_ バックアップ ▲

家のデスクトップの HDD に蓄積されたホームディレクトリのバックアップ履歴のうち過去１年分（約２ＧＢ）をCD-Rに書き出す．

２週間から１ヶ月程度の間隔でバックアップを取っていたが，意外とたまっているものだ．