3限からボスの授業…だったのですが、なんと起きたら 12:30。もうすぐ始まる… orzというわけで、 KTN さんには申し訳ないがお休みすることに決め、せっかくなので 2:20 からの奨学生証の交付をしてきた。ほんとは 4:00 に行く予定だったんだけどね、一石二鳥…

http://www.atmarkit.co.jp/flinux/rensai/linuxtips/752instfc4.html レスキューCD で、 FTP か HDD 上の ISO イメージを使ってインストール可能らしい。 FTP 使うときは、サーバの URL をメモっておきましょう。

SP5はでないのか…

不動点定理。 f = φ(f) の最小不動点が存在する。 φの最小不動点は ⊔{φk(⊥)}k となる（ように拡張した）。φ の構成法。 例えば階乗 fact(x) := if x=0 then 1 else x⋅fact(x-1) は、 F(f) = if x=0 then 1 else x⋅f(x-1) の不動点である。 このとき最小不動…

今月のカード支払い（5/15-6/14） C マガ定期購読: 13000円 （12ヶ月分） 楽天ブックス: 10000円 （C++FAQ が 5000円） コンビニ: 2500円 （5回） カラオケ: 6000円 （3人分） フォルクス: 7000円 （バーグ部活動；5人分） ヤホーBB: 3000円 ぼだぽん: 2700…

http://www.kanzaki.com/memo/2005/06/28-2 application/ecmascript の発展に期待

暑い。暑すぎ。朝から 30 度越えた…。もうだめぽ…。レポート無事提出。いかった、いかった。 んで、久しぶりにパターン認識の授業に出ようかと、意気揚々と教室へ行くと…休講でつた orz。もういかねぇ…（ｗ研究室に戻ると、草刈中。参加するまでも無く終了し…

5 時に寝て、 8 時に起きる生活。ボスの授業。今日も内容が難しくてさっぱりでしたが、案外面白かった気がします（謎突然 MIRU 行くの？とか訊かれてちょっとあせった。ロボット、そろそろ始動。フーリエゼミ、なんとなく発表。離散数学のレポートヤバイ。一…

で、朝 9:00 頃帰宅。 シャワー浴びて爆睡。 起きたら 16:00 （ぉとりあえず、ゼミ準備を 20:00 からはじめる（その間は何してたんだいつの間にか朝の 5:00。眠ー。

今日は、YMGS さん(id:wanderinpenguin) がひさしぶりに研究室に遊びにいらっしゃるので、ついでに朝から行って、ゼミの資料でも作ろうかと…起きたら 1 時でした orz気をとり直して、暑いのでシャワー浴びて、西○葉に着いたのが 3:00。てーか、マジ暑い。と…

キャリブレ演習、最終回（仮OpenCV の謎をいくつも解きつつ、とりあえず完全に動作する。これって、 Web で公開したら結構需要あるかな？ところで、 B4 の 3人にも同じプログラムを書いてもらっているのだが、全然終わらないみたい… なんか思考と言うか設計…

暑い。ので、今日はお休み（ぉぼーっとしてた（気がする夕方、バイトへ。久しぶりに家から自転車。微妙に霧雨降ってて怪しい気配がするが気にしない。小松川橋まできて、衝撃の事実。歩道が封鎖されてる。しかし、途中まで階段で登ればその先は続いていた。…

論理式 p(x, y) を、 p(x, νx) と置き換えたものをプログラム（の仕様）と考える。while 文は if 文と再帰で書き直せる。つまり P = while c do A とすれば、 P = if c then A; P else skip と等価。プログラムは、一般に再帰 p=φ(x, νx, p) の形で書かれる…

相互法則 reciprocity law

起きたら、授業にぎりぎり。霧雨。プログラム論、難しいけど結構楽しい。やっぱりもっと理論的なところ勉強したいなぁ。ところで、 BOSS がプログラムの不動点とかよく知ってるみたいなんだけど…。何でも知ってるなぁ…。不動点っていろんなところで出てくる…

