泳ぎ

去年は8月はプールが混むという理由でさぼっていたらしいんだけど、今年は習慣になっているので、週1ペースを維持してます。

ゲロゴミはあれだが、人がいるのは面白い。プールを横切るがきんちょは迷惑だけど。別にタイムアタックしているわけでもないし。観光シーズンはお姉さんたちもいるしね。まぁ、でも混むのも8月一杯だろう。

外のプールが長いので面白い。なので、少し日焼けしているみたいです。

NHKのクロールの番組が去年あったので、そっちも練習しているんだけど、少し長くクロールできるようになった。結局、筋トレなのかな。息継ぎとかも、鼻に入ったりとかしてたけど、特にそれが治ったわけでもないが「気にしなくなった」。クロールの方が楽だとう話もあるようだけど、息継ぎに首を上げなくて良いのは、はっきり楽です。

週2だと、ちょっとお疲れ気味だが、それも習慣なので週2に上げることも可能だろうな。まぁ、週1で良いよ。だいたい 1-1.5 時間ぐらいです。あんまり、頑張らない方針で。

水に浮くってのは、無心になれるので、そういうストレス解消になるね。時間が経つのが早く感じるのは良いことなのかも。

　＊　＊　＊

クローズアップ現代で糖尿病治療の話をしてたが、内容的には古い感じ。糖質抜きの食事とか、インスリンの初期使用とか、胃のバイパス手術とか。胃のバイパスは日本人向きじゃないというのはフォローは入ってましたが。日本人がご飯食べ過ぎだってのは、そう思う。僕は血糖は引っかかったことはないんだけど、酒飲むようになって、パンとかご飯とか少な目にしているのが良いのかも。パスタとか麺類が最近多いか。

教職

うちでも情報の教職免許を取れるし、何人か取っているんですが、情報は他の科目の先生が講習かなんかで取って兼任していることが多いらしいです。一方で、中学高校の先生は離職率が高いらしく求人はあるらしい。つまり、

＊　教職は激務

だってことね。大学は激務とは思わないけど。教職に大学院を要求したりとか馬鹿げてると思う。

　　http://tmaita77.blogspot.jp/2011/05/blog-post_07.html

(これとかを見ると、女性が結婚してやめて戻ってこないという感じもする)

＊　まず、先生の人数を倍にしろ

特に初等教育かな。例の40人学級とかで比率は下がってはいるんだけど。

http://www.stat.go.jp/DATA/sekai/pdf/15.pdf

あと、卒業生とかを見てて思うのは、

＊　雑用が多すぎる

ってことね。休日にクラブの面倒を無給で見るとか絶対におかしい。事故が起きれば責任は取らされるわけだし。いつものことだが、

＊　優秀な人をこき使って、ダメにするをやめろ

と思います。補助教員を付けて雑用を分担するだけで、ぐっと楽になります。高専で「TA欲しい」って言ったら断られたし。そう、大学はTA使えるからな〜 補助教員とか失業対策にも良いし。

教員免許更新とかで大学に先生がやってきていたりしますが、単なる講習。ちゃんとやっている先生には負担なだけだろう。教える方も教えられる方も。更新は絶対嫌だとかいう偏屈な先生を排除することぐらいは期待できるかも。JABEE は、それでやめた先生いたし。

自分でも大学時代、教職用の講義を受けたことがあります。免許を取るには結構取らないとだめなので、さっさと諦めたけど。教育工学とか教育心理学とか。特に印象に残っているわけでもないけど、今の職業に直接役に立っている珍しい講義だな。

当たり前なんだけど、教育に「特殊な技能」なんかない。学生と一緒に課題をこなしていくしかない。座学は寄席みたいなものだが、楽しいかも知れないが、自分の力にはならない。専門知識を体系化して、学ぶ手順を示すことはできるが、そのはしごを登るのは学生だからね。

ガンダムUC

録画はしたのですが、見てませんでした。そんなのばっかり。 Episode 2 まで見ました。UC っていうから Full Armor ZZ とかが出てくるのかと思ってましたが、そうではなかったのね。

これは、おっさんのガンダムマニアのためのものなのね。なので、超恥ずかしいです。あのセリフを、そのまま出すようなことするのか。そうなのか。

ガンダムにはガンダムの文法があると思う。でも、そんなものは最初のガンダムの時にはなかった。作られて来たものでしかない。その文法に頼るのは、普遍性を失うことでもある。所詮、スペオペなので、文法の科学的整合性は期待できないし、期待してません。ミノフスキー粒子とかは、そういう「ごめんなさい」な部分なんだよね。

それを、HiVision な画質に合わせて詳細な拡張をするのは、いろいろ大変だと思う。無重力や加速度の描写は、しょせんは、飾りなんだよね。

