yuizumi's diary

■ 裁判員制度の問題

福岡地裁小倉支部で１６日まで開かれた強盗殺人事件の裁判員裁判で、補充裁判員を務めた大阪市港区在住の会社員男性（２４）が、職場に裁判員に選ばれたことを話したところ「欠勤扱いにする」と告げられたことを明らかにした。閉廷後にあった裁判員経験者の記者会見で語った。

裁判員制度が決まった頃に，私は「制度が社会に浸透するまではあまり引き受けたいとは思わない」と言ったことがある．新しい制度なので細かい不備があって自分が不利益を受けるのではという不安，「裁判官に選ばれたことを公にしてはいけないけれど，家族，上司などには（そもそも必要なので）伝えてもよい」といった決まり事のあいまいさ，などいろいろな理由があるが，「（日本の）企業がこのような制度にすぐには適応できない」と感じていたこともある．そして，どうも最後の点に関しては，ある程度は正しい予測であったらしい．

とはいえ，今ごろになって個別の問題として取り上げられる程度のことなので，たいていの企業はある程度きちんと対応した，とみなすことはできるだろう．ただし，有給休暇扱いにさせられた例はこれまでもあったという話も出ている．それに，休暇はくれたけれど，その後の会社の扱いが悪くなった，とかは表には出てこない問題だろうなあ，とも思っている節もある．

■ ネットワークカード

オンボードのイーサネットコントローラが壊れかけているらしく，10Mbps でしか接続できなくなっていた．しばらく気づかずにいたが，複数のウェブサイトから同時にダウンロードしても 1.1MB/s〜1.2MB/s ぐらいで頭打ちになっており，しかも片方を止めても速度がまるで変わらなかったために問題に気がついた．最近はスタンバイから復帰してからネットワークに接続されるまで妙に時間がかかっていたし，なにかと評判の悪い R***TeK 製だし，これはいかにも怪しいと言うことで，Intel 製で PCI-e 1x インターフェイスのイーサネットカード（EXPI9301CT）を購入した．ひょっとしたらデスクトップが微妙に不安定になっていたのもこれのせいだったのかも，ということでしばらくは様子を見てみたい．

■ ICFP 参加記

遅くなってしまったが私の参加記を載せておく．時間軸に沿った説明はほかのメンバーのブログにあるので，ここは史記を見習って各個人の担った役割を記すことにしたい．問題文については大会サイト（mr_konnさんの翻訳）を参照されたい．

• chunjp（ブログ）
  • 一次元総当たり法の実装．手法はシンプルながら初期の自動燃料製造システムにおいて重要な役割を果たした．終盤ではもっと特化した燃料製造系に置き換えられた．
  • 焼きなましソルバーの亜流版の開発．最終的には tanakh 版の性能がよくなったので，そちらに一本化されることになったが，中盤の頃はこちらでないと焼けない問題もかなりあったため，相応に貢献したはずである．
  • 計算資源の提供．解けずに残っていた自動車について 48 並列の計算環境を駆使して燃料を注入していった．地味であるが，結構な数の自動車に燃料を注入できたので効果は大きい．
• gusmachine（ブログ）
  • 問題文の本質の理解．開始して半日ぐらいはもやっとしか理解できずにいなたが，彼によって問題の数学的な理解が得られた．
  • 自動車の製造，検査，出荷．自動車の製造過程をおおむね一人で確立して，全 72 台の自動車を一人で製造，出荷した．
• izumi_yusuke（ブログ）
  • 自動車の表現法の解明．自動車の三進列表現の構造を解明した．後に phoenixstarhiro によって解析器が実装され，問題が解ける状態になった．
  • 掃除機の発明．終盤になって，大量の自動車が「記念提出」されるようになってきて，旧来の自動解答系の処理が追い付かなくなってきたので，（解けても解けなくても）一瞬で終わるスクリプトだけを実行するような自動解答系を作成した．後に nya3jp の手によって完全なものになった．
  • 追い込み．最後の 1 時間ぐらいの間，先述の掃除機では対応できない問題を目で見繕って，ひたすら手でスクリプトを実行するという実に泥臭いことをしていた．「あと 40 分もあるの？」とか暴言をはくほど重労働だったらしい．
