2014年09月

本家の発売が10月5日で，Black は 4K の 30fps が撮影可能になったと．単純に HERO3 の倍の能力になったっぽい．1080p で 120fps が可能ってのもスローに使えそう．どうせなら 720p で 240fps も頑張って欲しかったけど．

だがしかし，4K の再生環境がないと意味ないよな……　8K まで待つ．

なぜか大殿筋が筋肉痛．昨日の日の出前に微妙に傾いたところで待機してたからか？　とりあえず謎．

閑話休題．

右手系で，関数 f(x) を右に a ずらして上に b ずらした関数 g(x) は g(x) = f(x-a) + b なのだけど，符号を揃えて g(x) = f(x+a) + b とかやっててバグりまくった．アホだ．

今日は雲海見れた．バンザイ．

日曜だからか今日は日の出前から人がたくさんいた．いつものカーブに30人弱，その上に10人位．

日の出と雲海．

すすき．

光る道シリーズ．シャッタースピードを30秒に調整しつつ車が通るのをひたすら待つ作業．下りの方が台数が少ないっぽい．ちゃんと計算してバルブでやったほうが良かった気もする．

ついでなので上の光ってる道の左にある山のてっぺんまで移動．そこから東・南東・南．

ついでに西．人たくさん．

だがしかし，ここは朝露がすごくて靴が中まで濡れた．レインウェアの下だけ穿いてったけど靴の防水能力が思いの外弱くて靴だけ濡れた．次はちゃんとした靴を用意しよう．

そして帰ってきて駐車場の方からいつものカーブ．7時半頃にもなるとだいぶ人がはける．この後の8時半頃にはだいぶ雲海が消えていた．

閑話休題．

今日は行きと帰りで1件ずつ二輪の事故直後の現場に出会った．行きは朝3時半にR212の松原ダムの北．前の車がハザード出して止まったのでなんだろうと思ったらちょっと先に救急車がいた．近くに転けた二輪とブレーキ痕の上に止まってる大型トラックがいた．何があったかよく分からんけどあの辺は細かくくねくねしてるから危ない．帰りは朝9時半頃に大分の r671（日田からR211に乗り入れる裏道）で警察が片側交互通行の交通整理をやっている区間にバイクが5台位とライダーたちと転けたバイクとレッカーがいた．こっちも何があったかよく分からん．特に危なそうなところでもないし．とりあえず落ち着いて走れ．

見頃過ぎてるだろうなと思いつつうきはの棚田の彼岸花を見に行ってみたけれど，思いっきり見頃過ぎで色あせてた．やっぱ先週末が見頃だったか．また来年チャレンジ．

そして峠の道は通行止め……　残念．

ついでなのでキリンビアパークのコスモス畑を下見．あと2週間くらい？

そして例のごとく雲海も見られず．だがしかし．秋になったからなのか早朝にカメラ構えている人の数がだいぶ増えてた．

結構ヤバゲな穴だと思うのだけど大学上流からのセキュリティアラートがまだ降ってこない．そんなんでいいのか？

10枚綴りの資料を大量に用意しなければならないのに学科のコピー室のページセッターが8枚までしか対応しておらず面倒すぎた．

資料原本の文字サイズとか見てみると2枚割付で良い気もするのだけど．配布資料を8枚に収める努力を……　紙と時間の無駄．そもそもオンラインでPDFを配布するんじゃダメなのかこれ？

数日前に初めて証拠写真が撮影されたとか．ついに撮った！　京都からの富士山 が詳しい．県境のものすごくピンポイントに飛び出した部分から剣ヶ峰がほんのちょっぴり見えてるっぽい．

とりあえず，超望遠で分かりやすく誰か撮り直してくれないかな．

閑話休題．

気差係数ってなんだろうと思ったら，この距離になると大気の密度の違いで光が曲がることも考慮しないとダメってのの補正用の係数か．密度が高くなる地表側に曲がるので，実際より高く見えると．なるほど．より曲がりやすい条件の時なら見えやすいのか．

ということで，今日の昼の飛行機で九州に帰ってきた．

学習したこと：新千歳空港は 6:20 にならないと開かない．駐車場はいつでも入れる．朝風呂も入れるっぽい．

4日間トータルで 2,354km を走ってガソリン 133.3L（21,573円）を消費．平均で 17.6km/L だとか．借りた車が3代目後期 Vitz の 4WD なので燃費はそんなもんでしょう．4WD のスイッチ切っておけばもっと良かったかもしれない．

閑話休題．

