nDiki : 2004年08月01日

■ [ 映画鑑賞 ] マッハ!

2ヶ月ぶりに映画。 ここしばらくと同じくやまだ君と。

@ 渋谷東急

今回は渋谷。 渋谷クロスタワー2Fにある渋谷東急にて。

2004年6月30日に閉館した渋谷東急文化会館にかわり、渋谷クロスタワー内の(旧)クロスタワーホールを改装して営業を再開したようだ。 クロスタワーホール時代も試写会とかに使われていたみたい。

渋谷東急文化会館はもう跡形も無くなっていたのにはびっくり。 そういえばあまり渋谷もきてないしな。

シートは普通。 スクリーンサイズの割に傾斜の具合が足りないのか、それとも配列が悪いのか上映中前の人の頭が邪魔で字幕が見にくかった。 前の人もその前の人が邪魔のようだったし、自分も背を高くして観ていたから後の人も見にくかったんじゃないだろうか。 K列だったのだがもっと前の方がよかったのかもしれない。

ちなみに一応、はやりの全席指定。 劇場入口で座席表を赤マジックで塗りながら座席を埋めていた。

@ マッハ!

• マッハ ! プレミアム・エディション

映画の日で混雑を懸念したが、開演30分ちょい前の到着時点ではまだガラガラだった。 開演時には8割ぐらいの入り。

タイトルの意味は不明。 劇中にもマッハというキーワードは出てこず。原題は何だろ。

映画はどこかみたことのあるストーリー展開。 シンプルで分かり易い。 トニー・ジャーのアクションが素晴らしく、またそれを生かしたスピード感のある作りになっていて上映時間があっという間だった。

ムエタイ格好いい。カンフー映画にはない動きが新鮮。

鑑賞後振り返ってみると、はてアクション以外は特に語るところがない。 ま、そういうのもアリか。 お薦め。

• やまだいあり: マッハ! & 山城組夏祭り

• [ 映画鑑賞 ] 恋愛適齢期 - Something's Gotta Gi... (2004-03-23)
• [ 映画鑑賞 ] 20:30 ゼブラーマン (2004-02-25)
• [ 映画鑑賞 ] ビッグ・フィッシュ (2004-05-31)
• [ 映画鑑賞 ] APPLESEED アップルシード (2004-05-16)
• [ 映画鑑賞 ] コンスタンティン (2005-05-03)

■ 過去の今ごろ

過去の8月1日より。

• 花火へGo!
  • 神奈川新聞花火大会、今年は日曜日なので今年は激混か?

• 今日のさえずり - 新聞の集金かなと思ったら黄金のキョロ缶 (2008-07-27)

■ 第29回 芸能山城組 ケチャまつり

マッハ!を鑑賞後、新宿へ移動。

去年見逃がしたケチャまつりを見に、新宿三井ビル55ひろばへ。

そうですか。ケチャ 19:00 ですか。考えてみれば、まあ夜というのも妥当だな。 がっくり。 次回乞御期待。

ロイヤルホストで食事を済ませてから「江刺の鹿踊」、ガマのメンソレータム売り、ジェゴグ演奏を見る。 やまだ君ジェゴグ体験。

• やまだいあり: マッハ! & 山城組夏祭り

• 準備委員会キックオフミーティング (2005-11-19)
• 今日のさえずり - 開き括弧がいわゆる全角文字で閉じ括弧が半角文字になる人多すぎ (2008-08-25)
• 着替え (2002-04-16)
• m4s オフ会 (2005-04-23)
• 本厚木 (2005-04-26)

■ 契約による設計と状態遷移モデルの抽出とか

事前条件/事後条件/不変表明で宣言できる仕様はプログラムの仕様の一部であるので、カバーできる範囲を明確にしつつ議論するのが重要。

@ テストフェーズとの連携

assertion による実行時検出の場合は、実際にそこを制御が通過しなければならない。テストフェーズとの連携があると実用的(単体テストスケルトンの自動生成など)。

@ 表明状態数

事前条件/事後条件/不変表明から内在的な表明状態を抽出できたとして、状態数はどれぐらいになるのだろう? 1〜3ぐらいだと面白くない。かといって多すぎる場合は設計上の誤りがある可能性が高い。

@ 過去の話題

• nDiki: assertion

• assertion (2004-05-16)
• テスト駆動開発入門 (2004-08-02)
• カシオ トラベルクロック PQ-60-1JF (2004-10-23)
• xDピクチャーカード対応 USBリーダ/ライタ MAUSB-100 (2005-04-23)
• パルディオ・ホームアンテナ HA-2S 動作チェック (2004-12-26)