2017年10月

明日の用務地が都心を外したところなので立川に泊まる．立川は昭和記念公園に何度も来てたけど徒歩で来たのはかなり久々な気がする．ここらならカメラ積んでバイクの方が楽だったし．

で，東京から遠い．大きな本屋に行こうかとかも思ってたのだけど荷物をホテルにおいてからとかやるには遠すぎる．新宿とかに宿をとっても良かったかもしれない．残念．

アスクルの箱を事務で回収するの忘れた．気づいたら事務閉まってるし．

明日から出張なので1週間放置するしかない．宅配ボックスとかあってくれると便利かもしれない．

最近スカパーが月に1回程度 WRC の番組を見るだけのものになってきてるような．ちょっと高い気もする．

で，タナックが来期はトヨタで走るのか．ヤリスでのタイタナック2号に少し期待．

数時間雨で濡れ続けた状態なら汚れも落ちやすいかもしれない，雨だから洗車場が空いてるに違いない，どうせ雨で濡れるから拭き取りしなくていいから楽だ，と思うことにして洗車してきた．最近全然洗車しとらんかったし．

そしてフロントガラスのコーティングがヘタってきた……　雨上がりとかに水滴に付いてた汚れが定着しちゃうのが悪い気がする．保護のためにフロントガラスに外側からカバーを掛けとくのが正しいのかもしれない．

キャッシュのアルゴリズムを考えた時，オンラインにやるなら LRU が直感的にはユニバーサルに最適なんじゃなかろうかとか思ったのだけど，よく分からんのでちょっと調べてみたら面白そうな論文を見つけた：On the optimality of Least Recently Used．

各アルゴリズムでのページフォルト数を確率変数とみなした上で，それら確率変数間の大小関係（stochastic ordering）をもってアルゴリズムの良し悪しを考えようという感じのアプローチ．この大小関係は，X1 と X2 を確率変数としたら「 X1 ≦ X2 ⇔ forall x, P(X1 ＞ x) ≦ P(X2 ＞ x) 」で定義される．どんな基準点 x を持ってきても X1 より X2 の方が x を超えている可能性が高いなら，X1 より X2 のほうが大きいと言いましょうと．自然な定義な気がする．

まだこの論文もちゃんと読んでないけど，その後に出た著者の博論（https://depositonce.tu-berlin.de/handle/11303/2683）も面白そう．

明日の昼間に東京の大学に届いて欲しい書類がある．12時までに郵便窓口で出せれば間に合う．だがしかし，完成した書類が手元に来たのは11時20分とかで……

書類持って郵便局へ走った．行程の多くが「車で」だけど，駐車場まで／からは書類持って疾走してる変な人になっていたに違いない．本郷郵便局みたいにキャンパスの目の前に郵便局があってくれると楽なのだけど．

閑話休題．

ひとつ手前の小さい郵便局でも午前なら大丈夫とかいうオチだったりするのだろうか？　今度調べておこう．

今朝，車の総走行距離が13万キロになった．

去年の 8/18 の 10万キロから 14ヶ月で +3万キロ．来年の夏には 15万キロかね．あと3年乗って 20万キロは突破したい．

そういやそろそろスタッドレスを買わないと．VRX2 が出たので買ってみるか．

健康だなぁ，という数値．血圧計がぶっ壊れてなければ．

とりあえず明日保健センターに提出しに行こう．

取っ手が本体から離れないように固定しているであろう長いボルトが錆びて折れた．樹脂製の取っ手で根本が金属部分を食らう形になっているので振り回さなければ外れなさそうだけど，テフロン加工もヘタっているので買い替えどきかも知れない．

まあ，6年も使えば十分か．

「いい結果だったので放送予定変えて報告します」よりも「結果が悪かったので予定変更して放送しません」の方が色々と納得できるのだけど……　なぜ前者なのだろうか．確率低かったのだろうか？

