昨日やったことが、すごく前にやったことに感じられる。
時間が早いと感じてるのかな。

昨日は、午前中は、ircサーバのソースコードを書き換えていた。
open-coins用の仕様にするためにいろいろと書き換え。
ライセンスを調べてみたらGPL Version 1ということなので、
そのうち公開しますかね。
まぁ、まだ話し合う必要もあるだろうし、いつになるかわからないけど。
ちなみに、open-coinsのircサーバに行って、バージョン情報を
見ると自分のハンドルネームが書いてあったりします。
当分は、あのまま残ってるんだろうなぁ・・・。

午後は、サーバの切り替え作業をやったり、本を読んだりとかしていたはず。
なんか、集中力が足りないよね。前からだけど。
やることはあって、やろうやろうと思っていても、気づいたら
RSSリーダ見てたり、ニュースを見ていたりして、集中できてない。
簡単な作業だったら、ちょっと集中して、ぱっと終わらせればいいのに。

今日の午前中は、買い物。
カレー用の材料を買ってきたのはいいが、作る時間あるのか？

午後は、大学に行っていろいろと作業。
午後に何をやったか、思い出せない辺り、作業効率が悪すぎるよな。
つか、無駄な時間が多すぎ。さっさとやって他のことに時間を回せばいいのに。

さてと、明日は1限目から授業な訳で、8時に起きないと遅刻するわけです。
最近、5時間以下の睡眠をほとんどしないので、起きられるかどうか・・・。

ManagementObjectSearcher.Get()を使うと、この関数の中で一瞬、
フリーズしたのと同じような状態に陥る。なんで・・・？
マウスの操作も効かないし、再生中の音楽とかも止まってしまう。
まぁ、もうちょっと様子を見てみるか。

久しぶりに、ごりごりとコードを書いていた。
4時間ほどやって、400行か・・・ダメだなこりゃ。。。
まぁ、量より質な訳ですが、エラー処理が下手ですね。
throwする癖はついてきたけど、catchして処理してないから、良くない。
SerialPortとの通信部分なので、結構同期とかが面倒なのもあるんだけどね。。。

あと、スレッドを複数でやっているせいで、Formに対するデリゲートが
増えたりね。。。
そう思うと、Timerとかってどうやって実装しているんだろう？
Formの内部にウィンドウプロシージャがあって、そこからデリゲートを
呼び出しているから、実際は同一スレッドになるのかな。

さてと、そろそろ寝よう。明日は、朝から買い物に行ってくる。
ドリップコーヒーは、少し高いけど、粉状のコーヒーよりか美味しいなぁ。
もう一度、買ってきてみようかな。

ということで、WireShark使っていろいろと調べてみた。
なんか、DHCPからIPアドレスを取ってきて、それから30秒ぐらいで解放してる・・・。
何ででしょう？とりあえず、学術情報メディアセンター側に報告しておいた。

今日こそは、ゆっくり寝ようと思ったのにな。
気づくと2時過ぎてるよ。
しかも、論理システムの課題やってないしね。。。
明日の授業中にやろう。

大学のループ（5.3km）を走るのに、26分を越せなかった。
前回走ったときは、26分8秒で、今回も同じ。
ただ、今回は、2,3度信号で止められたので、それさえ
無ければ、25分台でいけたと思う。あと、もうちょっとかな。

ところで、空腹が原因なのか、何が原因なのか
よくわからないけど、吐き気がしてきた。
特に、体調が悪いわけでもない。何でだろう。

明日は、データベース概論の課題と論理と形式化の中間がある。
データベース概論に関しては、土日にやっておいたから、
あとは、パソコンに打ち込むだけ。しかし、それが面倒。
論理と形式化は、さっき資料を印刷して読んでいたけど、
これはどうなるかなぁ・・・。

とりあえず、データベース概論を少し書きながら、寝る。
これ以上起きていると、空腹に耐えられない気がするので。。。
まぁ、明日の授業中にやっても間に合うだろう。

論理システムの課題について、学類のMacでやる、というようなことが
書かれているのだけど、別にそこまで行かなくてもできるので、その方法について書いておく。

ただし、結果が可能性もあるので（特に考えられる要素はないが・・・。）自己責任で
お願いします。

とはいっても、そんなに難しいことはなくて、CygwinにX11のパッケージをインストールして、
PuttyからX11のForwardingできるように設定するだけです。

詳しく書けば、

0,Cygwinのサイト（http://cygwin.com/）からインストーラをダウンロードする。

