2013年07月

新任用のFD研修とかで午後が潰れた．

なんか，考えればアタリマエのことを考えずにあたりまえにやらない連中が多いから色々と面倒が起きてるわけで……　つーか英単語をそのままカタカナで日本語にして意味分かった気になってる連中が非常にむかつく．

話に出てきた授業アンケートの質問の一つに「この授業の理解度はどのくらいですか」とかいうのだけど，この質問の意図はなんだろう？　学生が理解したと思ってても実は全くもって理解してないとかいうことも多々あるだろうに．理解させた気にさせるだけならいくらでもやり様はあるがそれでいいのか（簡単な小テストで良い点を取らせ続けるとか）？　アンケート結果をどう捉えてどう改善に利用できるのかとか考えて質問作っとるんかね．謎．

閑話休題．

エンジニアリングデザインの教育のために１年半掛けて問題解決をひと通りやりましょう的なコースのための工房に試作品をさっさと作るためか 3Dプリンタが置いてあった．ご家庭用0.1mm精度のものでも30万コースなので，よりよい精度のを簡単に使える環境があるってのは羨ましいなぁ．

ところで，エンジニアリングデザインとか現実的問題解決と言い換えてもいい気がするのだけどなんで英単語そのままなんだろう？　ABET の定義だと Engineering design is the process of devising a system, component, or process to meet desired needs. とか言ってるし．面倒だからか．

他分野の論文70ページ超えを理解して人にわかるように30分で説明って……　読んでも読んでも終わらない．

誰だこんな論文選んだのは．自分だけど．

とりあえず徹夜で読むことにする．

相変わらず血圧計が敵だという……　新しい場所だし．一台しか無かったから時間食うわけにもいかんし．はぁ

そしてレントゲンが上下に移動してくれないという……　レントゲン車なのでそんなもんなのかもしれないけれど，がに股になって高さを合わせるってのはどうなんだ？

閑話休題．

何も考えずにボタンの数が倍のシャツを着ていったので脱ぐのと着るのが面倒極まりなかった．

ちょっとミスってとても短くなってしまった気がする．剃るの一歩手前？　つーかタオルが引っかかって引いても動かなくなるとかいう絶妙な長さになった．

Let'snote AX3 は IPS パネルになったけれども相変わらずのゴミ液晶で……　C1でもそうだけどタッチ対応にするレイヤがクソ．やる気が感じられない．

VAIO Pro 11/13 の実機も触ってきたけど 11 はキーピッチが手に合わない．13だと19mmなのでオッケー．でも 13 は red edition がもうない……

4Kテレビはまだ高すぎる．けど海辺の映像とかリアルだったなぁ．ディスカバリーとかが4Kに対応したら考えよう．スカパー自体は4Kの練習してるっぽいけど利用できるようになるのはいつになるのだろう？　ぶっちゃけ 8K にいきなり飛ぶって選択肢はないのか？　2K → 4K → 8K って遷移すると制作側も視聴側も金かかりすぎるから結局 8K 待ちになって 4K で死ぬんじゃなかろうか．

カメラコーナーが微妙にレイアウト変わっててサンニッパ～ロクヨンまで並べて置かれてた．他にもツァイスのレンズが沢山触れる状態だったりとか．簡単に実物に触れる場所が出来たのは嬉しいところ．つーかロクヨンとか欲しい．

閑話休題．

2020のオリンピックを東京でやることになったら民放も本気出して 8K になって 8K テレビが安くなったりするのだろうか？　そうなるといいなぁ．そもそもオリンピックを 8K で放送して嬉しいのかどうか分からんけど．

つーか 4K/8K になって嬉しいのは自然もののドキュメンタリーとかだけだと思うので NHK は採算度外視でここらにもっと力を入れるべきだと思うのだけど．強制的に金を巻き上げてるんだから責任取れ．

鮎正宗・夏の純米（新潟鮎正宗酒造）はスッキリ甘くて美味しかった．

出張前に朝一の宅急便で届いたので記念撮影．これで 24, 50, 85, 135 と揃ったので何となくスッキリ．

閑話休題．

