No Such Blog or Diary

バイクが6ヶ月点検を終えて返ってきた．法令の定期点検は1年単位だけど，半年ごとにやっておかないと保証が消えるしオイル交換とチェーンの調整もしなければならなかったのでお願いした．工賃8400円＋オイル代（３０％引き）で12k円弱．ついでにバッテリーのテスト・充電とクラッチ調整とお掃除も付いてたので値段に文句無し．プラグやエアクリーナのチェックもあったっけね．

さて，今回はフィルタ交換しなかったので，次の点検時には交換を忘れない様にしとかんと．どうせまた結構な距離を走るだろうから．

MPICH2の話．単一マシン上での複数プロセスは問題ないのだけど，複数マシン間でのプロセス起動に失敗しやがってくれる．

うーん，mpd もブートに失敗しているのでマシンの設定が悪いんだろうなぁ…　微妙に configure のオプションとかも昔と変わってたのでもう少し勉強せんと思い通りの環境に並んか．

とりあえず -verbose オプション付けても何が悪いかよく分からない．

解決： /etc/hosts に使用する全マシンのIPを正しく書いておくと良い．

http://ubuntuforums.org/showthread.php?t=1616288 とかそこらの ML のログを見てたら同じような症状が /etc/hosts で解決できるっぽいことがわかったので試しにやってみたらちゃんと動いた，Hydra も mpd も両方とも．自身のIPをちゃんと取れていなかったのが問題なのかしら？　とりあえず動いたので良しとしよう．

動いた記念に3台使って20クイーン問題を頑張って計算させる．対称性とか気にしてない実装なので遅いけど新しいマシンの負荷テストということで．

２年前，いよかんの季節に「いよかんの皮のむき方」とかいうエントリを書いた．正しくは「いよかんの変な皮のむき方」だったりするのだけど…　

で，なにやら google で「いよかん 剥き方」を検索するとそのエントリが上位に現れるらしい．画像検索すると螺旋に剥かれたいよかんが最初の画面にひょっこり現れるし．こんな剥き方なんぞ全く世の中の役に立たんよなぁ…　子供は喜びそうだけど．もう少し気の利いた剥き方を開発したい気がする．

それはさておき，いよかんの正しい食べ方（皮のむき方）ってどんなんだろう？　いよかんの皮は中途半端な硬さなので手で剥こうと思えば剥けるけどみかんほど簡単じゃない．かといって包丁とか持ち出すのも大げさすぎて照れ隠しに螺旋に皮を向いてしまったりするし．今度愛媛の人間に聞いてみようかね．

数年前に実験で使った紙テープといくつかの資料が見つからない．研究室を一通り探し滝になっているけど見つからない．

代わりと言ってはなんだけど，目的とは違う40年前の大量の紙テープが発掘された．テープに書かれているメモを見ると何やら成績のデータか何からしきものもあったが…　現在のところテープリーダがないので何とも．一定のテンションをかけてテープを巻き取れる機械さえあれば穴の読み込み自体はwebカメラで十分できるのだけど．

当時の実験担当者が数日後に来るのでその時にまた探す．

今回の旅程では４回飛行機に乗った．その内３回は隣の席が空いててエコノミーなのに快適モード．一番後ろ当たりは勝ちが多い．最初の飛行機がコードシェア便で席を撮り忘れていたのは痛かった…

さて，出張中に届いたマシンのセットアップも終わったし，そろそろ帰るか．

とりあえず Robin Milner 1時間．

次いでメドレーセッション．最初は GPU で 0CFA という面白話．preprint version の紹介を研究室輪講で聞いていたので，著者らの考えを確認するのが目的．とりあえず 0CFA 以外の計算に使えるという意識を持っているようで安心．とはいえ具体的に何に使えるかは述べてなかったが…　結局のところ集合上の不動点演算系は何でもできるんじゃないのとは思いつつも具体的なアプリケーションは思いつかない．とにもかくにも sparse matrix 万歳．ELL form 万歳．GPU上で効果的に実行できる面白い計算パタンを示したという点が最も価値ありと思う．次は quantum computation の bisimulation の話．ぶっちゃけ量子計算自体に誰もついて行ってない気がしたのだけど…　量子テレポーテーションのプログラムですらスライド見ただけでは時間が短すぎてわからず．幸いなことに Wikipedia にある quantum teleportation の説明を見てプログラムだけは理解できたのだけど，それ以外の部分はよくわからずのまま．まあ，量子計算自体がまだまだ新しいから道具の準備もまだまだなんだねという感想．そしてこのセッションの最後は DPJ (Deterministic Parallel Java) に入れた安全な non-determinism の話．DPJ は deterministic-by-default というコンセプトで，基本的に入力に対して出力が一意に決まる．でも効率悪いことがあるから明示的に non-deterministic な事してもいいよね，という話．このセッションは全くもっててんでバラバラな内容で面白かった．

以下略．

お昼はまた Whole Foods Market で．今日は詰め込み過ぎた…