2003/05/29 (Thu)

• 講演会
  　2 限の授業時間には、ギョーカイの人がやってきて講演してました。
  　モーションキャプチャで 3D 作るとか、結構面白そうな話…なのですが、もうちょっと理論とかにつっこんでくれたらなあとか思ってみました。ま、来た人はソレ関係のソフトウェアの開発者というわけではないようなので、期待するのもちょっと酷な話なのではありますが。
  
  
• 演習 3
  　来週の発表何をしようか、実はまだ決まってなかったり。
  　とりあえず、バッファオーバーフローを実際にためしてみるとか、CCured について調べるとか、そのへんはやる余地がまだあるかも。
  　明日あたり指導担当の方に相談に行ってみようかしらん。
  
  
• 千石(正確には違うけど)のラーメン屋とゆーたら
  　ラーメン話が某所であったので、なんか一部方面で私がなんか書けと圧力がかかっていたりするわけですが。
  
  　こーゆー話だと、最終的には好みの問題になっちゃいますけど、私は千石自慢のラーメンは大好きですね。あそこの脂は、全然しつこくないですし、むしろサラっとしてるのでおいしい部類です。
  　「あぶら」とは言っても、「脂」ならぬ「油」の膜が浮いてる某代田二郎などは、さすがに頻繁に食べるにはちょっとと思うのですが。醤油そのままに麺入れて、上から油でフタしたような感じ。あれは結構胃と舌に来ます。
  　対して、赤羽二郎のはおいしいと思う。スープにもちゃんとコクがあるし、脂は脂で淡白な味の野菜と一緒に食べればちょうどよい塩加減です。あそこは何より麺のコシの強さと太さが、噛みごたえのあるあの歯ざわりが大好きなのですが。
  
  　赤羽二郎までは、学校から自転車で片道 40 分程度。わりとよい運動になりますね。
  　以前は週一ぐらいで通ってた頃もあったのですがね…。最近は月二か月三ぐらいになってしまった。忙しいし。
  
  
• 明日は
  　ボウリング演習だよー、との話。
  　わーい。
  

2003/05/28 (Wed)

　めっさダルい…。

2003/05/27 (Tue)

• 本
  　地下に Haskell の本を二冊ほどおいてみたりする。読みたい人どうぞ。
  
  
• 演習 3 発表
  　とりあえず、渡された論文の内容をだいたい要約してまとめて発表。ターゲットは、安全性を保証する ANSI-C コンパイラの話。
  
  
• せっかくだから俺はこの赤のラーメンを選ぶぜ
  　赤門ラーメンはからかった。唐辛子入れなくても十分辛かった。
  　ていうか、しばらく口が痛かった。
  
  　あの具の量で、辛くなかったらいいなー。
  
  
• 本 (2)
  　今学期はデータベースの授業があるので、なんとなく PostgreSQL なんかを家のマシンにインストールしてみたりするわけですが。
  　でもやっぱし、一度じっくりなんかの本を読んだ方がよいのかもしれないとは思いつつあります。誰か、データベースと SQL だいたいカバーするような入門書って知りませんか。
  

2003/05/26 (Mon)

• 本のはなし

  他に「ゼロ時間へ」とか「すべてがＦになる」などが、 読んでないけど前から書名だけで気になってる本…

  　後者は持ってますけど、明日持っていってみましょうか。
  
  
• レポート
  　とりあえず、データは必要分はとったはずだ…。うひー。
  
  
• ぼら
  　最近はだいたい、週二で夕方から夜に出没するというローテーションが組まれています。
  　昼間は学校、夕方までレポートとか実験とかやって、それかららぼと。
  

2003/05/25 (Sun)

• やるきーでろー
  　今日もちょっとデータとりに学校に行きました。古いデータが結構条件があってなかったりして、データ取り直しプラス追加でデータ取りって感じです。
  　激しくやる気が足りません。どうしよう。
  
  
• あーでもやっぱり
  　速度遅延積にまでしてしまうと、ルータの性能が悪い場合なんかには輻輳が起きてかえって遅くなるみたい。
  　というか、今日はそのへん実験してたのです。
  

2003/05/24 (Sat)

• ボウリング演習
  　私ゃ行くよー。
  
  
• イベント
  　行ってきました。やっぱし、会場かなり盛り上がってたのう。
  　抽選会でサイン入りポスターをもらってきました。びっくりしました。
  　ジャンケン大会は最後の一回で負けたけど。ちなみに賞品はサイン入りアフレコ台本だそうで。
  
  