ザクとかサラミスまで出しちゃうからなぁ。サービスし過ぎなんじゃぁ。そういう意味で恥ずかしいです。

話はゆっくり進みますが、ちゃんと終わることを期待します。

Mou のふるまい酒

そういえば、そんなこと言っていた。Mou が1周年なのだそうで、ワインのふるまい酒が。

宜野湾 Mou
http://mou.ti-da.net/

土曜日だったので台風もたいしたことはなく。そもそも、Java Kuche 総会だったはずなので、飲みにいけないはずだった。24,25 だったから、白土さんを連れていくことも可能だったのか。(ムーと読むらしいが、僕はもっぱらモーと呼んでいる)

なんですが、いかんせん月曜日からずーっと飲みまくってたので、まったく飲む気がせず。でも、奥様は連絡して呼び出したので堪能していたようです。

確かに、あの場所だと、この値段のワインは無理かも :-p 僕も、Mou のワインは、ちょっと高めだと思ってました。いや高いってわけでもない。これが普通なんだけど、沖縄では余り飲まれないぐらいか? こういう事するなら、普段から安く出せば良かったかも? そんなわけなので、Mou のワインが今後どうなるかは割と謎です。

沖縄に来た当初は月一回、イタリア食堂で、ワイン一本とパスタ二つとかやっていたんだけどね。一本で足りなくてグラスワイン頼んだり。

Koba's とか、ノムリエも、ワインを安く出すという理由で通っていた気がします。でも、Koba's のワインは、もう安くはないです。もともとレストランは酒で儲けるものだと思うので、若干、反則気味ではあるけど。加藤食堂もワインが安いのは魅力だね。

まぁ、僕自身も高い酒にはあまり興味はないかも。特にワインは。だいたいおまかせです。

日曜日の台風は昼間はたいしたことはなかったが、夜の吹き返しがうるさくって。明日の午前中には抜けて欲しい。

さすがに、飲み過ぎ

一週間、ずーっとだったような。加藤食堂(ワイン)、さこ飯(日本酒)、んっ(泡盛)。どれも良かったです。最後は、屋富祖大通りのほとんど隠されているようなお店に。

卒業生とかが来てたりするので、それもあって深酒気味。

で、どうも超大型台風が来るようで。去年はたくさん来たが、少しずつ外れてはいた。それでも、UHFアンテナふっとばしたしたなぁ。日曜から月曜まで閉じ込められる感じか…

でも、暗くなっては来たが、まだ、それほどでもないです。街の方は買い出しに出たり、ベランダ片付けたり。大学の方もサッシに雑巾詰めたり。

時計

なんか、時計の話が出たので、いつもの懐中時計を自慢しようと思ったらない。ないないない。

そう言われて見ると、この間、あまりにボロくなったスーツを着替えた時に抜いた記憶がない。もしかして、そのまま捨てられれた?

これは新しいのを買えということか? 金の値段が結構上がってるからな〜

とかなんとか、少し落ち込みつつ、いつものところへ飲みに。かなり酔っ払って帰ってきたら、奥様が起きているので、

「あのぼろぼろのスーツの中に時計があったかも」

と言ったら「まだ、捨ててないわよ」ということらしい。のだが、そこには入ってない。おいおい。「その前に、冬のスーツ着て着替えてなかった?」そういえば、そんなことが。

というわけで無事に発見しました。

まぁ、なくても気がつかないようなものなので、別にどうでもいい気もするけどね。腕時計は基本的にしないし、時間は最近は iPhone 見ちゃうし。

たまに自慢するぐらいしか役立たない時計なのに、その時に限ってないとか良く出来てる〜

　＊　＊　＊

明日の Java Kuche 講演会は台風で延期になりました。夜の悪天候を心配とかよりも、ゆっくりお休みくださいという感じです。

集中講義

山口さんと白土さんのを、ちょっと聞いてました。片方は公開されているのかな?

この手のインターネット関連の講義は、すぐに古くなるのがな。Mountain Lion で postfix を立ち上げて、そこからメールを送るとかやってました。Mail は、昔は良い例題だったのだが、今は、ちょっとやることが多すぎて敬遠気味。imap とか、DomainKey とか、smtp on ssl とかなんとか。

とか言いつつ、自分でも postfix まだ使っているのだが。

高専の授業では、Ruby on Rails Sever を Heroku に上げるとかやってた。

集中講義は、三年次編入とか休学した人とかが取ることが多いらしい。「OS取った」とか聞くといろんな話が。三年次編入はOS取らなくてよいので楽で良いね。夏休み中に課題を出せば通すとも言っているのだが、やる気あるのかなぁ。