というか，帯域分割して予定通りの番組も放送すればいいのにと思うのだけど，どうしてそうなってないんだろう？　地方だから技術的に出来ないのかスポンサーとの関係で出来ないのか．

世界遺産のナレーションが変わってて，何となく新鮮．文末の力加減とかが聞き慣れている様相と違ったり．まあ，そのうち慣れそう．

書類に押印してもらうのにキャンパスを移動しなければならないので悩ましい．コッチだけで処理できれば早くて楽なのだけど……　来週の期限に間に合うかどうかちょうど担当が不在で確認もできず．

ぶっちゃけなんで物理媒体が必要なんだか理解できん．電子署名でささっと出来る時代になって欲しい．

閑話休題．

電子署名及び認証業務に関する法律の第三条で，電子署名も通常の署名の効力（民事訴訟法第228条）と同様って事になってるっぽい．なので後は努力次第．

第三条　電磁的記録であって情報を表すために作成されたもの（公務員が職務上作成したものを除く。）は、当該電磁的記録に記録された情報について本人による電子署名（これを行うために必要な符号及び物件を適正に管理することにより、本人だけが行うことができることとなるものに限る。）が行われているときは、真正に成立したものと推定する。

git pull したら error: pack-objects died of signal 7remote: aborting due to possible repository corruption on the remote side. とか叫ばれて pull できなかった．リモートで動いている pack-objects が死んでるらしい．

ということで，対処法をググった結果，とりあえず諸々のサイズの上限をリモートで指定してあげて一件落着：

git config --global pack.windowMemory "100m"
git config --global pack.SizeLimit "100m"
git config --global pack.deltaCacheSize "100m"
git config --global pack.threads "1"

結局この4つのどれが効いているのか分からんけれど．

今更ながらに宗像大社の宗像三女神の道の最高神だということを知った．周りの車が宗像大社のお守りばっかりつけているのも納得．

ということで，しばしば危険な道に突っ込んでくのでそのうちお詣りに行こう．

運転中に電光式の道路情報板でよく見かける文言なのだけど，言いたいことは分かるが日本語的に型エラーなんじゃないかと見るたびに悩ましい．悩ましくて注意が削がれるので事故の元．

ココらへんの文言って誰が考えて表示してるんだろう？

Wifi 親機とつなぐ時に悪い人が間に入って盗聴したり変なパケット挿したりちゃうかも，ということかね．そもそもパケットの盗聴・改竄が行われることを前提にしたプロトコルで通信していれば特に影響はないと．

とりあえず，WPA2（CCMP）ならせいぜいパケットを覗かれるまでなのであまり酷いことにはならなそう．

というか nonce がリセットされて同じ鍵ストリームが使われちゃうのは分かるけれど，実際問題としてそこから元のメッセージを復元するのはどんだけ簡単なんだろう？　A xor B が手に入るので A か B の一方が分かっていれば簡単だけど……　よく分からん．

阿蘇の雲海が出るかどうかの判定をアメダスの過去情報から Deep Learning で……　とか思ったのだけど，雲海自体の情報が少ないので悩ましい．

阿蘇どまんなか局というところに2005--2013の雲海の写真があるので，そこに雲海の写真が載っていない日には雲海がなかったと仮定すればそれなりに教師データは作れるのかもしれない．

あとはウェブにある河川・道路カメラの情報とかをこれから定期的に保存しておくのが良いかもしれない．

今日から公開ということで，折角だから 0:00～ の最速のを見に行ってきた．普段のレイトショーの混み具合とか全然知らんけど席は普通に埋まりまくっていた．

感想：三度目だからといつもの部分が端折られてて全体的にテンポよく進んでた印象．全体の何割まで進んだのか分からん（忘れてる）けれど，とりあえず次も期待．ところでワカメはギャグシーン？

だがしかし，映画見るためだけに移動するにはちょっと映画館が遠い……

九州だと「回転焼き」と呼ばれていることを今日初めて知った．驚きの名称．

だがしかし，なぜ「回転焼き」なのか？　そこらで売ってるヤツに「回転」要素は特にないと思うのだけど……

