No Such Blog or Diary

1年でおよそ 27500キロを走ったらしい．ちょうどバイク3年での移動距離くらい．バイクに比べて天候などの縛りがないので距離が伸びる．

そして今のところ特に調子の悪いところもなし．この調子で少なくとも10万キロは頑張って欲しい．

鏡開きってほんとは何日だっけ……　まあいいか．

道の駅で売ってた大きな鏡餅買っておけばよかったなぁ．スーパーとかで売ってる最近のそれっぽいものは中身が小分けの小さいのなので開く（割る）楽しみがない．まじでパッケージ開くだけだし．楽だけど．

うん，仕事の前の日はさっさと寝るべきだな．頭回らん．とりあえず，さっさと発表終わる＆質問出ないのコンボはキツイ．

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

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

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

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

閑話休題．

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

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

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

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