今年は、iPhone 入れようかと思ってます。fork して word count とか、もう、なんだかねという気もするので。

他の人の講義を聞くのは、ちょっと面白い。講義を録画公開すると、授業の質が上がると山口さんも言っていたし。

それは、良いのだが、昨日、三人でワイン4本空けちゃったので、少し酒が残っている感じ…　おいおい。

カラオケ

学生に合わせて最近のも覚えてます。

なんだが、既に、それも古くなってる。懐かしいとか言われちゃう。げげーん。

＊ 宇多田ヒカル Traveling
＊ ポルノグラフィティ Music Hour
＊ 浜崎あゆみ Hanabi
＊ 絢香 Winding Road

とか。まぁ、別に新しくする必要もないけどね。HYとか九州男とか、あまり面白いと思わなくて。ももクロもカラオケ向きではないかも。

アニソンは、うちの研究室限定か? アニソンって、明らかに音程上げているのとかもあって歌えないものも。

＊ Unistall
＊ Lion
＊ Shangri-La
＊ Gravitation
＊ 夜明け生まれ来る少女

あたりが好きかも。

でも、昭和の演歌も面白いんだよね。裕次郎は苦手。

＊ 田端義夫　　　　　　　　帰り船、大利根月夜
＊ ザ・ピーナッツ　　　　　恋のフーガ

＊ 津軽の花とか、＊ 兄妹の星とか、真栄原で飲むようになって覚えたな〜

沖縄民謡は、古典を除けば大体。なので、最近はあまり。一時期、はまったが。

＊ 新里めとうよー
＊ 与那国ションガネー
＊ 情(なさけ)の唄

あたりはたまに。

でも、70/80年代の洋楽も良いよね。

＊ Daniel
＊ 愛と青春の旅立ち

昔聞いたことがあるってのは、もうしょうがない。音楽では、もうオリジナルってのは意味がなくなってきているんじゃないかな。

灼眼のシャナ

いわゆるツンデレ系の話です。26+26+24話なので長い。伝奇もの歴史物は苦手な分野なので自分でも見始めたのは意外です。三部で完結したらしいので見る気になった感じでもある。ちゃんと完結しない話が多いからなぁ。

ともがらと呼ばれる妖怪をフレームヘイズが退治するみたいな話で始まり、徐々に話は大きくなります。というより、第三部でいきなり拡大する感じか。

女の子が戦うのは男子のコンプレックスを刺激しないためだとかいう説もあるけど、第三部では裕二が結構活躍します。

たぶん、アニメと原作の都合だろうけど、第二部の終わりと第三部の始まりが整合しない。少し時間も開いてるし。その間を説明するOVAとかないのかな? 主人公がいきなりあれってのはさすがにちょっと。

第二部の前半がたるくて、泣きが入ってました。

第三部も前半の祭礼の蛇を呼び出す戦いと、後半のザナドゥを産み出す話と割とゆっくり進む感じ。一気に見るには疲れる感じか。でも、見終わった感じでは、一応、良くできた話ではあるね。ちゃんと伏線拾っているし。

いちいち名乗って戦うわけなんだけど、本人と契約した神と両方名乗るのでうっとうしい。シャナは最初は名無しな設定だったのに。フレームヘイズは名前なんて必要ないんじゃなかったのか? とは言え、名前重要だよね。

この手のバカの少ない話は良いね。雑魚なともがらの存在意義がなんなのかは良くわからないけど。「存在の力」が一つのキーワードですが、あまり深く追求されず単なるエネルギー源のように扱われてます。変な説明が入るのも不快だから、それで良いと思う。

もう一つのキーワードの零時迷子と、その制作者の話が、本編と並行しているのも、なかなか良い。全体的に許す話になっているのも良いね。天罰の神なのに、それで良いのか? いや、良いんでしょう。

時間かかったが、楽しめました。

東映の仮面ライダー映画

スカパーの珍しい既存ユーザへのサービス で、

お好きなチャンネルの1ヶ月お試し無料視聴
http://www.skyperfectv.co.jp/service/royalty/

と言っても微妙に制限があるけど。3ch までとか合計て4000円までとか。10年以上取っているが初めてだよ。でも10年取っていても差はないらしいけど。で、WOWOW と東映を取ってみました。

WOWOW でやっているウルトラマンのHDリマスターはなかなか綺麗。でも、特に見直す気にはならず。前後に付いていたインタビューは、ちょっと面白かったけど。WOWOW は最近取る価値ないと思っているんですが、まぁ、そんなものかも。3ch もあるのに。でも、ウルトラセブンのHDリマスターを冬に放送するらしいので、その月だけ取るか? どうせ見ないのに。

