No Such Blog or Diary

数年前から使っているIBMのHDDが順調に不良セクタを増殖つづけ，そろそろ一時ファイルの保存先にも使えなくなってきたので換装することにした．んで，どうせなので最近出た Seagate の Barracuda 7200.9 を試そうと秋葉へ繰り出したのだが…　１６０GプラッタのSATA１６０Gのやつはどこに行っても売り切れでみつからず．しょうがないので一世代前の 7200.8 の 250G を代わりに購入．無駄にでかいなぁ．とりあえずこれからシステムの修復へ．

ルービックキューブの正四面体版のピラミンクスが自力で解けたり．一面完成は殆どキューブの一面完成と同じ要領なのですぐ出来たのだが，残りの面をそろえようとすると２つのエッジがその場で反転した場合の直し方が少々わからず...　試行錯誤の末反転させるための少々長めの手順を発見し，自力完成を達成できた．何でこの手順で反転が直るのか良くわからんけど．ところで正十二面体のメガミンクスというのもあるけどこちらは一面完成がやっとだった記憶しかない．手元にないので今度見つけたらかってこよう．とりあえず計算すべ．

研究室にあったプロフェッサーキューブの動きが悪いので分解して洗浄．ついでにセンターキューブを固定しているねじを調節してもらったら驚くほどよく回転するように．しかし，分解の過程で一部のコーナーキューブの軸部分が破損したため再分解されやすく進化...　一応気をつければ分解されないので問題ないと思われるけど．ところで研究室のキューブは手元にあるのより大分軽い気がするのだが気のせいだろうか？　ついでに対象年齢８歳以上ってどういう基準なんだろう？

scan を機械的に build form にもっていったら型がうまくつかず...　ああ，面倒．別のルートで変形してみるか．

オートマトンの話が出たときにふと思い出したので．問題の確認をば．これは1957年頃に Myhill によって提起された問題で，内容は以下のとおり．

とりあえず兵士が一列に並んでいて，端以外の兵士は全部同じである．右端の兵士を将軍として，将軍が時刻 t = 0 に隣の兵士に射撃命令を下す．各兵士は有限の状態（記憶）を持っており，時刻 t における両隣の兵士の状態によって自身の時刻 t+1 の状態を決定する．ただし，初めは待機状態にいるものとする．これらの条件の下で，全兵士がある時刻 T において一斉にある特定の状態（射撃状態）に移行するように，兵士たちの状態遷移関数を構成せよ．

この問題の解は，兵士の人数を n とすると最小時間である 2n-2 （伝令が往復する）の解が存在し，87年に Mazoyer が 6 状態の最小時間解を与えている: Mazoyer. A six-state minimal time solution to the firing squad synchronization problem: Theoretical Computer Science, Vol. 50, Issue 2, pp. 183-238, 1987.

並列プロセッサの同期とか生物細胞の成長同期とかの応用問題があるらしい．

研究室の電気ポットは内容器の汚れがひどく，ポンプの吸出しもいまひとつ．でもだーれも掃除しないので朝一で出かけてクエン酸洗浄を試みた．とはいえ，やったことはクエン酸溶かして沸騰させ数時間ほっといただけだけど．ただしその効果は思いのほか大きく，底面にこびりついていた汚れがきれいさっぱり．ついでにポンプの調子も良くなり，おまけにカスがお湯に混じってよく出るように...　あと数回沸騰出水を繰り返せば良くなるだろうけど．もう少しこまめに洗浄しましょう．それにしてもカテゴリよくわからん．黄色本の続きを読むか．