• ねとわく
  　だいたい TCP ウィンドウサイズは速度遅延積の値程度に設定しろという話なわけですが。
  　最近流行りの B フレッツなんかだと、64KB で十分なのは 10Mbps の回線の場合で 50msec 程度の RTT の場合まで。国際回線通るとちょっとキツい? で、これが 100Mbps になると、64KB で十分なのは 5msec の範囲内にまで減ってしまうと。
  　こないだ Linux のカーネルソースを見てたら、ソケットサイズの上限値がカーネルパラメータとして存在するということはわかりましたが、それがデフォルトでは小さすぎるってのがこないだの速度が出ない問題の元凶だったわけですが、メモリの価格も低くなってきた昨今なので、ン MB とか最初から設定してもよさげな気はするんですけどね。
  　かといってメモリが少ない環境というのを考えないわけにもいかないのですけど。
  

2003/05/23 (Fri)

• 授業とか
  　量子計算のはなしと、DNA コンピューティングの話のサワリ。どっちも面白そうだけど、私は個人的には量子コンピュータの方が好みですね。
  
  　で、レポートの調べものしていたら、パフォーマンス低下の原因となるコードを発見。/proc/net/core/rmem_max によって SO_RCVBUF の設定値が押さえられているではないか。なんということ。
  　とはいえ、レポートの本文がなかなか筆が進みません。うー。せめて五月中を目処に提出してしまいたい。
  
  
• 秋葉原紀行
  　えーと、発売日です。以上。
  
  …と、それで終わればよいのだけど。
  　実は「マイノリティ・リポート」の DVD 発売も今日だそうで、暇があったら買っといてという旨のメールが母親より届いてみたりする。
  　まあ、無難に行きつけの(?)ヤマギワソフトで買ったのですが、なにやら抽選会やってるとか。ま、なんかピンズとかそーゆーのかなと思って軽い気持ちで行ったのですが、なにやら「45 人限定」とか書いてあります。
  　そこまで来てなんかイベントかーという程度には判ったわけですが、まだよく内容見ずに、とりあえずくじ引いてみたわけですよ。
  
  　なんか、当たったらしい。
  
  　で、イベントのチケット渡されて初めて何があるのかを知ったわけですが、水樹奈々イベントらしい。吹き替えやってたのですか。
  　しかも、イベント明日ですよ、明日。急な話だな。
  
  
• ここいち演習
  　めし氏がめしと叫ぶので、CoCo 壱にみんなで行きました。
  　で、そしたらなんか、隣で「3 辛」とか頼んでる人がいるのですーがー。
  　私は辛さは苦手なので、対抗できません。しかし、量ならばってことで、今日は前回より 100g 増やして 600g に挑戦。すじこんカレーも捨てがたかったけど、二回食べてるし、今日はチキン煮込みカレーにしてみました。
  
  　特に苦もなく(ちと辛みで暑くなったりはするけれど)完食しましたけど、CoCo 壱のカレーは量の割りにあっさり胃袋に入ってしまいますね。たぶん、汁っ気が多いからかな? 700g ぐらいはいけそうか? でも、さすがに 1,300g は食べられないだろうな…。
  　で、件の隣の人は、「これくらいならおいしく食べられる辛さだねぇ〜」とか言ってましたが、それをちょっとだけ味見した人はえらくむせてました。どーゆー舌してますかー。
  　辛みレベルを上げるとどれくらい辛いかについて、メニューにはなにやら脅し文句が書かれていますし。いやはや、くわばらくわばら。
  
  
• 日記 15,000 ヒット
  　ありがとーございます。
  　これからもがんばって駄文を書き連ねます(迷惑)。
  

2003/05/22 (Thu)

• 今日やったこと
  　夕方から 11 時すぎまでらぼにいたりして。
  　なんとなくデータベースの勉強でもしてみようかと、学校のノートマシン(5-CURRENT)に PostgreSQL なぞ入れてみたりするわけですが。やっぱし SQL とかの解説書を一度読んでおかないといけないような。
  　SSL 経由接続ができるらしいので、せっかくだからということで証明書も作ってみたり。
  　しばらく経つと手順を忘れそうなので、一応メモしとく人。
  
  