東映は値段的に丁度良い。というか、他に取れるチャンネルがVシネマ系ぐらいしかないので仕方なく。マジンガーZとか、ゲッターロボ號とか、仮面ライダーとか。で、うっかり、

　劇場版仮面ライダー対地獄大使

を、ちらっと見てしまったんですが…

＊　仮面ライダー/本郷猛が危機に陥る

までは良い。落とし穴で溶解ガスとか、爆破されるビルに閉じ込められるとか。しかし、そこで「溶けたな」「爆破成功しました」で、次のシーンで、

＊　説明も何もなく仮面ライダー/本郷猛が登場

それってなんだよ。「ガスだ!」とか「時間がない」とか「爆弾を探すしかない」とかのセリフは一体なんだったんだ?

富士山麓に秘密基地があって、そこに秘密兵器を運び込む。そのトラックにショッカーのマークが。まぁ、そこまでは「マークを付ける手間をかけたのか」と思ったが、

「ショッカーのマークのついたトラックが富士山麓に向かったのを見つけました」

というセリフを言わせるのはやめて欲しい。隠しているから秘密基地なんだろ?! わざとか? わざとなのか?

まぁ、仮面ライダーは「イーッ!」という戦闘員との戦いで、いちいち、カッコをつけるとか、オートバイの乱舞とか、そういうのを楽しむものだとは思うんだけどさ。それにしても、あんまりだと思いました。

東映って、ほんとにひどいもの作っていたんだなと再認識しました。

まぁ、キャプテンスカーレットの「キャプテンスカーレットは不死身である」で全部片付けるってのとおんなじではあるけどさ。

仮面ライダー電王は好きなんだけど、何故か、トリロジーを東映チャンネルではなく、テレ朝チャンネルで放送。東映チャンネルの存在意義とは一体なんなんだろう。あんなの放送したら、イメージダウンになるだけなんじゃないかと心配になるくらい。

あと、なぜか、テレ朝チャンネルはコピ1ではなく、コピ10なことを発見しました。大して便利になるわけでもないが、BD-Rへのムーブに失敗すると消えると言う技をソニーのBDレコーダは出すので、コピ10の方がうれしいね。

M1 の頃

化学科から情報工学科へ乗り換えたので、M1は勉強ばかりしていた気がする。最初から博士までいくつもりだったからでもあるんだろうけど。

Unix, BSD 4.1 に触るのも初めて。WordMaster から vi に移るのに少しかかった感じ。M1の同期と一緒に勉強会とかもよくやっていた。Prolog 、Occam 、Smalltalk 80、Ingres (後の PostgreSQL ) とか。

でも、研究室にCACMが全部置いてあって、それを読みまくったのが一番面白かった。そういうものが読みたかったんだよという感じだね。

Prolog がものになったのは 6 月位。本読んでもピンと来なくて。C Prolog が使えるようになって、flatten 書いたあたりから、だいたい見当がついて、夏休みには Hewitt の Actor の並列実装をした記憶がある。あれは、今から考えると悪くなかったんだけど、ちょっとアピールできなかったな。二回の引越しでソースコードはなくしてしました。

それと並行して、ISAM と B-tree も書いてた。先輩には「なんでVSAM書かないの?」とか言われてました。レコードのコピーを絶対的に避けなければいけないというのがわかってなくて、激遅なのができて泣いてました。

最初に研究会に出したのが、Prolog で書いた時相論理言語だから、Prolog で言語を実装したのは悪くなかったらしい。

なんだかんだ言って、Prolog をものにできるまでに1年かかっているんだよね。Prolog 難しすぎる。今だと Haskell か。Haskell 自体は、Prolog ほど難しくない気もするが、いろいろあるからなぁ。

Prolog は、そういう苦い思いもあるので、Haskell とかを使う気には微妙にならないな〜 インデントベースな言語なのも良くない。

まっさん

普天間の飲み屋さん。沖縄風ではありません。

http://massan224.ti-da.net/

おでん、枝豆、焼きさば。

締めに味噌汁だしてくれるんだけど、あれは豚汁か。

琉球ヒートのしゃぶしゃぶ食べ放題

プログラミング3の打ち上げでいきました。プログラミング3自体は、まだ、途中。少し先行き不安だが、まぁ、任せた。

学生は肉食べ放題なら、なんでもいいんでしょという感じですが、焼肉よりはしゃぶしゃぶが良いかなと。沖縄には、しゃぶしゃぶが食べ放題ってのはあまりない。3千円という設定なんですが「高い」という反応が。学生はいくらに設定しても高いというものだろう。

食べ放題なので、まぁ、あんまり期待はできないんですが、赤と白があるらしい。赤が辛い奴ね。でも、気持ち辛いかなぐらいでした。

ちょっと、そこの学生、肉を入れっぱなしにしたら、しゃぶしゃぶではないだろ?