1,Cygwinのセットアッププログラムを実行して、インストールするパッケージの中で、
X11のカテゴリ全部をインストールする。
（たぶん、全部は必要ないのだろうけど、面倒なので全部入れる）

1.1,インストール方法がわからない場合は、「Cygwin インストール」とかGoogleで
検索すればインストール方法が書かれているサイトがあると思います。

2,Cygwinを起動して「startx」コマンドを実行する。xterm（別の白い画面のコンソール）が
立ち上がることを確認する。

2.1,このとき、環境によってはX11のパスが通らない場合があるらしい。。。
そういうときは「/usr/X11R6/bin/startx」とコマンドを打てば、実行できると思います。

3,Cygwinを起動したままで、Puttyを起動して、coinsのマシンに接続する。この時に、設定で
カテゴリの中の「接続」→「SSH」→「X11」とたどって、「X11フォワーディングを有効にする」の
チェックを入れる。ディスプレイの場所は、空白のままでOK。

4,Putty上で、通常通りにgtkwaveをMacで操作するときと同じようにして起動すると、
自分の方の画面でgtkwaveの画面がみれるようになる。

4.1,Cygwinで起動されたxterm上でSSH接続してやるわけではないです。そういう方法も
あるのかもしれませんが、簡単にやるにはPutty側で接続してフォワーディングの処理を
させてやります。

これで、わざわざ学類のMacまで行かなくても、手元で作業ができます。

明後日中間テストなわけだけど、さっぱりわからん。

そういうわけで、ネット上で良さそうな資料がないか、漁ってみた。

http://www.sakabe.nuie.nagoya-u.ac.jp/~sakabe/logic02/021105haifu.pdf
http://www.math.h.kyoto-u.ac.jp/~takasaki/edu/logic/index.html#lectures

解析学とかは、結構取り扱ってる人がいるんだけど、数理論理学周りは、
あんまり扱っている人がいないんだろうなぁ。
とりあえず、これとか教科書を見ていつも思うことは、厳密性を求めてる割に
みんな表記が異なりますよね・・・。
いや、最終的に表してることは同じだからいいんだろうけど。。。

ところで、math.h.kyoto-uって、「h」となってるけど、何か不思議な感じがするなぁ。
そう思って、「i」ってやったら、情報科学研究科に飛ばされた。そういうことか。。。
今までも目にしていたんだろうけど、気づかなかったな。

いつの間にか、More Effective C++の日本語訳の新訂版が出ていたんだ。
2年くらい前には、日本語訳も絶版の状態で購入できなくて、原著を
購入して読んでいた覚えがある。

ところで、訳が悪いということで訳者を見てみたら、あの先生か・・・。
うーん、その先生一人だけで訳している訳ではないのだけど、
あの先生がいて、どうしてひどい訳になるんだろう？
実績とかを見ていると、そうなるようには見えないんだけどなぁ。
少なくとも、一度は目を通しているんだろうし、、、よくわからない。

のどがおかしいです。
声を出すと変・・・。

うーむ、やることあるんだけど、進まない。困った。
まぁ、何も考えずにさっさと終わらせるか・・・。

昨日悩んでたソースの終端を知らせるためにはどうするか、ということは、
MSDNを見たらしっかりと書いてあった orz

ストリームの終わりで S FALSE を返す。これによって、CsourceStream クラスはストリーム終了通知を送信し、
バッファ処理ループを停止する。詳細については、「CSourceStream::DoBufferProcessingLoop」を参照すること。
引用元：http://msdn.microsoft.com/ja-jp/library/cc353634.aspx

単に、S_FALSEを返すだけでいいそうで・・・。
早速実装してみたら、しっかりと動いた。
これで、aviファイルの生成はできた。

そうなると、どうやって他の形式にエンコードするか、ということなんだけど、
ffmpegでも使おうかなぁ、と思っていろいろと調べてみた。

そうしたら、どうやら、連番画像ファイルからの入力ができる模様 orz
画像形式は、jpegとかpngとかで、bitmapは対応してないんだけど、
既にできるとは・・・。

まぁ、いいや。
2時間くらいしかかかって無いから、そんなに気にすることでもない。
さて、これで大まかな見通しはたったから、時間があるときにでも
もう一度作り直すとするか・・・たぶん、やらないと思うけど。

日記のRSS出力がおかしくて、Description要素がなかったのを修正した。
おかしくて、っていうのは若干語弊があるな。
面倒だから、完全に実装してなくて、該当要素を書いてなかった、ってのが正しい。
いや、面倒っていっても、2行書き足しただけなんですがね。。。