• nya3jp（ブログ）
  • インフラの整備．ほかのメンバーの成果物を順次取り込みながら，全体としてひとつの強力なシステムにまとめあげた．彼は燃料製造にも自動車製造にも直接的にはほとんど関わっていないが，最初期（まだ三進列の解析も終わっていない頃）から最終盤まで彼のシステムがずっと大活躍しており，これなしには我々のチームがこれだけの成績をあげることはなかったと確信する．
• phoenixstarhiro（ブログ）
  • 回路（ゲート）の理解．いち早く「人間離れ」を起こして，最初の大難関であるゲートの中身の解明に成功した．
  • 回路構築法の開発．ゲートの解明からの流れで，任意の三進列を出力できるような回路構築法を設計した．
  • 符号系の解明．謎の表現として立ちはだかった三進列の仕組みは彼によってその解明の端緒が開かれた。後に izumi_yusuke と二人で長さと値は異なる符号体系を持っていることを突き止め，燃料と自動車の表現法の解明に繋げた．また，一般的規則（再帰的構造）を見いだしたのも彼である．
  • 燃料の表現法の解明．燃料の三進列表現の構造を解明した．もっとも，符号が理解できればほとんど自明であったし，そもそも符号系の解析と同時進行であった．
  • 特化型のソルバーの開発．特定の形をした自動車（だけ）に対して燃料を出力するプログラムを多数開発した．これらは先述の掃除機に取り込まれ，次々と自動車を処理していった．
• tanakh（ブログ）
  • 回路処理系の実装．上の phoenixstarhiro の成果をもとに回路のシミュレーター，生成系を順次実装した．土曜日の朝にほかのメンバーが起きたときには，すでに任意の ternary stream が提出できるようになっていて，みんなが驚くことに．
  • 焼きなましソルバーの開発．焼きなましによるソルバーを自動車の構造が判明してから数時間のうちに作り上げ，「無理ゲーを運ゲーに変えた」．プログラムは終盤にわたるまで絶えず改良され続けて，まさにチームの収入の柱として働き続けた．

正式にチームに参加表明したのがほとんど開始直前で，しかも 5 位以内確定という実にいい思いをしてしまったので少々恐縮している．問題自体はとてもおもしろかったけれど，ちょっと謎解き（というかリバースエンジニアリング）の部分が多すぎたかなあ，とほかの人とそれほど変わらない印象を持っている．サーバーは概してよく動いており，運営の方々は相当頑張っていたのではないかと思われるが，そもそも最初から DoS が起こらないように問題を設計しろよ，という意見も一理ある．

■ 家の鍵

家の前まで着いたときに鍵がないことに気づいて慌てる．行動を思い出すに会社に忘れた可能性が高いと思ったので，会社まで戻ったら無事に見つかったので助かった． 疲れた…

■ ICPC

今日は ICPC の国内予選があって，16:30 を過ぎてからはまるで仕事にならなかった．結果に変更がなければ以下の大学が通過すると思われる．

東京大（3），東京工大（2），会津大，大阪大，京都大（2），慶応義塾大，東京高専，北海道大，立命館大，鈴鹿高専，埼玉大，明治大，信州大，東北大，電気通信大，早稲田大，九州大，豊橋技科大，久留米高専，津山高専，長岡技科大，広島大

今年度は例年に比べて問題の難易度が上がったらしく，通過したチームの過半数が正答数が 3 問にとどまっている．ちなみに 3 問正答したにもかかわらず落選したチームは 5 チーム．神戸大は直上の広島大と 99 秒差だったのでちょっとかわいそうではある．

参加者，関係者の方々はお疲れ様でした．

〔追記〕神戸大のチームにはワイルドカードが適用されて予選通過となった．（07/11）

■ Windows on VirutalBox

わけあって ThinkPad X61 + Ubuntu 10.04 + VirtualBox OSE + Windows 7 + Word 2010 という環境で作業していたのだが，ネイティブで動かしているときと変わらない感覚だった．まあ Aero Glass が動かないという違いはあったが．最近の技術は本当にすごい．