そういえば今回の最東端と最北端への訪問で本土四端を制覇したのだった．各場所での到達証明書とか自身を撮った写真があれば佐世保市から四極踏破証明書が貰えるっぽいが……　訪れた時間帯が変だったりいつも自身を写真に撮らなかったりで両方とも確保できていないので入手不可能．また今度訪れた時には自身を撮った写真を忘れずに用意しよう．

北海道ドライブの重要イベントのひとつを無事消化．

宗谷岬に寄ったあとにオホーツク海の日の出でも見るかと思ってR238で東海岸を南下し始めたら飛び出してきた鹿に当たった．ブラインド左カーブで左から車に向かって突っ込まれたので避けきれなかった．左フロントフェンダーが歪んだだけで自走できたのは幸い．

とりあえず，近くの駐車スペースに退避しつつ（生まれて初めての）110番を午前3時過ぎに掛けて，場所がよくわからんけど携帯の位置確認で確認してもらいつつ所轄に連絡してもらって，所轄の担当から自走できるなら近くの駐在所の警官を叩き起こすので3キロ弱ほど進んでねと言われ，駐在所にてもろもろ伝達して事故届けの手続き完了．あとはレンタカーの店が始まった頃に一報入れて処理終了．ちなみに鹿は逃げ去った．

そして被害額はノンオペレーションチャージの2万円のみ．免責補償料1080円（24時間当たり）を払っておいて良かった．

それにしても夜間の北海道の道は動物の出現率が異常に高いんじゃなかろうか（一晩で大体10回程度出会った）．アホみたいに飛ばしまくる車と合わせて北海道の夜の道はとても怖い．

最北端まであと一歩の野寒布岬（のしゃっぷみさき）．最東端の納沙布岬（のさっぷみさき）と読みが紛らわしい．

そして本土最北端の宗谷岬．独占状態．

宗谷岬から東側の海岸を南下して一昨日訪れた遠軽町まで行って，そこで給油しつつ次はR39の石北峠経由で銀泉台へのシャトルバスの出ている大雪湖へ．だがしかし，一昨日の知床峠と同様に峠は天気が悪い……

んで，天気が回復して銀泉台の紅葉．シャトルバス（後払い片道500円）で林道を登ったところからの眺め．

シャトルバス降りて入山簿に名前書いててくてく登って第一花園？を眺める．とりあえず目的の紅葉が見られたので満足．

だがしかし，それなりに勾配があるのに直前の土砂降りで地面がぬかるんで滑りやすくちょいと危険．

こんなところでコケるのも嫌だし足元が汚れるので上の眺めを写真におさめてさっさと降りることにした．写真撮る時間を含めて往復50分．ガイド付きの観光客の団体があまり適切でない靴を履いてこんな道をノロノロと降りるもんだからその後ろの登山装備の爺が苛ついてガイドにキレる場面もあったりとか．まあ，どっちもよろしくないね．

そして今日はしほろ温泉プラザ緑風によって休憩．500円．温泉4つ目．写真忘れた．

昼間に寝つつ南下してしんしのつ温泉たっぷの湯でひと休憩．600円．

どうでもいいけど道の駅の売店がこんなことになってた．北海道のご当地アニメだとか？　ニコ動でも見れるっぽい．

そして今夜は宗谷岬を目指して北上する．

本土最東端の納沙布岬で日の出．

最東端の碑が目立たないところにあって探すのに苦労した．

最東端に関係ないオブジェクトは目立ちまくりなのに．他にも北方領土とかの叫びが多すぎて残念だった．

納沙布岬から海岸線沿いに北上して知床峠に行ってみたら雲の中だった．

R334の延々と直線の部分．ぶっちゃけ飽きる．

太陽の丘えんがる公園でコスモス．300円．面積広いかもしれないが密度が低いので残念．変わった種類のコスモスも植わってたけどそれらは数が少ないので残念．

そして締めに道の駅うたしないチロルの湯で温泉に入る．500円．写真忘れた．

もうちょいでJGC入会の条件を満たせるので修行を兼ねて北海道へ行ってレンタカーでドライブ．出勤した休日の振り替えを消化せねばならんし．

微妙に飛行機が取れなかったので，夕方に乗り込んでとりあえず道の駅むかわ四季の館で温泉に入る．520円．なんとなく北海道は温泉付きの道の駅が多いような？

そして南の海岸線沿いに進んで襟裳岬を訪れる．風が強くて寒かった．

たまたま流星が灯台のビームに重なったっぽい．

とりあえずこのまま東を目指す．

フジノンレンズ XF56mmF1.2 R APD が12月に発売されるっぽいことを知った．「世界初」って部分は AF に掛かっている．