午前からゼミ。午後の授業終了後、ボスとかるく会話して、NII へ。TRI さんに頼まれたキャリブレーションデータ作成。いまいちできない（ぉ おすぎにバレル。時間が遅くなったので、ハンバーグ弁当をおごってもらった。結構これうまい。なんか紙に包まれちゃ…

朝はボスの授業。早速お土産話を繰り広げ、 1 時間で終了。早っ！午後のゼミには現れず。ゼミ終了後、NII で OpenCV のキャリブレーションプログラムを完成させようとがんばる。でも完成しない。どうもおかしい…

フーリエ級数展開ができるのは、実数値関数だけ。球関数展開ができるのも実数値関数だけ。展開係数に実数使った場合も、複素数使った場合も同様。複素数値関数は展開できないのかねぇ？

地震キター

寝て曜日。今週は忙しかった。教習所に申し込み行ってる余裕が無かった。住民票とか必要なんだろうな…。昨日 BOSS が帰ってきたようだ。あってはいないがうわさはちらほら。 TRI さんによるとご機嫌だったそうで、なんか安心。さらに息子が研究室に来ていた…

TRI さんがらみで（なぞ） NII に出勤。とりあえず、昼飯を駅のラーメン屋で食べる。むつみ屋。2回目。ところでこの店の名前に聞き覚えがあったので、友達に問い合わせたら、カモツケの店（謎）だったことが判明。結構いろんなところにあるのかぁ。 で、冷や…

キャリブレーション講習。 ほとんど情報がない OpenCV のキャリブレーション関数をつかってみてもらう。 …ほんとに情報無さ過ぎ。23:00 までねばってました。 B4 のみなさん、お疲れ様です。来週は完成？！ ちきなん めしや丼のチキン南蛮が、クリスピーなも…

球面調和関数（球関数）展開は Math World では Laplace Series と解説されている。ラプラス級数展開？ ラプラス方程式と関係あるからだろうか。ラプラス変換とは関係ないんだろうな。

GSL の Legendre 多項式は Abramowitz & Stegun による定義で、 の因子を含む。 これは Condon-Shortley Phase と呼ばれている。http://mathworld.wolfram.com/Condon-ShortleyPhase.html

雨。 午後から出勤。球面調和関数展開プログラム、完成せず…。 FC4 インスコ完了。ただし無線LAN は使えません。夕方バイト。 そんな一日。ブラザーのコンパクトレーザー複合機「DCP-7010」欲しい！ 熟慮の末 やっと Math World の球面調和関数の定義と、「…

http://flashblock.mozdev.org/ フラッシュを無効にして、クリックで表示できるようにする。フラッシュ広告に効果てき面。

雨。 うっかり2度寝したら、もう12時過ぎてる！！！！！！ あわてて大学へ。 遅刻した…。でも、まだ先生来てなかった。っていうか、発表者の KTN さんさえ来てなかった。ぉぃ。FC4 インスコ…。失敗。ブートイメージが書き込めなかったってエラーが。なぜ？？…

朝からゼミ。辺も点もセルもみんなグラフ化(謎FC4 ダウンロード。 球面調和 球面調和関数展開のプログラムの指令を始める。まずは、球面調和関数をカラーで画像化。いい感じ。 バーグ部 ついにハンバーグ部の活動キター。 行き先はぽるくす（フォルクス）で…

2限は休講。なんで午後1:30からのゼミまで爆睡。 で、学校に向かう途中で気づく。「ゼミって、1:00 からに（はるか昔）変わったんじゃなかったっけ？」ーFA? …正解。がーん orz。 実験 実験用の画像撮影。ウンダイ重い。カメラは魚眼モードで取れる高性能。 …

OpenCV なんと RPM パッケージを作るための spec ファイルが用意されているらしい。知らなかったー！明日あたりやってみるかな。