とはいえ，動画とかゲームとかは少々厳しいようで，まあ動画に関しては見られないというほどではないのだが，描画処理が追いつかないことがあるのか，どうしても時々ちらついてしまうことがある．

ところで，実は Office 2010 は体験版だったのだが，さすがにこのまま使い続けるわけにはいかないので，アップグレード優待版を購入した．

■ ICFP Programming Contest

Twitter では既に宣言しているが，pure pure code ++ の一員として参加していた．落ち着いたら参加記を書きたい．

〔追記〕 参加記を載せました．（07/13）

■ TOEIC

470(L) + 480(R) = 950．今回はリスニングに結構な手応えを感じていたが，さすがにこの点数は予想外だった．米国出張の効果は絶大である．

これで晴れて TOEIC が 900 点以上あるのに英語が話せない人間たちの一員になった．

■ D11LC on NetworkManager

直前の投稿でも記したように，NetworkManager で D11LC（Emobile USB Modem）が使えないという問題があったのだが，いろいろ調べるうちに，動かないことのメカニズムがだいたいわかってきた．

modemmanager 0.4-beta1 に以下の修正を適用すれば「とりあえず」使えるようになる．

--- modemmanager-0.3.997.orig/src/mm-generic-gsm.c
+++ modemmanager-0.3.997/src/mm-generic-gsm.c
@@ -1851,6 +1851,7 @@
             goto reg_done;
     }
 
