netail.net

_ 読書 ▲

野矢茂樹「論理トレーニング」読了．前々から部分的に読んでたのだが，初めて，通しで読み終えた．基本的な文章の接続の話から，論文の書き方とかまでカバーしてる教科書的な本．それなりに読みやすいし，勉強にはなった．論理パズルの本ほど面白くはないが．

_ LotR ▲

特徴の一覧表を作成．表記を簡略化しただけだが，おかげでページ数が減った．

_ SS2003 ▲

SS2003のチュートリアル資料を見せてもらった．

佐原 伸, "ソフトウェア開発のモデル化技法"オブジェクト指向形式仕様記述言語VDM++ に関するチュートリアル．

クラス定義が，一部，語彙など関数の階層関係の表記に使われていて「オブジェクト」主体ではなく，クラス主体になっているように見える言語（単に例として載っているのが全部 static 関数で関数をクラスに分類しただけのようにも見えるせい）．

imply などいくつかの演算子が，事前・事後条件の記述に便利そうな点は好感が持てる．

仕様とは，関数（宣言的）あるいは操作（手続き的）で，また，事前・事後条件，あるいは，どのように計算するかで定義されると明示している点は意味がある……のかな．そこまで書くならの話だけど．

関数型言語でよく使う let 文（一時変数への値のバインド）は，やっぱり手続き的言語では便利かもしれない．

検証関連はまったく話が出ていないようなので残念．あと，段階的な詳細化・洗練を，どのように行っていくのか，具体的な開発している様子があまり見えてこない．あと，この手の言語の弱点は，開発者にかなりの熟練（論理的な知識）を要求するところだ，とか誰かが言ってた気がするが，たしかに，imply や iff をきちんと理解してない人が混ざったら開発が大変になりそうな気がする．

_ Java ▲

EXCELSIOR (XLSoft) という Java ネイティブコンパイラを使えば，ヒープ領域がちょっと多く（通常1GBのところが 1.5G とかその程度）使えるらしい．

JVM，早く 64bit 化されないかな……．

_ SD Card ▲

Microdrive から SD Card へデータの主体を変えてみたら，PDA の電池の持ちが2倍（推定）くらいになった．Microdrive の電力消費が大きいのは何となく予想はついていたし元々使用時間が短いのでさほど気にはなっていなかったが，ここまで差が出るとは，と少し驚いた．

_ 写真 ▲

RPG 研究会のキャンペーン打ち上げ時の写真をアップロード．アナウンス流すのが面倒なんだが，どうしておこうか．