そもそも、日記を保持しているデータベースの内容が4年前に
設計したままになっていて、改行タグ（<br>、<br />）を
データベースの中で持っていたりするんですよ。。。
いい加減、直せ、って話なんですけど、重い腰が上がるわけもない。

最近、植物の観察をWebカメラを使って行っていて、10分おきごとに
静止画を保存している。
それを、何とかして動画にしようと思って、昨日、ぱっと作ってみた。
仕組みとしては、DirectShowのSurce Filterを自分で作って、その
フィルタの中で画像を連続的に表示する。出力されたものは
動画になっているから、AVI Muxにピンをつないで、さらに、
それをFile Writerにつなぐという仕組み。
ただ、問題点がいくつかあって、どうしようかと考え中。

1,終了の検知が行われてないため、ずっとファイルを書き込んでしまう。
これって、どこで終端に達したという情報を渡すんだっけな。。。
インタフェースを外部に公開して、そこでやってもいいんだけど、
それじゃなくて、他の方法があった気がする・・・。

2,今のところ無圧縮AVIが出力されてるという仕様。
エンコーダのフィルタを挟めばいけると思うけど、ffdshowの
フィルタを挟んだら、メモリのサイズがどうこうで無理、って言われた。
他のエンコーダを試すしかないかな。

3,最終的に、自作のフィルタと上記二つのフィルタをつなぐソフトが必要だけど、
書くのが面倒になってきた。
実際のところ、数十行程度で終わる話なんだが・・・。

4,仮に配布するとした場合、COMコンポーネントってどうするのか知らない。
インストール時にregsvr32するしか無い気がするんだが、、、レジストリ汚すのは好きじゃない。

といったところ。
本当は、違うソフトを作ろうとして、Boostインストールしてたら、
なぜか方向が全く違う方にきて、こんな事やっていたというね、、、

久しぶりに徹夜して、木曜日の午前7時頃から、
土曜日の午前0時頃までほとんど起きていた。
まぁ、授業中もなんだかんだで、瞬間的に意識が飛ぶことがあったけど、
普段と同じくらいか、それより少ないくらいだと思った。

さて、問題のWORDの記事について、ちょっと文字数を数えてみた。
全部で、1万3千文字。400文字詰めの原稿用紙で32.5枚。
かかった時間は、8時間。4枚 / hour ってところか。
思ったより、書いていたんだなぁ。。。

ところで、（赤入れをしていただいた方に）今回の記事は
どうだったでしょうか？
1年間、WORDの記事を書いてきて、最初の頃よりは良くなったかなぁ、と
思うけど、他の人がどう思っているのかが気になった。
率直な意見を募集しています。

0時頃寝て、9時頃に起きた。0時に寝た、といっても、実際のところは
ベッドに寝ころびながら、携帯を見ていて、その状態で意識が飛んだ。

起きてからは、メール読んでいたりネットを巡回して、
open-coinsの方でmailmanの改造をしていた。

最初は、予備調査だけ、と思って、ソースコードを見ていただけだったけど、
そんなに時間がかからずにどこをどうすればいいのかわかったので、
そのまま修正を行った。

午後からは、床屋に行って、その後は、図書館でも行ってきます。

なんとか、一晩寝ずに書いて、書き終わった。ページ数は13枚。
校正すると、14から15程度になる予定。
しかし、意外と早く書けたなぁ。問題は、量より質かもしれない。
まぁ、そこら辺は今日の赤入れでわかるだろう。。。

久しぶりに、徹夜フラグが立った。

ちょうど明日が金曜日だから、徹夜しても、授業にほとんど支障が出なかったり、
論理システムの課題が明日の3時までで締めきりだと思っていたら、28日まで延期されたり、
リポビタンDが売り切れててどうしようかと思ったら、友人が持っていて売ってもらったり、
なんか、運命というか仕組まれているのではないか、とか考えてしまう。

ちなみに、理由はというと、WORDの記事の赤入れが明日で、諸般の事情により、
今日記事を書くことが決まって、徹夜決定、といったところです。
とりあえず、がんばって書いていきましょう。

とりあえず、今日やったこと。
最近、あまり日記を書く時間がなかったので、
久しぶりに今日やったことを書く。

前日に本を読みながら寝て、部屋の電気がついたまま寝てた。
いい加減、ベッドに倒れ込んだ程度で寝てしまうのは、どうにかならないかなぁ。
どうがんばっても、ベッドに倒れ込むと戻ってこられないんだよね。。。
本を読みたいんだが、そんなのはもちろん無理。