• OpenSSL で証明書を作る
  　ローカルの認証局がすでに立ち上がっているとします。
  
  
  1. openssl genrsa -out key.pem
     　RSA 鍵対を生成しておく。
     　パスフレーズなしにしておかないと、あとで作った証明書を使うデーモンとかを起動するときに、パスフレーズ聞かれて困る(そこでつっかえてしまって自動起動してくれないので、結局手動で起動する必要があるようになってしまうみたい)。
     
     
  2. openssl req -new -key key.pem -out server.csr
     　ローカル認証局で認証する場合、ここで Organization Name を認証局の名前と一致させておかないと後で認証局に蹴られるので、注意すること。私はときどき間違える。
     
     
  3. openssl ca -in server.csr -out server.crt
     　で、認証局の鍵でサインする。
     　認証局の秘密鍵をデコードするためのパスフレーズが必要。
     
  
  　なお、パスフレーズ入れてしまった場合は、openssl rsa -in key.pem -out key.decoded.pem などでパスフレーズが抜けます、と。
  　まあ、要は DES 関係のオプション指定しなけりゃいいわけで。
  

2003/05/21 (Wed)

　午前中のみ授業、のちレポート書き。
　演習 3 第一期が終わりましたが、まとめのレポートを頑張って書いてたりするわけです。もう第二期開始してるので、そっちとも並行で進めないと。

　ついでに、学校で貸してもらっているノートマシンの環境整備などしてみました。
　こないだ MBR あたりいじっていたらパーティションテーブル吹っ飛ばしたので、現在は FreeBSD オンリーという非常に漢らしい(?)環境になっております。
　で、せっかくコンパイルとか速いのだし、ということで 4-STABLE と 5-CURRENT のデュアルブートにしてみました。
　5-CURRENT で installkernel して再起動したはよいけれど、PAM のモジュールが見つからないとか言ってログインできなくなってみたり。mergemaster するのを忘れてただけです。やったら直りました。
　他にも Gentoo Linux 入れようと頑張ってる人とか、BeOS 入れようと頑張ってる人とかいるわけですが、とりあえず私はディスクがまっさらになったというのである意味吹っ切れたので、がんがん再インストールなどもしまくりです。とりあえずディスクのフォーマットはもう怖くないぞー。
　でもま、Windows がないと確かに不便っちゃあ不便なのですが、まあ Windows ノート一台持ってるしねってことで。とりあえず、パーティションテーブルぶっ潰したときは、MBR の構造とかの勉強にはなりましたし、ある意味非常に教育的な事件ではあったのかも。

2003/05/20 (Tue)

　Cygwin にも gettext ライブラリがあるので、カタログとして日本語メッセージが入ってるパッケージも少なくないわけですが、デフォルトが EUC のため、どうにも表示がしづらいという難点があります。
　そこで、存在するメッセージカタログを Shift JIS に一括変換するスクリプトなど書いてみたりしました。このへんにおいてみましたので、試したい人どうぞ。基本的には、展開して、make conv するだけでいいはずです。
　変換には nkf 使うよーにしたのですが、Cygwin にはパッケージがないので、ソースだけいただいてくっつけてあります。ちょっとライセンスとか確認してないのですが、まずそうだったら外すかもしれません。その場合は、(nkf は)自分でダウンロードしてコンパイルしてねってことで。

2003/05/18 (Sun)

• 学校に行く日曜日
  　学校に来てレポート書いてみたり。
  　なんかなー、まああんまし導入部で詳しく書いてもしょうがないのになーと思うのですが。
  　図とかまだちょっと準備中の部分もあり、まだ 402 に行ったりしなければならなそうです。
  
  
