nDiki : 8月1日

■ [ 映画鑑賞 ] マッハ!

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

@ 渋谷東急

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

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

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

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

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

@ マッハ!

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

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

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

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

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

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

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

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

■ 過去の今ごろ

過去の8月1日より。

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

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

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

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

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

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

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

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

• 準備委員会キックオフミーティング (2005-11-19)
• m4s tkh再会新年会 (2005-01-06)
• 買物 (2004-09-24)
• 今日も新宿 (2005-11-05)
• 文法の動的変更可能な言語 (2004-05-11)

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

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

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

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

@ 表明状態数

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

@ 過去の話題

• nDiki: assertion

• assertion (2004-05-16)
• テスト駆動開発入門 (2004-08-02)
• 過去の今ごろ (2004-03-11)
• cron 呼び出しから D-Bus (Net::DBus) 使おうとしたら... (2008-02-26)
• [ DiKicker ] 実装作業 (2004-02-21)

■ はじめての Amazon.co.jp

通勤途中の大型書店や近所の本屋をあたってみたのだが、欲しい本が置いてなかったので Amazon.co.jp で注文してみることにした。

実は Amazon.co.jp での注文は初めてである。ドキドキ。

なるほど Amazon らしく入力も簡単で良くできている感じだ。 しかし本名でアカウントの名前を設定すると最後の文字が化けてしまう。なんかとってもがっかり。

• 今日もよくたれています。 (2006-11-17)
• 主婦の間で人気のホームベーカリー届いた (2009-04-01)
• あっという間に沸くティファールの電気ケトル (2009-03-06)
• 今日のさえずり - Amazon.co.jp でママレモン売ってる (2008-10-16)
• 今日のさえずり - 子供がブランコから抜けなくなってる (2008-03-31)

■ Java をやっておけばしばらくは食いっぱぐれない?

開発者不足なので派遣とかを検討。

リクエストとして「Java でプログラムが書けること」と伝えたら、どこも不足気味で売り手市場だとのこと。 とりあえず Java の経験積んでおけば、最悪派遣登録でやっていけるってことか(もちろんその他のスキルも身につけておく必要があるだろうけど)。

• 私的10大ニュース2004 [ comp ] (2004-12-31)
• GanttProject で開発スケジュールを作成 (2004-08-26)
• SQLite とか DbUnit とか (2005-05-23)
• 後輩と一緒にプログラミング (2005-06-17)
• Module::Build でソースパッケージング (2005-08-24)

■ 京都日帰り出張、帰りは最終の新幹線で。

ミーティングのため午後の新幹線で京都へ。 隣の席は赤ちゃん連れのお母さん。 大人しくて可愛い赤ちゃんで、むしろそれをあやすお母さんの方が賑やかだったり。

帰りはミーティング出席者全員で The CUBE のレストラン街で食事をした後、東京行き最終の新幹線 (21:32) で。

• Give me chopsticks - 淡路島へ出張 (復路) (2004-10-26)
• 今日のさえずり - 新幹線の静岡駅と浜松駅が酷似している (2008-06-18)
• 時代祭の日京都観光ダイジェスト (2005-10-22)
• NICT 知識創成コミュニケーション研究センターへ行ってきた (2006-11-13)
• 修学旅行以来の京都 (2005-07-24)

■ 半分は Twitter のためにパケ・ホーダイを契約

ここ2カ月弱、いろいろあって自宅でノート PC をあまり開かなくなってしまった。 まあそれはそれでいいのだけれども、nDiki に書こうと思っていたことが流れてしまったりするのは、ちょっとストレスであったりする。

ということで、先月後半あたりから自分宛の PC 用メールアドレスに携帯電話からメールでメモや草稿を放り込んでいくことにした。 多くの人がやっている方法だと思うけれど、これなら電車の中また家の中でも、ちょっとした時間でネタを電子的に入力しておけ、メールチェックの時にそのまま処理していける。

また話が違うが、月末から MovaTwitter を使い始めた。

れらで携帯電話の利用率が上がってきたので、ここ最近パケット代が気になるようになってきた。 どちらもパケット代が気になって躊躇してしまっては効果半減なので、パケット定額サービスを検討することに。

パケット定額サービス「パケ・ホーダイ」は月単位での課金で日割がないので、契約するなら月初めの今が良い。 ということで、思いきって契約してしまうことにした。 「パケットパック10」はどうなるのかなと思ったが、もともと同時に利用できないとのこと。まずはこちらの廃止申し込みをして、その後パケ・ホーダイ契約。

月2,900円(税別)の利用料金アップか。 もとを取らねばな。

今までノーマークだったiモードの便利サービス/サイトでもいろいろ活用してみたい。

さて、これで生産性は上がるのか下がるのか。

• ケータイ用にプライベート Wiki を設置 (2008-01-07)
• tmitter サービス提供終了ということで MovaTwitter に移行 (2007-07-30)
• Twitter を使い始めて1年 (2008-04-06)
• 携帯電話(iモード)から Twitter を更新する (2007-04-07)
• Evernote 使用開始 (2009-03-03)

■ 歯の定期健診 - 次回はお盆休み明けのずっと先

18:30 歯医者。定期健診1回目。 15分待ちで終わったのは19:00過ぎ。

アパガードスモーキンで歯が着色するのは随分抑えられるようになったけれども、それでもさすがに7月後半になると汚れがつきはじめていた。4カ月毎がペース的にもちょうどいい感じ。

今日はいつもの定期健診専用(?)の部屋とは違うところで。うがい台が電動でいちいち(しかもゆっくりと)出たり入ったりする設備があったりと無駄に金を使っている。

定期健診はいつも通りの歯石取りで特筆することはなし。

定期健診後半の次回候補日は8月18日の週で半月後。その週は NG なのでさらに翌週の8月26日に。 お盆休みを挟むとずいぶんあいてしまうので、来年は8月上旬は定期健診の予約を入れない方がよさそうだ。

• これがソニッケアーの威力なのか? (2006-01-12)
• ザ・リッツ・カールトンを目指す歯医者? - 歯の定期健診 (2007-07-10)
• 歯の定期健診 - 名乗る自信と責任 (2009-01-05)
• 歯の定期健診 - 唇荒れてたのかなあ (2009-12-22)
• 今日のさえずり - チョコレート臭のするリップクリーム塗られた (2009-12-23)