と思って調べてみたら，回転するターンテーブルな焼き型で作ってたかららしい．今でも佐世保の一休というお店に行けば見られるっぽい？　とりあえず佐世保に行ったら寄って確認してみよう．

サーバのログを眺めてみたら今日の 13時過ぎに危険な香りのするドメインからのアクセスが．その後に夜の 19時前にも．

面倒なのでとりあえず放置でいいか．

8月のハードフォークでビットコインキャッシュもその時点でのビットコインと同量を持っていることに今更ながらに気づいた．価格は下がり続けているので残念すぎる．もっと早くに気づいていれば……　昼飯代くらいにはなった気がする．

11月にもフォークが予定されていた気がするのだけどそっちはどうなるのだろうか．

最近涼しかったのに今日はとても暑い．エアコン効かない日当たりの良い部屋で仕事するとか無理．避難．

とか思ってたら事務からエアコンの臨時運転許可中の連絡が．　……無いよりはマシだけど遅すぎるんではなかろうか．

夜明け頃にコスモス園の様子を見に行ってみたけれど，早すぎた．

三光コスモス園．ちらほら咲いているのもあるけれど，まだつぼみがメイン．

おおとう桜街道のところも同様．こちらもまだまだ．

来週かな．

Chainer というより CuPy のインストールに四苦八苦．最初に CUDA 9 を入れたらダメっぽいので CUDA 8 に入れ直してみたり，その後に cuDNN が有効になってないとか warning が出ているので cuDNN を入れて諸々して pip install --no-cache-dir -I で何度か再コンパイルするも cuDNN が全然認識されなかったり．結局 cuDNN は無くても動くことがわかったので諦めた．

んで，Chainr のサンプル train_mnist.py を time で測ってみたら CPU（8コアx2）で 6分，GPU（1080）で 50秒．GPU のが 7倍くらい速い．cuDNN 有効にしたらもっと速くなるのだろうか？

とりあえずこれで DL で遊べる環境が出来たので，何かネタ学習をやらせてみようかね．

昼寝してたら暑すぎて起きた．窓開けて扇風機回してるけど日当たり的に午後はダメだ……

ここんとこ夜に雲が邪魔して月がよく見えない．お供え物が無いからダメなのかもしれない．

閑話休題．

団子ピラミッド（三角錐だけど）の高さってどの程度まで行けるんだろう？

飯テロが通じなかった……　残念．

抹茶入れてチョコ入れると美味しい．

なお，たこ焼きの香りが辺り一帯に……

エアコン掃除のダメ押しに暫く送風運転継続中．熱で殺すには暖房運転が良い気もするけれど人もくたばるので難しい．

冬になったら暖房つけまくってあげるのが正しいのかも．

とりあえずカビのいそうな表側のドレンパンを洗うことを目標に表側の部品を取り外し，ドレンホースを抜くのは面倒なのでつなげたままでドレンパンを空中戦でお掃除．熱交換器の影になる安全地帯にびっしりといやがったのを駆除．とりあえず満足．

よく考えると車検のあと2ヶ月半も乗ってない．タイヤの皮むきもろくに出来てないのでコスモスの様子を見に道の駅おおとう桜街道まで往復してきた．まだ早くてコスモスは数個咲いてただけだったけど．

んで，r414 を通るたびに確認して絶望している金国山の林道の入り口のチェーンが今日は張られていなかったので，様子見に突入して R322 へと抜けてみた．結論：5ナンバーのコンパクトカーでも突っ込んでいくのは少々微妙？　路面のヒビから生えた小さい木が邪魔でタイヤをその対面の穴に落とさないとダメそうな場所とか蓋のない横断溝とか（部分的に丸太が嵌ってたのでバイクならOK）とか何か装備がないと詰む．金国山の東側の部分は特に問題なかったのだけど……　というか，東から入って知らずに西への分岐に進んでしまった車とか泣くんじゃなかろうか？