現在唯一のアポダイゼーションフィルタ入りレンズである STF と比べてどうなんだろ？　STF の発売は 1998年12月なので，16年分の技術差が出るのか出ないのか．とりあえず，最大撮影倍率をもうちょっと頑張ってもらいたかったかも．

8月とかいう噂から3ヶ月遅れでようやく発売．悩ましい．時々24mmでは足りないことがあるので 16mm が欲しい気もするのだけど，ぶっちゃけ500g強ってのは重たい……

どこか超広角が必要そうなところに出かけるときに考えるか．雲竜渓谷とかまた行きたい気分だけど．

閑話休題．

これをまたキタムラでポチると楽天カード止まるのかな．

来月頭の防災訓練のためのテストなのかサイレン鳴らしまくりでミーティングの邪魔でしかない．もうちょっと時間帯を考えてやってほしい．もしくは事前にこの時間帯に五月蝿いよという情報を周知しておいて欲しい．

閑話休題．

メインマシンのサウンドが認識されないのは物理的に壊れたのか（6年超えで使っとるしな）モジュール足りてないだけなのか．調べるのもめんどい．

Googleカレンダー上で開始時間をずらして予定を入れておいたのだけど，時刻を明記してなかったので，先週あたりに「なんでズレてんだこれ？　直しとこ」とかやってしまった気がする．あほだ……

閑話休題．

火災の警報をひと通り文言言い終わるまで流してから「訓練です」とかいうオチを付けるのはやめて欲しい．そして終わったなら終わったと宣言しろ．「鎮火連絡」で「火はほぼ消えました」ってのもどうなんだろう……

80切手ではダメではないか……　面倒くさい．

風が強すぎるので家で寝る．風邪ひきそうな感じだし．

鉢巻山の彼岸花はそろそろかな？　来週末は行ってられないのでちょっとタイミングが無い気配．

シチューが美味い．そしてシチューのルゥが溜まっていく……　買い置きしておいたのを忘れて買い置きしようとするからだけど．

なんかクーポンもらったのでせっかくだから消費．電源取れるだけでも有難い．だがしかし，ジュースが微妙に薄いのは気のせいだったのか？

閑話休題．

喉がヤバくなってきた．

卓上旋盤の実物を眺めに行ってきたのだけど，微妙なサイズで微妙なお値段．うーん……　

サカイマシンツールの ML-360 展示してるところ無いかな．

乱択アルゴリズムの証明とか Coq でできるのかなとか思って検索かけたら，Alea: a library for reasoning on randomized algorithms in Coq とかいうまさにそれってのが出てきた．面白そうなのでそのうち調べよう．

いつからおかしくなってたのか，ヒンジ部のパーツが微妙に歪んでディスプレイの開閉がスムーズでなくなってた．約10年位 let'snote を使い続けているけれど物理的な故障は初めて．どこで痛めたのやら……

今ひとつ logic における interpolation のイメージが良くわからん．恒真な implication を順序だと思って並べだ時の間を探すってことで良いのだろうか．最初の人がこれを interpolation と読んだ意図はなんだらう？

閑話休題．

何かおかしいので寝よう．

台湾ラーメンが辛かった……　味がわからなくなる辛さの閾値が低めなのでスープまで飲み干すとか無理というか苦行でしかない．

閑話休題．

鉄骨に磁気が残るのか．どの程度の強度なんだろう？

JAL だと FDA 便で小牧になるのでちょっと微妙？

そして空港から名古屋駅行きのバスでICカードが使えないとかいうのに驚いた．不便すぎる．

朝イチで電話があったので引き取りに行ってきた．無事異音解消とのこと．

んで，メンテノートを見てみたらピストンコンロッドキットとピストンリングリプレースメントキットとかいう名前の交換部品が使われたらしい．ピストンとリングを替えてオイルの噴射するところも直したと言ってたので，オイルジェットが微妙に詰まり気味だったからコンロッドとピストン一式変えてみましたとかいう感じかね．

つまりあの音はスラップ音とか言う奴だったのか……

だがしかし，はっきりとした音はなくなったけれどまだ微妙に紙を擦ったような微かな音がしとるなぁ．まあいいか．

閑話休題．

やっぱり車もサービスマニュアル（修理書？）を入手しておくかな……

スマートエントリーじゃないと面倒でしょうがない．いちいちキーを取り出すとか仕舞うとか差し込んでひねるかか小さいボタン押すとか．

ただのバックモニタは使い勝手が微妙？　死角が減るという意味では有用だけど，バックの狙いを確認するには向かない．バックガイドモニタ便利だな．

フロントウィンドウの撥水処理が無いので雨の中の運転が辛い……　