50ZAのレンズキャップには「α」のロゴが入ってない．なぜ？　

未だこんな時間かぁとか思ってたらとっくに予定の時刻を過ぎていたという罠．

前回電池換えたのいつだっけ？　だいぶもったような気もする．

つーかそろそろ保守部品もメーカーから消えたりしているのだろうか？　へたる部品を変えておきたいけれど……　東京にいるうちにやっとくべきだったか．

立方体の最も遠い２頂点（つまり(0,0,0)と(1,1,1)）の間の抵抗を求めよ，とかいう問題で．積分めんどいなぁとか考えていたら，端点で抵抗値が発散するってのが答えだよと．

……そりゃそうだ．

つーかこんな引っ掛け問題を面接で出されたら泣くぞ．

今回の車検から次の車検の手前までのメンテパックを付けて12万ちょい．うち，タイヤで４万くらい．

さて，どこにタイヤの皮むきに行くか？

閑話休題．

金下ろすの面倒だからカードで払おうと思ったら，一回の会計でカードは10万が上限だとかで結局金を下ろさないとならんという罠にハマった．残念．

目の前の公園（空き地）でやってるのらしくウルサイくらいにとてもよく聞こえる．そういえば小学校とかが夏休みに入ったのだっけ．

そしてちゃんと見てなかったけどラジオ体操中にちらっと見た時計が７時を回っていたような．ラジオ体操って６時半じゃなかったっけ？　録音かな．

茹でる（沸騰したら火を消して放置） → 裂く → 小分けにして冷凍しとく．

小分けしといた冷凍のをそのまま濃縮の昆布つゆに付けて一晩放置しとくとご飯のおともの出来上がり．

サラダに入れるには解凍のタイミングがムズい．

靴の慣らしを兼ねて，日本三太カルストのひとつである平尾台にある貫山に登ってきた．吹上峠駐車場から登って，行き1:40，帰り1:10，合計2:50だとか．累計の登り650m弱．

6:30 登り始める．

6:40 まだまだ先は長い．

そして振り返ると向こうの山が……　三菱マテリアルが削ってるのか？

6:55 大平山山頂までもうちょい．羊（石灰石）がたくさん．

6:59 大平山山頂．

基本的に見晴らしがよく緑の草原に羊が沢山いてる．

7:03 分岐点．とりあえず南に下って小穴の南を通るルートに進む．

7:20 途中の案内．貫山も四方台も書いてない……

7:29 小穴を南東から眺める．

7:43 町が眺められる尾根にでる．

7:46 四方台到着．

8:08 貫山山頂到着．北九州空港っぽい物が見える．

そして帰りは四方台から小穴の北を通って大平山山頂経由で降りてきた．道が急だったのでカメラは仕舞って写真なし．

そして洞窟に潜るのはまた今度．

ひんやりする冷却マットを試しに購入．面白そうなのでソルトタイプとかいうので．

とりあえずよく冷えるきがする．暫く使ってどうなるかは分からんが．

さすがに30キロオーバーのものを階段で2階に持って行くは重たいなぁ．玄関が2階だったら配達の人が頑張ってくれるのだけど．

というか壊れているのを今日認識した．超安物なのでレンズが両面テープで固定されているか何かで，熱でテープが死んでレンズが浮いてボケボケ画像しか撮れてない．

やっぱ安物はダメだな．

小型で信頼出来るのは GoPro なのだけど，残念ながら USB 電源供給と連動しての電源ON/OFF は純正にはないのでちょっと工作をしないといけない．リアコネクタに電源ボタンとかUSBのラインとかが来ているらしいので，USBの電源ラインをつなげつつ電源ボタンをタイマーで～数秒の間GNDに落とせば良いのだけど……　小さく作るのがめんどい．

生のまま薄切りにして鰹節と醤油と混ぜてネバネバで食う．簡単で美味しい．

閑話休題．

梅雨もあけたので久々に本気で洗車したのだけど，バンパーをはじめ細かい傷が結構増えてて残念な気分．ボンネットにも数ミリの塗装欠けが……　基本的に原因は高速道路だろうなぁ．

とりあえず保護のための処理をするか．

