Home > Archives > 2014年01月

2014年01月

「レポートはプレーンテキストで出してね 」

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

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

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

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

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

閑話休題.

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

あと2日で

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

閑話休題.

実験結果が来ない……

今朝は霧がすごかった

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

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

閑話休題.

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

無理ゲー

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

閑話休題.

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

写真屋さん

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

頭痛が痛い

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

締切は金曜日か……

今日はちょっと暑い

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

ページが足りねぇ……

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

Coq でよくあること

vm_compute が爆速で驚く(インスタンスのサーチが速くなるのか?).

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

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

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

閑話休題.

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

ちょっと雪が積もった

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

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

車が真っ白で

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

腕時計がそろそろ本格的に壊れ気味

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

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

バイクを半年の点検に出す

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

休日出勤その2

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

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

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

閑話休題.

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

休日出勤

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

閑話休題.

酸素足りない.

小倉に泊まる

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

日帰りはよろしくない

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

閑話休題.

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

Skype でミーティング

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

車の12ヶ月点検

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

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

お汁粉をくう

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

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

寝ぼける

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

サンライズ瀬戸る

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

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

手作業が面倒すぎる……

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

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

閑話休題.

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

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

なぜXML……

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

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

X復活

カーネルのログを見てたら,カーネルモジュールのバージョンと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だな,と.保湿装備と合わせてだいぶましになった.眠い.寝る.

寝こむ4

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

寝こむ3

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

寝こむ2

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

寝こむ

風邪か…… 寒い.

紅富士

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


Home > Archives > 2014年01月

Search
Feeds

Page Top