• エゴグラム
  　まじんさんがやってたのでなんとなく私もやってみたり。でも、なんかこれ前にもやったような気がするなあ…。
  　結果。

  1. 性格
  自己調整能力の非常に優れたタイプと言えるでしょう。厳しくて、優しくて、計算高くて、子供っぽくて、神経過敏な、多面的性格を自己矛盾に陥らぬよう、巧みに調整して行く為には、絶え間の無い反省心と、謙虚さが無くては叶わぬ筈です。現時点に於いては、非の打ち所の無い性格と云えるのですが、今後、注意した方が良いと思われる点は、余り性格のバランスが整い過ぎて、日常の生活態度に、少しの隙も見出せなくなった場合です。「過ぎたるは、及ばざるが如し」と云う言葉は、此処では当て填らないにしても、周囲の人々に近寄り難いような、聖人君子的雰囲気を与える事は、貴方に取って余り得策とならない場合が有ります。
  
  2. 恋愛・結婚
  性格の個々の部分を取り上げて行くと、それぞれが、かなり強いトーンを奏でて居るタイプで、決して穏やかでも無いし、平凡でも無いのですが、強い部分同志、非凡な部分同志が、打ち消し合って、一見、非常に平凡なタイプと見える場合が多いでしょう。恋愛や結婚にしても、極く当たり前で、平凡なコースを辿る可能性が高いでしょう。貴方の性格の特徴と云うものは、普段には何の変哲もない言動に終始していても、一旦、事ある時に於ける思慮分別や喜怒哀楽の現し方が、極く一般的なタイプとは、一味違って居て、流石と周囲の人々を唸らせるような、身の処し方をする可能性が高いと云う点です。
  
  3. 職業適性
  性格的には、どんな種類の職業にも充分な適応力が有ります。後は、職種に対する好き嫌いと、才能や体力が何に向いて居るかを知る事によって、貴方の職種に対する適・不適を、完璧に判断する事が出来る筈です。
  
  4. 対人関係
  欠点の無いのが欠点と言える程、バランスの取れた人当たりを感じさせるタイプです。採点すれば満点に近いでしょう。
  

  ものすごーく異議ありー。特に対人関係とかー。
  　で、もっぺんやってみると。

  1. 性格
  良いに付け悪いに付け、常に旗色を鮮明にしているタイプです。曖昧な状態で物事に蓋をするような態度は、由としないのです。万事を合理的に割り切って行こうとするタイプですが、唯、機械的に割り切るのでは無く、割り切った上で人間味を加えた融通性は有るタイプなのです。好奇心が旺盛で、喜怒哀楽の落差がかなり激しく、行き過ぎ、遣り過ぎも結構多いのです。その都度、反省心も強く、傷付けたり迷惑を掛けたと思える人に対しては、態度を和らげたり、その穴埋めをしたり、場合によっては面と向かって素直に謝る事も、別に珍しくないタイプです。理想が高く、使命感や権力志向と溢れんばかりの好奇心が、今後も貴方を東奔西走させるでしょう。
  
  2. 恋愛・結婚
  仕事に、趣味に、娯楽に、それぞれが何時も忙しい多芸型人間なので、家庭にベッタリと云う訳には行きません。独占欲の強い相手と結婚する事は、避けた方が無難でしょう。配偶者に対しては、多面的な性格を、諸に打付ける可能性が高いでしょう。元々、言いたい事を言い、遣りたい事を遣りながら、人には良く思われたいと云う、大きな矛盾を胎んだ性格なのですが、判断力の優れた合理主義者であり、理想の高い神経過敏なタイプなので、職場や一般的な社交に於いては、かなり自分を騙したり、賺（すか）したりして、対外的な面を糊塗して来ている傾向が強いのです。
  
  3. 職業適性
  性格的には、大概の職業に適応性がありと言えます。問題は、各職業分野に対する好き嫌いと、特殊な分野では、才能の有無と体力の如何を問われるだけです。
  
  4. 対人関係
  貴方の性格的な弊害は、周囲の人々に対して、余りにも多くの期待を求め過ぎる事だと思います。自分自身が正しいと思う道を、唯ひたすら踏み進む事が、最善の道なので有って、貴方ほどの理性の持ち主ならば、徒（いたずら）に右顧左眄する必要は、すこしも無いのです。
  

  …微妙だなあ。
  　というより、性格判断とかって、何度も何度も同じよーなもの繰り返しやってるような気がするのですが。
  
  
• れんしう
  　撃墜日記より。

  ボウリングといふやつは、何かみんなでスポーツをやらうとかいつた時等、年に多ければ数回程行くことになるので、少しばかり練習しても損はないと思つた。
  誰か一緒に練習しませんか。
  

  　よいですね。こないだのあそこ、結構リーズナブルなお値段だし、ちょくちょく行くにはよいかも。
  
  