ビールは樽生とプレミアムモルツ。プレミアムモルツでしょう。と言いつつ、飲んでるのは僕だけか? ちょっと遠いので全員車、いや相乗りだから、別に飲んでも良いはずなのだが。まぁ、今の学生は、あんまり飲まない。煙草も吸わない。学年で煙草吸うのは2-3人という感じらしいです。貧乏だってのが大きいのかも知れないが、自分が学生だった時も、あんまり飲まなかった気もする。

いや、それは嘘だな。吉田夏彦先生の研究室は酒飲みが多くて、そこの行事ではガンガン飲んでいたはずです。花見と春夏の合宿と冬至祭り。

ちょっと肉が出てくるのが遅い。それは、ちょっと問題ありだろ? とは言え、学生たちも十分足りたはずです。でも、少し足が出ていた感じ。援助してくれた先生方ありがとうとざいました。

食べ放題だったら、焼肉満福の方が良いかな?

日曜日の残り物

日曜日は妻の同僚たちの女子会だったらしいです。付き合っても良いのだが、子供もいるので、ちょっと苦手なので避難してました。その方が職場の愚痴も話しやすいだろう〜

肉が結構余ったとかで、月曜日は、そのおすそわけ。

何故かサンエーでタジンを売っていたらしく、しかも、全然売れないので投げ売りされていたのを買ってきたらしいです。使い道的には、まぁ、謎なものだよな。

はるやの冷やし

血圧の薬をもらいに大平へ。別に、血圧測ってもらって薬出してもらうだけなので、別に近所の医者で良い気もするんだけどね。でも、たまに大平に出るのも悪くはないので。散歩みたいなもの。

大平には、「はるや」と「昇家」の二つのラーメン屋があり、どちらも良い。そういえば、冷やしがあるんじゃないなかと思ったら、あった。

レモン付。少し酸味控え目らしい。人によるだろうな。そういえば、餃子頼むの忘れた。でも、それでちょうどいいかも。

瞬間計算能力

フォンノイマンは瞬間計算能力を持っていたらしい。ENIAC と競争して勝ったとか、そんな話が。ファインマンの計算力もすごいのだがフォンノイマンにはかなわなかっったらしいです。マンハッタン計画の時に一緒にいたらしい。

マンハッタン計画では肝臓がんが多いとか言う説もあるらしく、フォンノイマンもファインマンも早死だった。残念なことだ。フォンノイマンは場の量子論ではあまり活躍してない印象があるけど、ちょっと早く死にすぎた。

でも、そういう能力があるなら、それを鍛えることができるのかも。素因数分解とかいう話もあるが、僕はそれはないと思ってますが、記号処理能力を拡大することができれば面白い。

マーゴマシンという単一化をO(n)で行う機械とかもあるので、記号処理能力と並列処理の相性は良い。基本的にはパターンマッチだからね。それを視覚的に鍛えるのか、音声的に鍛えるのか、あるいは、手を動かすのか、単に瞑想するのかは、もちろんわからない。でも、そういう能力があるなら欲しい気がする。

絶対音感とかはある意味わかりやすいけど、年齢制限みたいなものがある。瞬間計算能力も年齢制限あるんだろうな。生まれて1ヶ月でLとRの違いを教えると一生間違えないという説とか。そういうのが小さい子供を持つ親に要らん負担をかけるのは間違いないが。

今でもそういう能力を持っている人はいるのだろうと思うので、是非、鍛え方を開発して欲しいと思います。

s-entrance

iPhone/Android 用のBDレコーダ関連アプリですね。実際には

テレビ王国
https://tv.so-net.ne.jp/chan-toru/

に接続されるだけ。正確には他にもあるが、これしか動かないみたいです。

テレビ王国は、RX-50 の頃から使っていたんだけどスカパーの予約ができないとか、BDレコーダーの登録が複数できないとか。でも、なんと、両方できるように改善されたらしい。偉い。しかも、録画した番組のリストも見れる。これで、ようやっと、RD-Z1 相当のことができるようになったよ。

SKP-75 と RX-50 で微妙にできることが違う。新しいのだと再生ボタンとか付いている。リモコンとして使えるわけね。

録画リストからタイトル変更もできるのか。もっと早く教えてくれよ的な感じも。何せ、ソニーのBDレコーダーはキーボード接続不可だから。

＊ 専用USB端子がいくつもある

とう不思議な構成らしい。無線用とかHDD用とか。そしてキーボードは接続できない。でも、Chan-toru 経由でPC側から変更できるのは良いね。でも、変更できる場合とできない場合があるのか。

