2014年01月

というふうにレポートの提出の仕方のところに書いておいたら，report.c とかいうファイルを提出してくれた学生がいて興奮した．

確かにプログラムもプレーンテキストだし，ひょっとしてこれを実行したらコンソールにレポートが表示されるのか？　

とか期待しつつ中身を読まずにとりあえず gcc report.c を実行してみた結果：

report.c:1:1: エラー: プログラム内に逸脱した ‘\350’ があります
report.c:1:1: エラー: プログラム内に逸脱した ‘\252’ があります
...

残念，ただのテキストファイルに .c という拡張子が付けられてただけでした．何で .c なんて拡張子を付けて提出してくれたのやら．不思議．

閑話休題．

TeX でレポート書いて，ラスタ画像に落として，それを AA で再現したとかいうのも条件満たすよね……　「1920x1080 文字のターミナルで読んで下さい」とかやってみると面白いかも知れない．

1月も終わりだなぁ．そして論文の締切も来るなぁ．締切の時刻に関しては何も書かれていないのだけど AoE ってことでいいのか？

閑話休題．

実験結果が来ない……

100m先が見えません．そんな状況でライトを点けずに走ってる車の運転手は何を考えているのか？

暗くなったら自動で点くライトはあるけれど，霧が出たら自動で点くフォグライトってのは無いのかね．

閑話休題．

今年もやるよと言っていた会議の CFP がまだ来ない．例年通りならあと1ヶ月で締切というスケジュールだと思うのだけど……　どうすんだろ？

ちょっと他の人の担当分からページもらってこないとどうにもならん気がしてきた．うーん……

閑話休題．

リアル「ガラスのカボチャ」っていくつ出回っているんだろう？

卒業アルバムの写真を撮ってもらうのに写真屋さんを呼んだ．ものすごく逆光なところを撮影場所に選んでて大丈夫かなぁとか思ってたのだけど，写真屋さんは SB-800 と SB-900 を 6個つなげて何事もなかったかのように撮影．金のかけ具合が違うなぁ．

姿勢悪くディスプレイに向かいっぱなしなのがいかんのか，大分よろしくない．

締切は金曜日か……

氷が溶けてしまう前に阿蘇とかに行っておかねば．いつまで凍っているのだろう？

軽く2～3倍位ある．どうやって縮めるか，説明の戦略を変えないと無理だなこれは．

vm_compute が爆速で驚く（インスタンスのサーチが速くなるのか？）．

OCaml のバージョン違いでエラーを食らう（ハッシュテーブルのイテレーションの違いだかで omega の挙動が微妙に変わる）．

tactics の知識不足でうまく証明が書けないから proof-term をダイレクトに書いてしまう．そしてそのせいで Code extraction に失敗する意味不明なエラーを食らって泣く．

まだまだ修行が足りない．

閑話休題．

svn のチェックアウトに数時間かかるってのはどうなんだろう？　サーバが遠すぎるのが原因か？

車の屋根が真っ白くなる程度には積もった．高速道路も各所で通行止めが起きたようで．

とりあえず，先週末に降らなくて幸い．

昨日洗車したばっかりなのに……　大気が汚すぎるんじゃないの？　洗車代が馬鹿にならん．

時を刻むのは問題無いのだけど，ストップウォッチ機能とかのためのボタン類が音付きで誤動作しまくるのでセミナーとかで困りそう．18年もノーメンテだしなぁ．1年前くらいにも修理に出そうかとか思っただけど面倒でそのまま放置してたら最近になって特に機嫌が悪くなってしまった．

とりあえず部品があるのかどうかメーカーに聞いてみるか．

半年で1000キロしか乗ってなかったのでほぼチェーンの調整のみで15分．車で移動できるようになってからバイクの距離が全然伸びてない．そして暫く寒いので次回点検までにどれだけ距離が伸びることやら．春になったら九州一周とか行ってみようかね．

これって時給的に割に合ってるのだろうか？　周りの人々を見るとすごくリソースの無駄遣いな気が．

そういえば，監督員の開始の指示がでる1秒前になったチャイムで作業を開始した連中ってルール的にはアウトだよね．チャイム鳴らさないのがよいと思うのだけど．

音が出ないで電気刺激でもしてくれる腕時計がほしい．

閑話休題．

アナログ時計の秒針の進みを1秒毎と2秒毎とで区別すると1分間で30ビットは送れそうとか思った．

究極のアウトソーシングのブーメラン．

閑話休題．

酸素足りない．

明日からのお仕事に備えて小倉に待機．雪降なよ～

帰りの便でミーティングの終了時刻が束縛されるので議論を投げ出さなければならずよろしくない．明日の朝イチの用事さえなければよかったのに．

閑話休題．

参加費の領収書がやっと届いた．さっさと手続きせんと．

傍から見てるとディスプレイに向かって訳の分からないひとりごとを言っているようにしか見えないのが悩ましい．時差があるのも悩ましい．大体にして夜に暖房が切れるのが一番悩ましい．

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

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

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

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

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

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

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

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

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

閑話休題．

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

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

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

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

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

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

閑話休題．

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

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

どうもこう，喉の左の奥の鼻からの合流するところ辺りが……　粘膜しんどる．やっぱり綿のガーゼのマスクでないと保湿には使えん．

喉痛くて眠れない罠．とりあえず加湿器をゲット……

元旦に引いたおみくじの健康とかのところに熱が出るとか書いてあったっけなぁ．どうも鼻と喉がやられて乾燥しすぎて痛くて目が覚めるとかで回復せん．

風邪か……　寒い．

例年通り三嶋大社に4時半頃に初詣して，そこから朝飯食って初紅富士を拝む．