blogSetomits

2日目は美ら海水族館へ。
美ら海水族館の正規の入館料は1800円なのですが、あちこちにあるファミリーマートで1割引で券が販売されています。僕たちはレンタカー屋がくれたパンフレットについていたクーポンを使ってさらにさんぴん茶のペットボトルも貰いました。でも、今回の旅行で僕が知った限りにおいては、許田という道の駅で買う方がそれよりさらに安く買うことができます。
さておき美ら海水族館。何よりメインの水槽が良かったです。ジンベエザメが3尾にオニイトマキエイ（マンタ）が数尾泳いでいるのが間近で見られ、なかなかの迫力です。間近で見なくとも、水槽正面のイスに座ってずっと見ているだけでも結構楽しめました。


水族館を出た後は適当な場所をカーナビに入力してあちこちドライブ。西の海岸沿い／中央の山間部／東の海岸沿いと本当に適当に走って回ったのですが、マングローブの森が見られたのはなかなか良かったです。

夕方過ぎには名護まで南下しルートイン名護というホテルに。このホテルは東横イン同様全国チェーンのホテルのようですが、屋上階に海を望む大浴場があったり、朝食はビュッフェ形式であれこれ食べられたりで良かったです。何より料金も手頃だし、国内の他のところに行くときも優先的に泊まろうと思いました。

夕飯は海岸沿いにある居酒屋で泡盛を飲みつつ海ぶどうのサラダなどを食べました。経験としては良かったけど、海ぶどうって別に...。

今回の旅行ではレンタカーをセットにしましたが、借りたのは日産のキューブでした。キューブに乗るのは初めてだったのですが、室内は広いし、細かく気の利いた設備がやたらとあるし、人気があるのがわかった気がしました。ちなみに、昨今のレンタカー事情では常識なのかもですが、カーナビがついていて、ETCの端末がついていて、 iPod などを接続することのできるケーブルがついていたりして驚きました。そんなことと知っていれば ETC カードだって iPod だって持ってきたのに...とちょっと悔やまれました。

お腹が空いていたのでまずはご飯。るるぶ沖縄ドライブベストセレクトに掲載されていた首里そばというお店に入ろうと思っていたのですが、駐車場もいっぱいだったし店の外にも何人か並んでいたので、他の店で食べることにしました。沖縄そばは小麦粉ベースで、ちょっとうどんのような感じです。豚の三枚肉なんかが入っていて美味しかったのですが、それよりはそばのダシで炊いたじゅーしーというご飯／ゴーヤーチャンプルー／落花生を元にできているじーまみー豆腐がより美味しかったです。

首里城跡には高校の修学旅行で行ったことがあるのですが、内容は全く覚えていません。行ったときも殆ど興味がなかったように思います。でも、今回はあれこれと興味深く見ることができました。やはり自発性って大事ですね。

沖縄にいると、時折戦闘機などの米軍機が轟音を響かせて飛んでいるのを目にするのですが、この離発着を見ようと嘉手納に行ってきました。嘉手納基地のすぐそばにある道の駅の展望台から滑走路を見ることができます。1機だけ戦闘機が着陸するのを見ることができたのですが、撮影はできませんでした。撮影できたのは何というのかよくわからないのですが、もうちょっと大きめで貨物機か何かが降りてくるところです。


その後国道58号線を南下して、北谷（ちゃたん）にあるアメリカンビレッジに。ここはビーチがあり、ショッピングモールがあり、沖縄の若い人に今人気があるところらしいです。

暗くなってから那覇に戻り、ホテルにチェックイン。外に夕飯を摂りに出たのですが、ちょっと食べ過ぎてしまって二人で猛反省し、国際通りなどを散歩しました。国際通りにはたくさんの店が並び、随分活気がありました。

今日から夏休みで、4泊5日で沖縄に行ってきます。国内なので電話も通じます、多分。 MacBook Air は持って行くのですが、ネットに接続できるのかはわかりません。というわけで、しばらく更新が滞るかもしれませんがご心配なく。

カカクコムの健保は関東ITソフトウェア健康保険組合<ITS>なのですが、ここの構成員だと法人会員としてセントラルスポーツの施設が割安で利用できます。場所によって利用料金はまちまちなのですが、セントラルウェルネスクラブ新浦安に関しては570円で利用することができます。ここは夜の11時まで利用可能なので、仕事を終えて家に帰って夕食の後にちょっと泳ぎに行ってきました。
実績としては40分くらいで1.3キロ。夜にプールに行くときは大体ご飯を食べずに行くので、途中で結構へろへろになるのですが、今日みたいなパターンで行くのはなかなか悪くないように感じました。ただ、最後の方だったからか、水がかなり汚いのには閉口しました。

大人気の（なのかな？）集合知プログラミングですが、6章ドキュメントフィルタリング - 6.6 フィッシャー法のコード（P.141）の中に気になる表記がありました。

range(1, df//2)

僕はスラッシュ2つを続ける演算子を知らなかったのですが、5.6 二項算術演算 (binary arithmetic operation)を見てみると切り捨て除算の演算子とのことです。上記の場合だと、dfには必ず2以上の整数が与えられることが期待できるので、

range(1, df/2)

でも問題ないんじゃないかと思ったのでした。

が、この挙動の変化はちょっと古いものだけど6 PEP 238: Changing the Division Operatorに書かれています。 Python 2.5 では

>>> 10 /3 3

となりますが、有名な話だけど Python 3.0 では

>>> 10 /3 3.333333333333333

となります。なので、このサンプルコードはより無難にしておくべく切り捨て除算を使っているのかなと思いました。それにしてもこういう変更って、 Python 3.0 にしたら動かなくなるコードが結構ありそうな気がするので、ちょっとひどいんじゃないかと思います。バージョンアップというのはそういうものかもですが。
ともかく、添字アクセスのところで除算を使っている人は注意が必要かも知れません。

ちなみに、 Python 3.0 にせずとも、 __future__ から division を import してたらすでにこの動作をするようですね。

Python 2.5.1 (r251:54869, Apr 18 2007, 22:08:04) [GCC 4.0.1 (Apple Computer, Inc. build 5367)] on darwin Type "help", "copyright", "credits" or "license" for more information. >>> 10 / 3 3 >>> from __future__ import division >>> 10 / 3 3.3333333333333335