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 が入るのか．というか可換半群には，かね．とりあえず抽象的なことを延々と扱う長い論文は読むのが大変．とくにイメージがつかみにくいものは．