No Such Blog or Diary

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

 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 はアルゴリズム名であって規則（等式）の名前ではない．「一般化分配則の計算量」とかいう感じの文言が出てきていて非常に違和感が……　というか突込みどころが色々と．

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

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

論文中に local computation という単語が叫びまくられていた．local と冠された計算なので，プロセッサ間で通信など（同期程度しか）せず各プロセッサが自分だけで閉じた計算をするのだろう，と考えた．

が，どう考えてもそれは無理．通信しまくり．というか通信でデータを飛ばすのが本質．

んで，別の論文を見てみたら「となりのノードとしか通信しないから local だよ」と書いてあった．……．それって計算がローカルというより通信がローカルなわけで……

ネットワークの先は全部遠いと考えるかネットワーク上でも近いものは近いと考えるかで local の意味って変わるのね，という文脈依存に嵌ったのであった．