• ちなみに
  　402 とゆーのは別に某 R.A(14) さんの部屋ではありませんぞ。(藪蛇発言
  

2003/05/17 (Sat)

　まめ氏が「近所に BOOK OFF ないかねー」とゆー話をしてたのですが、探してみたところ大塚にあることが判明したので「行ってみようか」という話をしていたのでした。
　しかし、他にも店舗を探してみたら、なんと原宿店が「大型店舗」であるといいます。これは行ってみるしか!?…ということで、大勢で BOOK OFF オフ会みたいな感じ。メンツは、まめ・にしだ・飛廉・よこやま×2 といった感じ。TSGer だらけ。
　立ち読みしたり、マンガをあさったりして気づくともう 3 時間も店内をウロウロしてました。というか、入口が結構小さいのに、店内奥行きがえらく長いのです。ついでに 2 フロア。なるほど、これが大型店舗の実力(謎)か…。

　その後うちでプロジェクト X の TRON の回など見たり。夕食は千石自慢ラーメンにみんな連れだって行ってきました(約一名帰りましたが)。

2003/05/16 (Fri)

　このところ雨で、なんかイヤ〜ンな感じ™ですね。
　そんなわけで、「鋼鉄のガールフレンド 2nd」の発売日でした。当然とゆーかなんとゆーか、まあ授業終わってから買いに行ってみたり。
　その後は後楽園でボーリングなど。3 ゲームやって 86, 108, 109 というスコア。なんとかアベレージ 100 でいくことができました。やっぱり私はスロースターターかも。

　一部呑みに行ったりした人もおるようですが、私は夕食食べて、地下でしばらくまったりと腹ごなししてから、家に帰りました。

2003/05/14 (Wed)

　今日提出のレポートをやりつつ、ノートパソコンのセットアップ。4.8-RELEASE を持っていってみたら、うまく起動してくれました。というわけで、さようなら RedHat。
…はて、これは返すときには、RedHat なりを自分でインストールしなおさねばならんのでしょうか？ そりゃないか？

　とりあえずネットワーク等設定しましたが、やっぱり Wireless はデバイス認識せんのね。
　あと、X のサーバどれ使えばよいものかってお話も。誰かあとで XF86Config とかそのへん見せてください。

2003/05/13 (Tue)

　今日はノートマシンの貸し出しがありました。
　まあ、私物ではないわけだし、けっこう重いのであちこち持って歩くってことはないでしょうが、VMWare とか入ってるのでいろいろテストしたりできる環境にはなりそうですね。
　Windows XP と Redhat Linux のデュアルブート構成なのですが、「(自己責任で) OS 入れ替えても別にいーよ」とか言う話なので、FreeBSD 5.0-RELEASE でも入れてみようかと思ったわけですが、残念ながらインストールディスクのカーネルがうまく起動しませんでした。ちーん。
　ディスクイメージが壊れてたか、あるいはノートマシンとの相性か…さて？

　あと、明日提出の課題があったり。
　プログラムはまー、こんなもんかという感じで。もっといろいろやる余地はあるのですが、初動でなんか道を踏み外した気がするので(コンポーネントとか使わずに、ほとんど手書きで表生成してるし)、改造する気もちょっと萎えました。
　試してみたい人はこのへんへどうぞ。動作には、J2SE 1.4.0 以降が必要だと思います。

2003/05/12 (Mon)

• 柱がホワイトボードになった話
  　地下端末室の中央にある柱が、四面ホワイトボードに変身しました。
  　書き初めは先生よりのお達しで某人のこけしでしたし、これからはオフィシャルに(?)落書きがなされるようです。
  
  　それにしても、「等身大」はバカウケでした。 >誰か
  
  
• 演習 3
  　今週で第一期が終わりですが、まだ実験やってたりします。
  　/proc/sys/net/core/*mem* あたりのパラメータをいじったら、通信速度が出るようになりました。よく見たら Window Scale オプションがあんまし大きくなってなかったので、そのせいか、あるいは送信データがソケットのバッファに溜まってたということかも知れません。
  　送信側だけ直してもよくならず、受信側もいっしょに替えてやったところうまくなったので、前者っぽいように思いますが。
  
  
• 夕食
  　研究室の方々といっしょに、上野広小路までプルコギを食べに行きました。
  　チゲは辛かった。
  
  
• 相対性
  　撃墜さん日記より。

  これを人間関係だとか、国際関係だとかに応用したくなつた。絶対はなく、全ては相対なのである。正義だとか、悪だとかに、絶対はない。相対的に正義・悪が決まる。とすると、結構物事が上手く説明出来さうなのですが、どうでせう。

  　私の常日頃の主張とだいたい同じですなあ。
  　善悪とか価値観とかも全部相対的なものだから、語弊とかが生じるわけで。でも、実際に絶対的な価値観なんてあるのかと問われれば、ないとしか言いようがありません。ただし、人間の意識が奥底でつながっているとか、そういった意見を除けばですが(そして、私はそういうものは仮定として不必要だと思うのです)。
  　でも、私はなるべく論理的に思考したいと考える人なので、やはり何らかの形で安定した基盤が欲しくなってしまう。でもって、そんなものがないということを悟って絶望する毎日なのです。
  
  
• 今日あった怖い話
  　帰ってきたら冷房がついていた。
  …てことは、昨日の夜から!?Σ(´Д｀; 電気代〜(汗)
  

2003/05/11 (Sun)

• IS 的
  　昨日歩いてたら某だんごのタンゴをもじった「なんで三兄弟」とかいうネタを思いついた。…はいいけれど、サビ部分しか思いつかなかったので、カラオケで歌うまでにはいたらなそう?
  
  　あと、IS NetHack をもし作るとしたら、ペットは何になるんだろう…という話。某 N 氏は「ネズミ?」とかゆーてました。そう来たら、当然次は「…黒い虫?」に決まってますが、そんなのつれてダンジョンを歩くの、ヤダ。
  …でもネズミは既に NetHack に実装されているので、あながちありえないとも言い切れないか? めちゃくちゃすぐ死にそうだけども。
  
  
• ほげら
  　37,564 突破おめでたう >こけしさん
  　これからもどんどんだめな絵を描いていってください(ぉ)
  
  …ところで、ずーっと忘れ去られてるけど、こけしゴーストってどーなったんですかね?
  

2003/05/10 (Sat)

　今日の日記は長いです。

• WinSol 英語対応について
  　メールが返ってきまして、ちゃんと動いてるとのこと。よかったよかった。
  　日本語リソースと同名(正しくは ID が等しい、というべきだと思いますが)の英語リソースをつっこんだだけで、特には何もしていなかったのでちょっと心配だったのですが、まあ何はともあれ、動いたらしいのでマルチリンガル化は一応成功ってことで。
  　次は Web ページの他言語対応もか…?
  
  　とゆーわけで、結論。
  　英語リソースは別に DLL 用意するなんてめんどくさい方法ではなく、単につっこんどくだけでちゃんと動くらしいです。 >いなば氏
  ＃ま、当たり前と言えば当たり前かな。
  
  
• ひるめし
  　本郷四丁目の春日通り沿いに CoCo 壱番屋が先月末にオープンしたので、行ってみました。
  　とりあえず、メニューがいろいろ豊富でよいですね。いろいろ楽しめそうだし。今日はとりあえず、なんかのフェアっぽかったので、すじこんカレー(牛スジ&こんにゃくの煮込みがのったカレー)を食べてみました。
  　朝何も食べなかったせいか、ちょっと量が少なめだった気が。もう 100g か 200g ぐらい増やしてもいけそう。
  
  
• がっこ
  　cwnd が頭打つ原因が分からないので、とりあえず調査の続き。
  　netperf というツールを使って UDP と TCP とを比べて見たところ、(ほぼ予想通りですが) UDP はほぼ全速出るということから、ハードウェアとかデバドラの部分で律速してるわけではないようす。
  　やっぱり、RTT 値を変えてみても頭打つ場所が変わらないということは、何らかのパラメータ制限にひっかかってるという結論にならざるを得ませんが、それが何なのやら。
  
  　でも、計測中に /proc/sys/net/core 以下のなんかいじったら微妙に cwnd 値の上限が増えてた気もするのですが、自作のテストプログラムでは全然変わらなかったので、気のせいだったのかもしれない。あるいはプログラムがなんか根本的に悪いという可能性も半分ぐらい。
  　プログラムを書き直すべきか、それとも netperf なりの既にあるツールを使うべきか…。あと期間が一週間しか残ってないので、後者の方が賢そうな気がしますね。
  
  　というわけで、どうも、明日も来ることになりそうです。
  
  
• 録り溜めたビデオの整理
  　一ヶ月前に HDD&DVD レコーダーを導入してみたわけですが、空いてるテープ探して換えなくていいのが便利ですな。外出先でも予約できるし。
  　しかし HDD の容量が無限にあるわけではないので、定期的に DVD-R なりに落とさねばならないわけで。テープ換えなくてよいもんだから、結構バンバン録画予約入れてしまうのですが、後処理の問題が出てきたりしている今日この頃です。
  　で、しばらくメンテさぼってほっといたら、今度は HDD ももうそろそろ 7 割近く埋まって参りました。ので、頑張って DVD に移しかえる作業をやってたりします。
  
  　記録型 DVD のうちではやはり DVD-R が一番メディアが安いので、最終的な保存用には DVD-R なのですが(DVD-RAM は 240 分メディアがけっこう高いし、どっちみち両面なだけであって、密度が倍というわけではないのでね…)、そのためには DVD-R 互換モードをオンにして録画する必要があります。
  　ところが、だいたい録るときは DVD-R 非互換モードで録るので、まず一度 DVD-R 互換モードで適当にビットレートを調整しつつ録り直さなくてはなりません。これが実時間でかかってしまう。
  　このときついでだから CM カットとかやるときはやるのですが、フレーム単位でぽちぽち作業が必要なため、実はこれが一番めんどくさい要因だったり。
  　あと、私はけっこー整理きちんとしてないと嫌なタイプなので、そのへんで作業量がちょっと増えます。これも億劫さに貢献しているような。
  
  　しかし、そこらに溜まってるビデオの山の処理をしようと思っていたのに、新規に録ってる分だけで結構な頻度になります【謎】。このままでいくと、ビデオの山の隣に DVD-R または DVD-RAM の山が築かれそうな気もする…(^^;
  　もうちょっとエアチェックする番組数を減らそうかなと思ってる最中。
  
  
• こないだ哀しかったこと
  　DVD レコーダで作った DVD-R を、とりあえずデスクトップ機のドライブに放り込んでみたら、ちゃんと再生できたときには結構嬉しかったのです。
  　で、こないだ帰省したので、ついでに実家でも「こんなにキレイです〜」とか実演しようかと思って、何枚かディスク持っていってみたわけです。
  
  　実家には、出始めのころに買った DVD/LD コンボのプレイヤーがあるのですが(Pioneer 製 DVL-9 とゆーやつ)、とりあえずディスクを入れて再生してみたら、メニューまではよかったけれど、本編になったとたん激しいブロックノイズと音声がブチ切れになってしまって、なかなか見れたもんではありませんでした。
  　ひょっとすると、ということで DVD 用レンズクリーナーを買ってきてクリーニングしてみたのですが(買ってからこの方一度もやったことないので…)、ちょっとよくはなりましたが、やはりノイズは出てしまいます。
  　まあ、初期のプレイヤーだから、DVD-R が再生できるような仕様のドライブ使ってないのかもね、ということで諦めました。
  
  　それなら、ということで、私がむかーし使っていたデスクトップ PC にも突っ込んでみました。しかし、今度はディスクとして認識すらしてくれませんでした。何故…(T_T)
  　正直、この結果にはちょっと参ったわけで。結局のところ、プレゼンテーションは微妙すぎる結果を残して終了。残念。
  

2003/05/09 (Fri)

• カーネルソースは迷路のようだ
  　TCP/IP に関する実験やってるのですが、RTT 値を大きくした Gigabit Ethernet を使うと、どうも cwnd の値が頭打ってしまって転送効率がよくありません。
  　なんでじゃろと思っていろいろ調べてはみたけれども、どうも原因が見えてくるような来ないような。
  　でも、とりあえず select(2) で読み書き可能かどうか見るようなコードから、別スレッドで読んだり書いたりするようにプログラムを変更したところ、頭を打つ場所が 100 から 134 に上がりました。根本的解決にはなってないけど。
  　うーん。
  
  
• 型の共変、反変
  　今日は、OCaml で、型パラメータに使う多相型に + とか - とか指定できるらしいということが判明しました。マニュアルを眺めたところ + を指定すると covariant になり、- を指定すると contravariant になるとか書いてあります。が、一体これは何ぞや？
  

  The optional type parameters are either one type variable ' ident, for type constructors with one parameter, or a list of type variables ('ident1,...,' identn), for type constructors with several parameters. Each type parameter may be prefixed by a variance constraint + (resp. -) indicating that the parameter is covariant (resp. contravariant). These type parameters can appear in the type expressions of the right-hand side of the definition, restricted eventually by a variance constraint ; i.e. a covariant parameter may only appear on the right side of a functional arrow (more precisely, follow the left branch of an even number of arrows), and a convariant parameter only the left side (left branch of an odd number of arrows).

  　covariant/contravariant なんてテンソルのときに出てきた程度しか知らんぞってことで、みんなして調べもの。その甲斐あってか、subtype とかの概念が出てくると必ず登場するものであるらしいということがわかりました。
  
  # type 'a t = ('a -> 'a) -> 'a;;
  type 'a t = ('a -> 'a) -> 'a
  # type +'a q = ('a -> 'a) -> 'a;;
  Characters 5-29:
  type +'a q = ('a -> 'a) -> 'a;;
  In this definition, expected parameter variances are not satisfied
  # type +'a q = ('a -> int) -> 'a;;
  type 'a q = ('a -> int) -> 'a
  # type -'a p = ('a -> 'a) -> 'a;;
  Characters 5-29:
  type -'a p = ('a -> 'a) -> 'a;;
  In this definition, expected parameter variances are not satisfied
  # type -'a p = (int -> 'a) -> int;;
  type 'a p = (int -> 'a) -> int
  
  　たとえば関数型 α -> β の場合、α <: α' であるなら(α が α' の subtype … α' の方がより generic な型ということ)、(α -> β) :> (α' -> β) であるので(右の定義域は左の定義域を含むので、右の型を持つ関数は特に左の型をもつと限定することができる)、α については contravariant である、となります。
  　逆に β <: β' なら (α -> β) <: (α -> β') となるので(左の関数の値域は右の関数の値域に含まれるので、左の型を持つ関数は右の型を持つとして考えてもよい)、β に関しては covariant になる、と。
  
  　で、マニュアルの最後に書いてある文がちょっと難解だったのですが、要は -> に関して構文木を作った場合、左ノードに降りると反変と共変が入れ替わるよ、ということのようです。なので、('a -> 'b) -> ('c -> 'd) のうち、'a, 'd が共変で、'b, 'c は反変になるらしい。
  
  　それにしても、みんなで勉強すると楽しいやね。
  

2003/05/08 (Thu)

　昨日 WinSol の英語版を作るとゆーたので、とりあえずリソースを翻訳して付け加えてみた感じ。
　でも、ほんとーにこれだけで他国語対応になるのかどうか、ちょっと心配です。日本語版 Windows の環境しかないから、チェックできませんし。いや、別に日本語版 Windows でもなんとかしてチェックする方法があるのかもしれませんけど、よくわからないので。

2003/05/07 (Wed)

• がっこ
  　今日は 2 限が休講だったので、ほんとは授業がないはずでした。
  　しかし、昨日演習の中間報告しにいったら、今日の午前中に研究室のゼミで発表してね〜とかいうことになっていたわけで、ヒーヒー言いながら一日で資料をでっちあげ、会議に向かったのでした。
  　今日は人少ないかと思いきや、結構みんなも発表あるみたいで、昼過ぎてから続々とやってきたのでした。
  
  
• バイト中のメール
  　以前 WinSol なんてものを作ってみたはいいけれど、しばらくほっぽってありました。
  　ところが今日、「英語版はないのですか」という問い合わせのメールがデンマークから届いてしまいました。まあ、あまりリソース的には日本語に頼ってないはずなので、たぶん数日中にはできるのではないかと思ったり。
  

2003/05/04 (Sun)

　実家に帰省中。
　今日は高校時代の部活仲間と呑みの予定。うひひ。

　マルチメディア情報処理論の課題もちょっとひと段落つきました。
　手動割り当てのほか、自動割り当てもちょっと搭載してみたり。最適解をまじめにやるのもめんどいので、なんちゃって風に GA (遺伝的アルゴリズム) で割り当てます。
　しかしそれだと、コチコチ右クリックやってればおわってしまうという話も。あとは、希望順に重み付けしてないので、そのへんをいじったほうがよさげ。

2003/05/01 (Thu)

　オメガだるいです。
　ジェットやるきしません。
　ついでにマキシマムねむいです。

　昼食後秋葉原へ。よこやま先生の HDD が修理から帰ってきたのでとりに行くんだとか。
　そのほかいろいろちょっと散策しつつ。
　末広町の交差点で信号待ちしていたら、平木先生のクルマが上野のほうから来て、蔵前橋通り方面に曲がっていった。

　　Tossy-2 Homepage メインへ

　本テキストについての著作権等々は著者 Tossy-2 が保有します。
　無許可での転載等は止めてください。引用は別に構いませんが。