ランプオートカット（ヘッドライト付けっぱなしでエンジン切って降りると自動消灯してくれる）が無いとか地味に面倒すぎる．ライト付きっぱなしだと何度怒られたことか……

ナビのGPSの座標が km 単位でずれる……　一本隣の道を走ってたり変な工場に突入してることになってたり川の中を走ってたり．GPS補正とかいうメニューで強制的に補正してあげても（エンジンかけ直すと）またお馬鹿になってしまうのは何故？　ナビは無くてもいいけれど間違った位置を走っているように表示されるととても迷惑．

ということで，今後車を買い換える時にはここらに気をつけよう．まだだいぶ先の話だろうけど．

答え：そのまま自動で事後決済がされて2重に宿泊費払うことになる．要問合せ．

2週間前に泊まったホテルで，事後カード決済の予約だったと記憶してたけどチェックイン時に支払いを求められたので現地でカード払いしてみたら，カードの明細に宿泊当日（現地支払い分）とチェックアウト翌日（事後決済分）の2回宿泊費の支払いが入ってた．うん，残念．

これまでの事後決済での予約ではチェックイン時に支払いを求められなかったので，とりあえずこの経験法則から外れたこの前のホテルに確認の電話をしてみたら，「確認取って折り返し電話します」→「振込で返金します」ということになった．振込手数料分損するだろうに丁寧な対応で恐縮．来週くらいに振り込まれるらしい（確認面倒なので忘れた頃に気づくだろう）．

ということで，事後カード決済で予約しているのにチェックイン時に支払いを求められたら，その場で確認をとってもらうのが全体的に手間が少なくていいのかも知れない．以後注意しよう．

簡単に書けると思ってたら意外と手間がかかった．検索しても答えが見つからんし．

ということで，3次ベジェ曲線の式と放物線の式と2時間くらい格闘した結果が以下の PS ファイル．とりあえず，PSTricks の \parabola に倣ってひとつの端点と放物線の頂点をパラメータに渡す関数 parabola を作ってみた．

%!PS-Adobe-3.0
%%BoundingBox: 0 -10 201 201
 
newpath 0 0 200 0 moveto lineto stroke
 
/parabola {
4 dict begin
/y3 exch def   % the top
/x3 exch def
/y0 exch def   % start point
/x0 exch def
% control point at the start point
/x1 x0 x0 x3 sub 3 div sub def
/y1 y0 y0 y3 sub 3 div 2 mul sub def
% control point at the top
/x2 x3 x0 x3 sub 3 div add def
/y2 y3 def
% end point
/x6 x3 x3 x0 sub add def
/y6 y0 def
% control point at the end point
/x4 x3 x6 x3 sub 3 div add def
/y4 y3 def
% control point at the top point
/x5 x6 x6 x3 sub 3 div sub def
/y5 y6 y6 y3 sub 3 div 2 mul sub def
% now, draw the parabola curve!
newpath x0 y0 moveto x1 y1 x2 y2 x3 y3 curveto x3 y3 moveto x4 y4 x5 y5 x6 y6 curveto stroke
end
} def
 
% specify the start and the top points
0 0 100 150 parabola
0 200 100 150 parabola
showpage

結局, P(t) = P0 (1-t)^3 + 3 P1(1-t)^2 t + 3 P2(1-t) t^2 + P3 t^3 という3次ベジェ曲線の式から，端点 P0 = P(0) と P3 = P(1) とそこでの微分 P'(0) と P'(1) とを指定してあげれば，制御点 P1 と P2 は P1 = P0 + P'(0)/3 と P2 = P3 - P'(1)/3 で決定できる．この微分値 P'(0) と P'(1) とを指定して描かせるのは面倒なので，放物線の頂点と他一点を与えることで方程式（y-y0 = a (x-x0)^2）を確定して，その方程式から（t = (x-x0)/(x3-x0)とでもして）計算してあげることにする．それが上のPSファイルの中身．んで，計算された制御点を使ってあげると任意の t in [0,1] でP(t)は指定した放物線になっている．

エンジン始動後暫くの異音を直すために今日から車が入院．一週間くらいの予定らしいけれど具体的にどの程度かかるかは不明．

そして代車が新車．4月のマイナーチェンジ後の Vitz 1.3F で眩しい黄色．オドメータが10km．ETC のセットアップすら済んでなかったという．

せっかくなのでタンク一杯分くらいは走ってみようか．

Windows 8 で強制再起動を食らって仕事が……　ウェブのセッション切れるとかやめて欲しいんだけど．世の中はアトミックではないトランザクションで溢れているのだし．

強制再起動のキャンセル方法を知っておかないと危険だなと思った今日このごろ．