これって、例のNAT越え技術を使わないといけないんだよな。なので、若干不安定な感じ。IPv6 が立ち上がる前に、セキュリティだなんだで NAT 、下手すると double NAT な世の中だから、家の中に手を入れるのは大変なんだよな。port 指定までさせてくれれば良いんだが、普通の人にはそれは無理だろうし。

あと、アカウントが元のテレビ王国とは別なのか。SEN 経由ってことは、Torne/Nasne 向けなのね。番組表はスマホ向けなのか、元のに比べていまいちな感じ。

もっとも、RD-Z1 の時も Web 経由の予約はいまいちで、結局、実機のEPGから予約していたはず。重複とかの処理が実機の方が良いことが多い。最初の頃は EPG なんかなかったりしたからな。もはや信じられませんが。

ともあれ、いろいろ改善されているのはうれしい。

Heroic Age

だいぶ昔に見たアニメです。

http://seeker-s-eye.blogspot.jp/2007/07/blog-post_6418.html

2007年か。Blu-ray でないのかなと思っていたが、ついに日本では出ず、アメリカで安売りということになったらしい。

http://amzn.com/B005NQ5LL4

$18 は安すぎだろう。2層 x 3 枚。150GB ね。26話に、これは量多すぎだと思うのは、スカパーHDの1話1GBに慣らされたからだな。

かなり丁寧に作られたスペースオペラ。XEBEC / 冲方丁 だし。もっと評価されて良い作品だと思うんだけどな。

銀の種族に滅ぼされつつある人類が、黄金の種族の伝説にすがるというかなり暗い設定なはずだが、そんなものを微塵も見せないお姫様率いる精鋭アルゴノート乗組員が素晴らしい。政治的に追い出された人たちでもある。

契約に沿って一直線で進む話でもある。予言と契約とは少し異なる。契約がすべて実現するとは限らないみたいな話も出るし。黄金の種族は父親としての役割を背負っているので、ワイドスクリーンな設定にも沿ってます。

設定が複雑すぎたのかな。僕もそうだが、最初のあたりのエイジの猿っぷりとかお姫様の恥ずかしさとかでめげてたかも。後半でも12もある契約を枚挙してたし。

それでもかなり盛り上がった。英雄の種族同士のウルトラマン的戦い。銀の種族、青銅の種族との艦隊戦。時間遡行能力を持ったものとの戦い。契約の謎。

アルゴノートの船のデザインも面白い。ロボットには変形しないけどね。

まぁ、そうねぇ。萌要素はないか。

ヘリ

CH-46E は良く見るのだけど、コブラは珍しいかも。

琉大と琉大病院は目標にされているらしく、良く飛んできます。

オスプレイは別にどうでも良い。中立。老朽化したCH-46Eよりはましかも。どちらかといえば、見てみたいです。つうか、年末から飽きるほど見ることになるんだろう。

中華航空の方が良く落ちるとかの説もあるらしい。でも、基地がある限り、いつかは落ちることも確か。ジェット機の方がヘリよりも事故は多いはずだが、地上に落ちることが少ない。ヘリは、使用目的上、市街地に落ちることが多いからな。

うるさいのはジェット機。最近、割と配慮されているのか、普天間基地からは余り飛ばないみたい。飛ぶ時は超うるさいいです。

「普天間には後から人が住んだ」みたいなアホなことをいう人もいるけど、沖縄の地図を見てみればわかるが、南北を結ぶ狭くなったところのど真ん中にある。なので、人が、そこに住んでしまうのは仕方がない。そもそも、琉大と沖国大が「そこ」にあるわけだし。


まぁ、この15年の体たらくを見れば普天間が当分どかないことは誰でもわかるので、そんなものでしょう。辺野古に新しい巨大基地を作る金はもうないと思うし。緩衝地帯を増やすってのが現実的な安全対策だとは思うね。

夜のヒットスタジオ

70年代から80年代の歌番組。こういうのを＊みんな＊が見ていた時代があった。スカパーのフジテレビで、よくやっていたんだけど、割と不定期で抜けているのがいくつか。残念ながら、今は放送してません。この前、ベストテンやってたな。手元にあるのは、1976-1980 ぐらい。なんで、ピンポイントに、そこなんだ? レッツゴーヤングとかも放送していたりしたけど、84年くらいだと、もっとも見てなかった頃らしく、ぜんぜんわからなかった。

ジャニーズや外タレがでないとかの制約があるらしいです。美空ひばりとか。それでも、Three degrees とかは出ていた。僕は南沙織ファンなので、そんな理由で見てました。