+    if (FALSE) /* quick dirty hack */
     if (   priv->reg_status != MM_MODEM_GSM_NETWORK_REG_STATUS_HOME
         && priv->reg_status != MM_MODEM_GSM_NETWORK_REG_STATUS_ROAMING
         && priv->reg_status != MM_MODEM_GSM_NETWORK_REG_STATUS_DENIED) {

どこかに報告したほうがいいだろうか．

■ ラップトップ

最近，ラップトップの OS を思い切って Windows 7 から Ubuntu 10.04 に切り替えた．今のところ，D11LC が NetworkManager から使えないことを除けば，だいたい思い通りに動作している．（普通の PPP クライアントを使えば使えるという話もあるが，それだと何だか悔しい．）

あと，インプットメソッドとして Mozc をインストールした．最初の公開の時点ではかな入力がサポートされていなかったので敬遠していたが，現在は使用可能になっている．かなり快適である．

■ 危うく回復不可能に

ラップトップのブートローダーとして Smart Boot Manager を使用していたのだが，思うところあって元に戻そうとした．そこで，ほとんど何も知らないまま，Windows 7 のインストールディスクから起動して「スタートアップ修復」を実行したところ，いわゆるリカバリ領域の BCD エントリを壊してしまったらしく，リカバリ領域から起動できなくなってしまった．幸いにして元のエントリのバックアップがとられていたので，インストールディスクからコマンドプロンプトを起動して，ファイル（C:\Boot\BCD）を元に戻して事なきを得た．すんでの所でリカバリ不可能になるところだった．

ちなみに MBR を戻したいときは，インストールディスクのコマンドプロンプトから以下のコマンドを実行する．

X:\Sources> bootrec /fixmbr

〔補足〕 BCD エントリが壊れたのは，おそらくリカバリ領域以外が空の状態で実行したから．

■ Yet Another i18n Issue

昨年、若田さんと一緒に滞在したカナダのロバート・サースク飛行士によると、若田さんが地球に帰った後、ＩＳＳで日本の宇宙食が詰まった箱を発見。「コーイチがお土産を置いていってくれたと思って、みんなで喜んで食べた。ところが、よく見たらコーイチじゃなくて、ソーイチって箱に書いてあったんだ」

（野口さんの宇宙食、食べられた　同僚、若田さんと勘違い）

アルファベットをやめて漢字に（ｒｙ

■ キーボード

今まで家では FKB108M/JB（Majestouch／茶軸／日本語配列／フルキーボード）を使っていたが，テンキーが邪魔に感じるようになったので，新しいキーボードとして Realforce 91UBK（Realforce／変荷重／日本語配列／テンキーなし）に変えてみた．

Realforce に変えた理由はふたつあって，ひとつけ違うキーボードを使ってみたくなったから．もうひとつは NICOLA 入力（親指シフト）を久しぶりに使ってみたかったから．Majestouch はスペースキーを長くしているので，シフトキーの代用となる変換／無変換のキーが離れており，しかも幅が狭い．そのため疑似 NICOLA 入力で利用するには向かないのである．

それで，さっそく NICOLA 入力を試しているわけだが，いまのところは普通のかな入力とごっちゃになるのと，配列の一部を忘れてしまったのとで入力が全然おぼつかない．それでも，不完全とはいえ指が配列を覚えていたことに驚きである．

■ 上の続き（NICOLA）

ひさしぶりに NICOLA で入力していると，シフトキー（親指の奴）と同時打鍵するキーバインドは意外と指が覚えているのだが，単独打鍵に関してはほとんど JIS のかな配列に記憶が上書きされてしまった感じで，まだ毎回のように間違える．それから真ん中の 2 列と最下段の一部の記憶がかなり抜けていて，ときどきレイアウトを確認しないと入力できなくなることがある．まあ，それでも朝のときと比べればましになっているので，だいたい 1 週間ぐらい我慢すればだいたい思い出せるかな．

■ Wii の D 端子ケーブル

Wii のケーブルを付属のものから D2 端子対応のものに変えたら，画質が一目見てわかるほどによくなったので驚いた．

■ 子どもの興味を引く授業

「パズルだ」「テトリスみたい」

３年１組の２４人は算数の授業で、数字が書かれたピースを組み合わせ、決まりを見つけながら数表を完成させる学習に取り組んだ。

（中略）

先生は空欄の数字を埋めた数表をスクリーンで見せた。さらにその映像を拡大して、１〜１１の段のかけ算を載せた１１行１１列の表にした。「（１１×１１の）１２１まである！」と驚きの声。「延々と続くの？」とつぶやいた子に、「かけ算が延々と続いていくことまで感じられたのは素晴らしい」とほめた。

（かけ算　パズルで体感）

こういった授業をいかに組み立てられるか，というあたりが先生としての素質の見せ所なのだろうな．

■ 商売の難しさ

先日、桃屋は全国の新聞紙上で「『辛そうで辛くない少し辛いラー油』品薄状態についてのお詫び」という異例の謝罪広告を掲載した。

昨年八月発売したラー油が爆発的なヒットを記録。品薄を通り越して店頭から消える事態が続いている。早速、電話をすると「お客様や販売店様にご迷惑をおかけするので、取材は差し控えさせていただきたい」（桃屋・営業企画室）と担当者は申し訳なさそうに答えた。事態の鎮静化のためCMだけでなく、取材対応も自粛しているという。

（異例のお詫び広告まで掲載　“食べるラー油”が大人気）

商品というものは売れすぎてもよくないらしい．

■ 新しい開発ツール

昨今では、プログラムの外部動作を変えないまま、ソースコードを保守管理しやすいように整理する「リファクタリング」という技法が広く使われるようになった。 リファクタリングでは、改変によってプログラムの動作が変わらないことをいかにして保証するか、というところがポイントになるが、従来はユニットテストなどに頼っているのが実情であった。

ワイ・ファイブ社が今日発表した poorifall というツールは、プログラムの等価性を判定することでリファクタリングの正しさを保証するというユニークなアプローチをとっている。 同社では、安全なリファクタリングのためにはプログラムの等価性を自動判定するツールが必要であると考えており、そのための技術開発を続けてきたという。 この poorifall に搭載された等価性判定技術はあらゆるプログラムに対して適用可能であり、これを用いれば改変前後でプログラムの動作が変わっていないことを保証できるため、リファクタリングによって新たなバグを作り出すといった事態を確実に防ぐことができる。

（株式会社ワイ・ファイブ、新世代の開発ツール「poorifall」を発表）

これはすごい…