No Such Blog or Diary

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 の意味って変わるのね，という文脈依存に嵌ったのであった．

待ち時間が追加される要因があるので計画通りに現地に着かなかった．どちらか一方でもムーズだったら間に合ったと思うのだけど……　それ以前に電車を一本早くしておけば間に合ったとも言う．

だがしかし，一本遅らせると劇的に込み具合が変わってくれるので悩ましいところ．やっぱ自転車が良いかなぁ……　

「この枠組は hypergraph が扱えるんだよ」

「それってどういう事？」

「何でもできるって事さ」

hypergraphってただの部分集合族なわけで……　組み合わせ的な問題は全部それに落ちるわけで……　hypergraph最強だよね．

閑話休題．

hypertree の定義が良く解らん．もういっかい読めば分かるのだろうか．

洗車してチェーンの掃除と注油をしたのが今朝．そしてさっき大学まで往復したら予想外に流れが悪くて雨の降り出しに間に合わず……　半日でまた汚れた．めんどいから放置．

使わなければ汚れないかもしれない．

閑話休題．

あー，semiring には自然に preorder が入るのか．というか可換半群には，かね．とりあえず抽象的なことを延々と扱う長い論文は読むのが大変．とくにイメージがつかみにくいものは．

何となく一筆書きで輪っかを連ねたかったので，外環→常磐道→北関東道→東北道少し→北関東道の3/19に開通した部分→太田桐生IC→わたらせ渓谷線沿いR122→r169→r249で一周→r23で川俣温泉→山王林道で戦場ヶ原→いろは坂下り→日光宇都宮道路→東北道→振り出しに戻る．

以下，記録．上のルートで550kmくらいらしい．余計な動きも入れてメーターでは600km強．１2時間弱の旅．行きの高速は霧が酷かったので目の前の車をずっと追っかけてたら，燃費が20km/lとか．下道部分は24km/lだったので，やっぱり高速を速く走ると燃費が悪い．80km巡航している大型の後ろを付いていくのが一番燃費が良いかも知れない．

北関東道の3/19に開通した部分の新しいPA．さすがに新しい．

以下，r249で北上した部分．新緑と水がすばらしく綺麗．ついでに道も酷かったけど．

厳密にはまだr23かも知れんけど黒部ダム．有名なヤツではない．
そんで土呂部ダムの……池？　湖と言うには小さい．
そして土呂部の峠付近．沢と木のみ．

峠を越えて湯西川温泉郷に入ったとこあたりだろうか？　とりあえず水が綺麗すぎて感動．

そういや湯西川ってダム作ってるみたいなのだけど，ここらがどう変わってしまうのかは気になるところ．物凄く高いところに道路（橋）が出来てたりしたし……　どれくらい水没するんだろう？　まあ，最近整備されたっぽ部分は関係ない気もする．そしてさらに上流も影響ない気がする．

最後に川俣温泉の間欠泉．４０分程度の間隔とのこと．飯を食いながら１５分くらいまったら見れた．

そして山王林道は酷い道だった．いや，林道としては十分なのだけど．路肩の陥没具合と落石・落木の具合が危ない．そして何気に1600m超え．

閑話休題．

r169を90キロオーバーで走るバイクに後ろに付かれガクガクブルブル．道を譲るに限るが，道を譲れる場所にいたるまでが厳しい．

そういやR352の規制解除はまだかなぁ．