＊ あべ静江 いしだあゆみ いぬいゆみ さとう宗幸 しばたはつみ ちあきなおみ
＊ ばんばひろふみ ぴんから兄弟 ふきのとう アイジョージ アグネス・チャン
＊ アグネス・ラム アトリエ アリス
＊ 伊東ゆかり 伊藤ゆかり 佐良直美 倉田まり子 八代亜紀 六角立男 内山田洋とクールファイブ
＊ 内藤やす子 円広志 前田美波里 加山雄三 加藤登紀子

オープニングで次の人の歌を歌っていくなんてのがあって、意外な人が意外な人の歌を歌うのが面白い。南沙織のティーンズブルースとか。触りだけだけど。

当然なんだけど、みんな若い。あと、ミニスカートが短い。70年代だからな〜 キャンディーズとかって、こんな格好で歌っていたのか。

Wikipedia を見ると司会者の変遷とかいろいろ面白い。前武時代の映像が残っていたらなとも思います。

今はヒット曲でも、一部の世代の一部のグループしか知らない? 紅白に出るのぐらいは?

ももいろクローバーが、おっさん受けしているとかいう説もあるが、特に否定はしません。ベストヒット USA も、まだ、やっているけど、見てるのは、やっぱり、おっさんなんだろうな。

SYSTEM ERROR

朝、ソニーのBDレコーダーに SYSTEM ERROR という表示が。リモコンも電源スイッチも効かず。おいおい。

前面パネルの中にリセットポッチ(あぁ、いうピンで押すようなボタンって何か名前があるのかな?) を押してみるが、立ち上がって SYSTEM ERROR。ここでも全然焦らず。

中にBD REが入っているので、コンセント抜いて、しばらく待ってからコンセントを接続。その時に、取り出しボタンを押しておくと「出た」。はいはい。そして、

PLEASE WAIT

はいはい。日本語で出せよって気もするが、別に問題なし。というか逆に日本語で困る人もいるだろうし。なんだが、待てど暮らせど、

PLEASE WAIT

前のスカパーチューナ HD1 と、前のBDレコーダーがあるからな。それに置き換えれば良いさ。中に入っているのは大したことないし。どうせ、再放送あるし。スカパーは再放送たくさんあるから。少し時間かかった変換した奴とかもあるけど、良いよ。ぜんぜん平気。

とかいつつ悲しい気分で、「しゃーねー、配線するか」と思って、電源切ろうと思ったんだけど。

ソニーの家電の中身は誰のせいとは言わないが、Linux 。ってことは、PLEASE WAIT は、だいたい fsck やっているはず。でも、今は、ほとんどは Journaling base だから、fsck には時間はかからないはず。

そういわけでもないだが、もう一度リセットボタン。PLEASE WAIT が消えて、BDドライブがカシャカシャ言う。なんか、HDにアクセスしている音も。でも、どうせ、SYSTEM ERROR だろうと思ったんだが、

　いきなり電源断

は? そこで、電源入れると、

　画面が映りました

おぉ! 中身もある! 良かった。朝っぱらから心臓に悪いこと止めてくれ :-p

ま、いろいろ悪いこともしてるからな。雨とかで変なデータが来ると飛ぶこともある感じ。

そういえば、前に調子が悪かったのは、BS/TV の分岐を別なBDレコーダーに分けていたせいだったらしい。AC ケーブルの極性チェックとかを思い出す話だ。

台風11号の続き

大したことないとか言ってたら、夜から本島の方に引き返してきたらしい。こいつは。で、夜から大雨に。なので夜中うるさかったです。

起きてみると「スカパーが入らん」またアンテナかと思って、うんざりしていたが、昼頃には復帰。なんだったんだろう。雲かなぁ。コネクタが水没したので、それかも。防水テープかなんか使わないとダメかも。BS は同じアンテナで入っていたのだが、別ケーブルなんだよね。

　＊　＊　＊

スカパーのアンテナは、

＊　スカパー2本
＊　BS 1本

という設定。今は一つしか繋げてないのだが、double tuner と組み合わせると二つ並行に録画できるらしい。

BS は1本でも複数録画可能。なんでだめかというと、スカパーは、2つの衛星をアンテナ側で切り替えているから。って、変調して、一緒に流すぐらいしろと思うけど。

実際、そういうシステムのあって、アパートの協調受信システムとかが、そうなっている。しかし、前のアパートのそれは絶不調だった。それで、沖縄に引き上げてきちゃったんだけどさ。

もう電波はいいから、インターネット配信にしろよとも思います。94年からだから、随分長く使っているけどさ。

ソニーのSKPの後継機が、そろそろ発表になるはず。double tuner かな?

台風11号ハイクイ

でかい割に暴風域がないという根性のない台風で、まだ、抜けるのは時間かかるけど、たいしたことはないらしいです。

雲が厚めで一日暗かった。

このコースは珍しいです。台風は高気圧の縁を通るらしいので、そういう影響かな。去年に比べればおとなしい感じ。