つまりは三崎港から佐賀関までフェリーで移動．橋でもトンネルでもない海上国道を移動したのは初めて．

インターネット予約で5%引きの6460円．予約の便より３時間前の便の出発直前に三崎港に着いたので，その便にお値段据え置きで乗り込んだ．１時間ちょっとくらいで海上区間終了．

7時台から23時台まで1時間に1便あるし，四国の西側に行くには結構便利かもしれない．佐賀関から家まで150キロあるけれど．次回はバイクで乗り込んでみるか（予約なし先着8台までとからしいけど）．

閑話休題．

佐賀関に到着後の暫くはナビのGPSが位置を補足できず佐多岬へ向けて道無き道を突き進むとかいうおもしろ動作になった．

閑話休題．

今回のヨサクの旅の旅費：高速代6,750円＋フェリー代6,460円＋ホテル代（2泊）9,000円＋ガス代（1300キロ）12,000円弱 ＝ 3万4千円くらい．帰りの1泊は要らなかったかも．それでも3万かかるのでやっぱ四国は出入りが高いな．同じ高速料金で琵琶湖まで行けるのに．

さて，次は近場の R488 か紀伊半島への遠征か．

ということで，３連休のメインイベントである酷道439の走破を目標に徳島を４時半に出て四万十を目指した．

が，R438との重複区間の見ノ越の峠のトンネル手前で山体崩壊による全面通行止めとかで初っ端から完全走破失敗．R439の規制情報だけは調べてて日曜なら全部行ける！とか思ってたのだけど，重複区間は若い番号の方に規制情報が出てるのね……　はぁ．

しょうがないので掲示の出ていた r260（と中尾山高原の謎道路）でワープして，そこからR348を逆方向に登って見ノ越の分岐に行くとかいう面倒をした．今回の行程でここだけ走れなかったので，いつか復旧したらまた来ないとな……

んで，めでたく R439 に入っのでとりあえず奥祖谷二重かずら橋を500円で見学．吊り橋怖い．

そしてR439の酷いところ代表格の京柱峠へ．まあ，対向車さえ来なければ怖くない．

そして京柱峠を下ってR32と重なった辺りからはものすごくいい道が続くので暫く詰まらない．R439の大体真ん中くらいにある道の駅土佐さめうらに11時頃到着．そこからバーっと走って高知側の酷い区間である杓子峠が15時前後？

んで杓子峠で一番面白いおにぎりを撮ろうとして対向車がズラリと現れてくれたの図．ヤバイのきたと思いつつシャッタ押したのでブレてる．当然このあとは狭い道バック記録更新．写真撮るために停車してなかったら更に長くバックするはめになっとったな．もうちょい退避場所が多いと安心．

つーか，R439は対向車多すぎ．杓子峠だけでも何台とすれ違ったのやら．杓子峠の北側の入り口には「ものすごく狭いからね！通行困難だからね！」って書いてあるのに……　時間帯とか曜日とかの関係もあるだろうけど，確実にこれまでの酷道で一番多く対向車に出会った酷道だった．

とりあえず後ですれ違った車の数を動画で数えてみるか．

数えてみた：R381の分岐から杓子峠を超えて反対の集落の２車線に出るまでの15キロ35分の間に1２台（内バイク２台）とすれ違ってた．ほとんどは運良く互いにバックもせずやり過ごせたのだけど，上の写真のとこだけは長距離バックが必要だった（対向車３台の団子だったし）．動画の記録によるとバックしたとこから元の位置を通過するまでに10秒かかってるので，20km/hで移動したとしても50mのバックだったらしい．若干のカーブはあったもののほぼ直線だったので幸いだったけど，もうちょいバックの練習しとかんとこの道は安心できない．教習所でS字とかクランクとか含めてバックのみの練習させてもらえないかな……

閑話休題．

今日は下道だけで450キロくらい走った．13時間くらい．そのうちR439が350キロくらいで11時間．対向車が多かったので疲れた……

閑話休題．

かずら橋は（見えにくいけど）ワイヤー入りで安全！　でも高いところ嫌いなので怖くて渡れない……　掃除のおばちゃん平気で渡っとったけど．