7時半頃起きて、いろいろとして大学へ行く。
授業を適当に受けて、Math for CSの授業で小テストがあると思っていたら、
延期だと知らされて、準備した意味はなんだろう、と思ってしまう。

6時間目に、ロボコンの話し合い。事前に話し合いの準備をしようと思ってたら
すっかりと忘れていて、最初の方が少しぐだぐだだった気もする。
しっかりと、準備をしないとな。。。

戻ってきてからは、情報特別演習のアドバイザ教員の結果を見たり、
いろいろとやっていたら、この時間になった。
ちなみに、情報特別演習は、希望通りT先生になりましたよ。
テーマは、並列プログラミングで何かやろうかと考えているけど、
具体的に何をやるかとかは、決めていない。

今のところ、やらないといけないことをメモしておく。

・ロボコンの設計書を作成するにあたって、いろいろと調べ物。
・open-coinsの移行作業の最終段階として、IRCサーバの移行を行う。
・必要に迫られて作っているものを

って、あー、いかん、委員会の仕事で本気で忘れてたものがあった・・・orz
あぁ、それと関係して、担当の先生にメールも送らないと・・・。

てか、何かのライブラリを来週くらいまでに実装しないと
いけないはずなんだけど、何を実装するんだったっけ・・・？

まぁ、そのうち思い出すか・・・。

うとうとしながら確率論の授業を聞いていて、連続型と離散型の
確率について話していた。
これについて、よくよく考えてみると、
連続型の場合に確率を求める場合は、確率密度関数を積分していた。
離散型の場合に確率を求める場合は、確率関数の総和を取っていた。

これって、微分と差分のそれぞれの世界の対応付けと同じだよね。
微分と差分がそれぞれ存在し、積分は総和（和文）に相当し、
冪は下降階乗冪に相当する。

そもそも、導入から考えれば当たり前なのかもしれないが、
なんとなく、同じような感じだな、と思って面白かった。

さて、こんな事を書いていないで、勉強するか。。。

ヨーグルトメーカを使うために、牛乳とヨーグルト（種）を容器に入れて、
容器を持ち上げた瞬間、ふたが外れて牛乳をぶちまけてしまった・・・。

もうね、目の前が真っ白というか、牛乳で真っ白なのもあるけど、
数秒間考えることができなかった。
下のカーペットの部分は牛乳まみれだし、そこら辺に飛び散ってるし、
という状況で本当に大変だった。
これを片付けるのだけでも、1時間近くかかったよ・・・。

あれ・・・鍋が見あたらない。どこにやったんだろう・・・。
1ヶ月前に友人と鍋やって、その後に、一度だけ何かに使った覚えがある。

あぁ、、、思い出した、プリンの時に使ったのか orz
とりあえず、午後から大学に行って探すかねぇ。。。

昼飯は、ラーメンでも食べていよう。

巷では、スポーツデーとかいうので、がんばっているそうですが、
こちらはというと、某所のサーバルームに缶詰です。

いや、某所って、隠す必要もなく、情報科学類のサーバルームで
open-coinsのメーリングリストの移行作業で缶詰なんですけどね。
2日間時間を取ってあるけど、既にある程度テストはしてあるから、
おそらく、うまく行くはず。すんなりいけば、1日で終わるだろう。
しかし、すんなりいかなければ、2日間修羅場となるのかなぁ。
まぁ、そろそろ着替えて行ってくる。

今日は課題もないし、早く寝ようかなぁとか思っていたのに、
明日の資料を書いていたら、3時になっていた。

しかし、資料を書いたのはいいが、これは・・・。
自分の文を書く能力がない、とかそれ以前に、
書かれている内容がアレ過ぎる。。。
とりあえず、内部構造の説明としては、使用するけど、
最後にはもっと楽なことを教えてあげないと
絶対に挫折者がでるだろうな・・・。

じゃあ、最初からそんなものを書くなよ、という話なんですが、
そこら辺は、なんというか、自分が書きたかったというか、
ついやってしまったというか、諸般の事情により（以下略

眠くておかしな文章書いてますが、すいません。
ローマ字入力で子音より母音を先に打ってしまい、
変なミスしたりとか・・・。

寝る。

眠くないけど、寝たい。課題をまだ半分しかやってない。
もういいや、明日の朝やろう・・・。

うー、起きるのがつらい・・・。妙に寒くて、布団から出たくない・・・。
しかし、課題をやってないから布団から出て、やるしかないんだよなぁ・・・orz