http://www.imocwx.com/typ/typ_11.htm

このサイトは愛用しているけど、今までの全部の台風の画像を置いてくれれば良いのに。

http://www.imocwx.com/typ/05/08/typ_11.gif

いや、こっちでいいのかな?

　＊　＊　＊

「女神候補生」を見始めたんだけど、これって、途中でやめちゃったパターンなのね。いや、まぁ、なんとなく真っ暗な終わり方をする予感がする話なので、NHK とは合わなかったのかも。やめとくとか。

正規拡大体

まだ、ガロア理論読んでます。3回目ぐらいなはずだが、今だに「あ、そうか」みたいなのが多い。ぼけんたんじゃなかろうか?

体は足し算、掛け算、割り算があるぐらいの意味だけど、体は有理数、代数的な無理数、代数的でない無理数、複素数という風に拡張できる。一方で剰余演算みたいにすると、数字が有限個しかなくなって縮小される。

拡大した時に、有限次元しか大きくならないと有限次拡大なんだけど、そのためには、付け加えた新しい数 αのn乗が、αのn乗以下の多項式になる必要がある。そうでないと、αのn乗が全部基底になるから無限次元になるわけね。

α^n = f(α)
α^n - f(α) = 0

だから、付け加えたαは、元の体の多項式の根でないといけない。体の多項式の根を使った拡大は代数的拡大という。つまり有限次拡大体は、代数的拡大だということ。

πは多項式の根ではないから、πで拡大しても有限次拡大にはならない。√2 は代数的拡大だから、有限次拡大になると。有限次拡大は代数的拡大だってのがわかるのが重要だったみたい。(この辺りは7/3の日記にも書いてるな)

一つの要素αによる有限次拡大はαの高次多項式になるけど、アルファがn次式の根なら、そのn次式で割った余りで考えれば良いと思っても良いらしい。αの詳細(√2 = 1.4142..)とかを知らなくても α^2-2 = 0 を知っていれば良いっていうのが面白い。

正規拡大体は、重根を持たない多項式の根による拡大(分離的拡大)だと簡単に書いてある。根による拡大は有限次拡大だから、基底があって、その基底を入れ替える変換が置換群になるという風に進むのね。

そう考えると、正規拡大体って、方程式に直接結びついている、ある意味、極めて狭い概念なのか。なんとなく、もっと広い概念化と思っていたけど、多項式だと思って良い(しかも重根なし)わけか。

σ(a/b) = σ(a)/σ(b)

とかもなんか新鮮。そんなにうまくいっていいのか的な。(おいおい)

数学の本は、地道に問題解いていかないと、直観が身につかないな。

満点食堂の野菜炒め

お店で頼むメニューは固定する方です。考えるのめんどくさいみたいな。コートドールはパスタだし、ハリーズはチキン野菜激辛だし、Mou はプッタネスカだし。

最近は、近所の満点食堂の野菜炒め。最近「ポーク抜き」。塩分控えめも可能らしい。550円。ちなみに「ご飯1/4」で、これです。超ガタイの大きい兄ちゃんが「オムライス小」とか言うようなお店です。

一時期、焦げ臭かかった。なべこがしただろう的な。今はだいぶまとも。味は別に普通。普通に作ってれれば問題ないです。

Mountain Lion の続き

iMac で特に問題なく。なので、MBP17 の方も Mountain Lion に。App Store で、もう一つ買うのだが、

＊　無料

太っ腹。1700円のお布施で何台まで? iApp と同じなら5台か。

Xcode も新しければ、そのまま動くらしい。古いと動かんと文句を言う。で、Preference から Command line tools を download すれば、make も、いつもの場所に。素晴らしいです。

引っかかるのは、Perl/Python/Ruby のmodule。これが全部落ちる。昨日設定した epkg で楽勝。~/.cpan/build の下を手動で、sudo perl Makefile.PL ; sudo make; sudo make install

Xquarts も簡単。X11 の 14x14 font は、iMac では維持されたが、MBP では消されてました。入れた場所の違いか。UIMも特に何もしないで動く。すばらしい。

VMWare も update するだけで問題なし。Eclipse も java6 入れる? って聞かれるだけ。入れておいた jdk7 もいじられず。

Postfix もそのまま動くし。

むしろ、面倒なのは iPhoto の Library rebuild か。

Unix base な source compile も特に問題なし。

Mountain Lion は、minor change だよね。

あぁ、Time Machine が Deep event scan しまくっているよ。これはバグだな。正気な人は最初の update ぐらい待つべきだよな :-p

Reminder が便利だとかいうが、まだ、試してません。

で、これが Facebook から見えれば、facebook への投稿も Ok と。