せっかくの３連休なので四国へ瀬戸大橋経由で乗り込んだ．とりあえず与島のパーキングエリアと橋との高さのギャップが酷いという印象．

そして橋を渡るまではいい天気だったのに徳島に着くまでに大雨に降られ……　明日の行程に影響がないと良いのだけど．

閑話休題．

とりあえず今日の走行距離は高速道路を500キロくらい．

とりあえず，リハーサルの L を sed で解いて満足．本番の C も原理的には sed でいけるけどマージソートを書いた時点で面倒になってやめた．あとは和を求めるルーチンと1/2にするルーチンを組めばいいのだけど……　1/2 にする簡単なルーチンが思いつかなかったのでやめ．

閑話休題．

今年の問題Aは難しかったみたいだなぁ．１問も解けなかったチームが去年に比べてだいぶ多かったっぽい．はぁ．

それにしても時間半分で全問正解とかトップのチームは次元がひとつ違うね．

フロントガラスへのダッシュボードの映り込みが激しいので，光を反射しにくい布であるところのハイミロンを敷いてみた．

とりあえず効果は抜群．物凄く見やすくなった．ぶっちゃけ金かかってもいいからダッシュボードを極低反射に加工するオプションが欲しい．

つーかボードはがして自分で加工しちゃえばいいのか？　どうでもいいけど自動ライト点灯のセンサーまで隠しちゃった気がする．ちょっとした日陰に入っただけでライトが付いた．

IPv4 のアドレスは 32 ビットなので大きな十進数１つでいいじゃんという……　検索かけるとそういうものが存在することは確認できるのだけど，どこに規定されているのかがわからない．IPv6 の方はテキスト表現に関する RFC とかあるけれど，IPv4 のテキスト表現に関する仕様ってどこに書いてあるんだ？

つーか普通に使える表現なのか．とりあえず IE9 では数字を書いただけでは通らんかったけど，http://数字/ としたら通った．Chrome だと数字だけ書いた場合には「もしかして」とかいうポップアップにドット区切りに変換された http:/ドット区切りの10進4つ/ というURLが表示された．もちろん http://数字/ としたら普通に通った．

驚き．

最近のはメールを確認しに行ってくれるようで，テレビにメールアドレスを一つ用意して，そのアドレス宛に予約内容を書いたメールを投げてあげれば外出先からも予約可能．試したらちゃんと動いた．

便利だなぁ．でもメール確認を2時間おきにしかやってくれないのがちょっと残念．15分おきとかでもいいじゃんとか思うのだけど．

あとは，Web 上の番組表からメール内容をクリックひとつで作ってくれるような仕組みを用意しておかないとちょっと使い勝手が悪いかもしれない．他にも予約の柔軟性が低そうなのが残念か．メール内容は日時とチャンネル（と録画先）を指定するしか出来ないので，放送時間がずれたらどうなるのかとかよく分からない．どうなんだろ？　

……遠隔で予約一覧の確認とか出来てくれると嬉しいのだけど，だめなんか．つーか，VPNあるんだから家庭内LANからブラウザ経由で予約操作とか出来れば十分便利だとおうもんだけど．そんな使い方せんのかね．

近くにドリーム店があるので飛び入りで置いてきた．タイヤ・オイル・エレメント・エアクリーナ・プラグ・クーラントを交換で．さて，どれくらいかかるのやら．

誕生日がゾロ目になる確率ってどんなんだろう？　1/1, 1/11, 2/2, 2/22, 3/3, 4/4, 5/5, 6/6, 7/7, 8/8, 9/9, 11/1, 11/11 がゾロ目の日なので 13/365 = 0.036 程度．30人いたら1人はゾロ目ってくらいか．なるほど．

そして誕生日プレゼントに LEDシーリングライトを送りつける．

どうもボタンの利きが悪くなってきたようで，ドラッグ中に色々とものを落とす．近くにあった rar ファイルの中にファイルが落ちてアーカイブ更新とか起きたり．あとは勝手にダブルクリックになってくれるとか．

使い始めて1年半だけど耐久度としてはこんなもんなのかな．とりあえず新しいのを買ってこよう．

