No Such Blog or Diary

息抜きにふらふらとお出かけ．「川崎線開通記念割引を実施中！」とかあったので（去年の１０月開通），走ったことないから走ってみるかと行ってみた．

けどまあ，罠々で．

罠１：大師JCTまで東京から横羽線で向かったら，ここでは川崎線に入れなかった．大師JCTで川崎線に入るには横浜方向から来ないとダメ．ということでベイブリッジまで行ってしまえ．

罠２：横浜方面から大師JCTにアプローチしたらジャンクション入り口直ぐの見通しの悪いカーブでトラックと乗用車の事故……　乗用車のフロントがぶっ壊れてた．トラックが後ろから押したのかね．とりあえず乗用車のおっちゃんが電話してたから事故った直後っぽかった．まあ，隙間があったらか抜けられて川崎線にブジ入れたけど．

ついでに，そもそも割引料金にするには大師出入口で出入りしてアクアラインか東京湾岸線に出入りしないと駄目だったらしいという罠０もあったり……

閑話休題．

首都高はジャンクションの接続が非対称なことが多くてちゃんと覚えとかないと痛い目を見る．そしてジャンクション近くの出入口も接続に制限があったりするので痛い．きれいな首都高が欲しい……

なんとなく気になったので家計簿データからバイク購入後１０ヶ月のガソリン代履歴を抜き出した：

 8月 11847円
 9月  2914円
10月 10482円
11月  6250円
12月  1707円
 1月  3058円
 2月 11464円
 3月     0円
 4月  7079円
 5月  6819円

月平均６千円強らしい．リッター１４０円として月に４３リットル．燃費をリットルあたり２０ｋｍとして８６０ｋｍ／月．まあ，もう少し走ったけど大凡こんなもんか．

閑話休題．

ガソリン代はこれでいいけど高速道路の料金がどうなっているのやら．ETCで払っているのでカード明細がないと分かる範囲で調べてみた．まず，ETCマイレージの記録から，首都高抜かして１１月と１月が３千円ずつ，そして２月が８千円．んで，最近のカード明細から，全部入れて４月が５千円で，５月が４千円．

まあ，平均で４千円と思っておくとガソリン代と合わせて月１万円．

前に悩んでた部分を暫くたってからまた悩んでみたら，問題を解決するアイデアがすんなりと出てきた．きっと脳みそがバックグラウンドでずっと探索が走らせていたに違いない．悩みは時間が解決するという現象の別解？

でもエレガントじゃない解法なんだよな……　もう一捻りするのは後回しにしてみよう．

オートマトンが大爆発しまくり．超危険．でも定数．

爆発させなくてもいい定式化でやり直すのも面倒なのでとりあえず機械的な合成は後回しにして手動で誤魔化そう．

プリンタの紙詰まりの頻度がだいぶ高くなってきた．残念な気分．

a (x + y) = a x + a y という分配則をちょっと一般化して，それに名前をつけようと思った．英語で言うなら generalized distributive law か何かかも知れない．

でもまあ，そんな名前でいいのかどうか分からんのでとりあえずググってみたら，面白いことにそのものな名前の論文「The Generalized Distributive Law」を発見．わくわくドキドキ．

で，論文を読んでみたら……

「我々は Generalized Distributive Law という名前のアルゴリズムを提案する！」

とりあえず分配則は使っているけど分配則自体は一般化してない．そして generalized distributive law はアルゴリズム名であって規則（等式）の名前ではない．「一般化分配則の計算量」とかいう感じの文言が出てきていて非常に違和感が……　というか突込みどころが色々と．

細かいことはさておき，アルゴリズムに「一般化分配則」とかいう違うドメインの名前を付けるのは色々と不利益でしか無いと思う．猫に「介助犬」って名前付けてるようなもんだし．詐欺にしか使えん．

賢く名前を付けるのって大事だよね．