No Such Blog or Diary

熱海に５時半に着いた．そして伊東に5時半前に着いた．早すぎたので海岸で日の出を見てから会場入り．昨日は午後6時まで大学で仕事だし朝一番の飛行機を使っても午前のセッションには間に合わないし．寝台特急便利だな．

メモ：22時半頃に岡山を出たあと23時に車内改札に車掌が来た．寝てたらどうなるんだろう？　そして熱海到着10分前にも確認のために車掌が来た．終点とかなら放送かね．あとソロの狭さは想像以上だった．次はもっと広いところにしよう．

学生の提出してくれたプログラムを，その実装アルゴリズムによって分類しつつ時間測定するとかいう作業がキツかった．全員分のソースを眺めてどの種類のアルゴリズムなのかを目で判定してプログラムをより分けて……　その手作業での分類さえ終えたらあとはスクリプト一発なのだけど．

どう考えてもアルゴリズムの種類を機械的に判定するための仕組みを元となるプログラムに入れておくべきだった．前の課題では分類の必要がなかったので完全に失念してた．来年は手作業がなくなるようにしよう．

閑話休題．

中心極限定理と同じようにサンプルの中央値もサンプル数が大きければ正規分布になると．

その平均は真の中央値になってて，分散はサンプル数に反比例しつつ真の中央値の確率密度関数の値の逆数の２乗にも反比例．サンプル達を大きさ順に並べた時の真ん中のやつの分布を考えてやって，その上てサンプル数を増やした場合の漸近を考えれば良いっぽい．ここらの講義資料を参照．

入力データの形式はXMLにします．ルート直下の子達がそれぞれ数式を文字列として子に持ちます．人が書きます．

という話があったのだけど，なんで XML で書かねばならんのかよく分からん．文字列として書かれている数式を自前でパースするのだから，全体をオレオレ文法で書いてもなんの問題もなさ気に思う．数式のパースや構造のチェックを既存のツールで簡単にやりたいから XML を使うってんならわかるが．

カーネルのログを見てたら，カーネルモジュールのバージョンとXのモジュールのバージョンが違うぞボケというメッセージが出ていた．

kernel: [   18.759371] NVRM: API mismatch: the client has the version 304.108, but
kernel: [   18.759372] NVRM: this kernel module has the version 304.88.  Please
kernel: [   18.759373] NVRM: make sure that this kernel module and all NVIDIA driver
kernel: [   18.759374] NVRM: components have the same version.

nvidia-304-updates というパッケージで 304.108 のカーネルモジュールが入っているし X のログから X 側のモジュールも 304.108 となっていたので問題ないだろとか思ってたら……　先に入っていた nvidia-304 というパッケージの 304.88 のカーネルモジュールがロードされとったと．このミスマッチのせいで月曜から X が立ち上がらなかった．

ということで，nvidia-XXX なパッケージを全部消してから nvidia-304-updates を入れなおしたら無事 X が立ち上がるようになった．とりあえず，パッケージのアップデートが不親切なんじゃないかなと思わなくもない．もしくは何かがバグってたのか．

電子データだとコピーに改ざんを入れやすいからまずいんだろうけど，物理的な書類をコピーして改ざんを入れるのがどの程度大変なのかよくわからん．そこらのプリント用紙にレーザープリンタで出力して判子を押したものとかが対象なら，今のスキャナとプリンタの組合せで物理的複製もそれなりにいけるんじゃなかろうか？　やったことないからわからんけど．

とどのつまり，原本の提出が遅れてごめんなさい．

閑話休題．

昨日からメインマシンのXが立ち上がらない．アップデート入れて再起動したらそうなったのでドライバが更新されて機嫌悪くなったのだろうか？　よーわからんが仕事にならん．

粘膜の再生にはビタミンBだな，と．保湿装備と合わせてだいぶましになった．眠い．寝る．