つか，このへんでパソコン屋ってどこだ？

オルレアンを朝6時半に出る電車でパリに移動して，CDGを正午直前に飛び立つ便に乗って今朝6時半に羽田について．羽田を8時半に発って10時半に福岡に着いて，そこから1時間バスを待って1時間強バスに揺られて最後に歩いて1時過ぎに帰宅．移動に24時間ってのも疲れる．

つーか飛行機の中で8時間くらいは Coq とにらめっこしてた気がする．お陰で面倒な部分がひとつ片付いたのはめでたい．シートにPC電源ついてる席になってたので電力的理由による中断が入らないのがよかった．

だが眠い．このあと4時半から研究室のゼミだわ……

パリからの電車の切符がコンパクトになってた．刻印機は切符を左に寄せて入れてやらんと時刻打ってくれないとかいう微妙なオチが付いてくるけれど．

そして結局あんまりまとまって議論している時間はなかった．つーか訪問先の教授がパリで博論の審査とかいうオチで．代わりに自分の研究に関連したことを始めた新しい修士学生に研究の話を１時間以上するとかいうイベントはあったのだけど．とりあえずパリから帰ってきた教授と今後の仕事の進め方を議論してお仕事終了．

さて，あとはちょっと寝てから24時間掛けて帰るだけだ．

50ZA の予約をしておこうかなと思って楽天カードでの支払いを指定してポチってみたら，何度かトライしても「カード会社に弾かれました」と出て予約注文を完了できない．打ち間違いを確認しつつやってもダメという状況．

んで，何度目かのトライの後，携帯に 81923035631 (国内なら 0923035631) から電話がかかってきた．とりあえず意味不明なので無視しておいたら，どうもカード決済がはじかれるたびに電話が一本来るらしいことが判明．なんとなく怪しい．

調べてみるとこの番号は楽天カードの中の人からの電話らしく，なんか不正使用の疑いのある場合にはここから電話が来るのだとか．そして電話に出ないとカードがブロックされたままとか言う……　よく分からんが超不便なんだけど．海外ローミング中なので電話にでるだけで金かかるんだけど．どうしてくれんの？

ということで，カードがブロックされたままだと困るので，もう一度ポチって弾かれてみて，かかって来た電話に出てみた（決済弾かれて直ぐに電話が来る）．そしたら「そのサイトで同じ価格で不正使用されたとの情報があったので，とりあえずブロックしておきました（キリッ」とかいう話で……　ほんまかいな．ブロックをかけるプロトコルの全体像が全く分からんが，そんなルールでブロックすることが不正使用の防止にどの程度有効なのだろうか．不正使用ってそんなもんなん？　よく分からん．

電話で受け答えして自分の使用であったと伝えたら，電話中にすぐブロック解除して貰えて，結果として無事にポチる（予約を完了する）ことが出来た．が，こっちに負い目のない勝手なブロック（というふうに電話で言われた）によって安くはない電話代がかかるという不利益を被ったのだけど，その点に関してどう対応してくれるのかというのを聞き忘れた．どういう対応をしてくれるのかにとても興味が有るのだけど，今からかけると電話代が高いので帰国してから電話で聞いてみることにしよう．

次は来年か再来年か？　

閑話休題．

イベント後に呼ばれて参加したインフォーマルなミーティングでの内容が一番インプレッシブだったなぁと．ARMプログラムのタイムバウンドを保証するとか面白い．そもそもアセンブラのぐちゃぐちゃジャンプしまくりのプログラムを証明するだけでも面倒そうなのに，そこにコストまで導入して証明しちゃうとか．ま，あくまで上限の証明だし，その上限はこちらが与えておかないといかんのだけど（それを推定してくれはしない，という話だった）．並列版の証明とか更に面倒そうだけど，保証のある並列プログラムは欲しいよねという感想．

発表終わった．

ぶっちゃけ羽田からの深夜便で飛んでってそのまま発表するのは体力的に無謀．シャルル・ド・ゴールについたのが6時で，空港でたのが7時半で，パリ市内の会場についたのが8時半で，イベント開始が9時で，自分の発表が11時半．ちょっときつい．