JDK 5.0においてはparametric polymorphism (aka generics)が採用され，型変数を使って定義したクラス C は C とか書くことでインスタンシエートできる（型の消去に基づく）．ここで元々のinclusion polymorphism (aka subtyping)との関連がかなり複雑になっ…

3月が終わる... orz

http://www.allcinema.net/prog/show_c.php?num_c=321599 宇宙戦争 -- 映画 「 宇宙戦争 」の詳細情報 レンタルビデオで親と一緒にスピルバーグの宇宙戦争を観た．ご存知H. G. ウェルズの同名SFの映画化である． 主役の親父は正直トム・クルーズでなくてもよ…

EZ-USBなど一部を除き、自作系のUSBライターはAVRを使うものが多いので、AVRへの書き込みが行えなければライターを作成できません。よって、プログラム済みのライターを作るために他のライターを作る必要があります。私はプリンタポートに接続するSTK200互換…

論理今日の深夜1:30からTX系列にてアニメ「かしまし」最終回です．関東全域の1千万かしましファンの皆様はお見逃しなく． それにしても前半の繊細な感じが失われてしまったようで，少し残念である．欝展開が辛かった... この分では3人仲良くENDだろうか？

ニュースで話題の，JSTによる昔の論文の無償公開が今日から始まった． http://www.journalarchive.jst.go.jp/archivesearch/Search_ja?from=search_en&search=hideki+yukawa&targetpage=1&page=pnap&cdjournal=ppmsj1919 Yukawa, On the Interaction of Elem…

id:flappphys:20050208#p2 で触れたKくんの家に，今度は振り込め詐欺の電話がかかってきたそうな．電話を受けたKくん本人の名前を名乗ったとか（笑）．そのまま話を聞きだそうとしたものの，気付かれて切られてしまったらしい．

どうも制御論とは相性が悪くて2年冬学期の「回路とシステム」も3年夏学期の制御論第一も不可ってるんだが，実験装置の関係でちょっとした電子回路をいじろうと思うとやはり無縁ではいられないということが（今さら）分かり，再び勉強中．せっかくだから夏学…

今日は晴れ．春の日差しが暖かい．

両親に連れられ，小山町のこぎれいなレストランへ．こないだ帰省したときも行ったんだが，なんか両親が最近気に入って何度か行ってるらしい．メインは焼いたタチウオとイサキ．私は腹が減っていたのでハンバーグを追加注文．けっこうおいしゅうございました．

夕方，両親とブルームちゃんの散歩のために車で遠出．小山町総合体育館の辺りを歩いてきた．よく整備された新しい公園と運動施設で*1，人の姿もまばらなので散歩にはもってこい．すばらしい環境だ．もちろん公園内だけではなくて，近所の道をぐるっと一周し…

私の一番好きな電子部品はスイッチだ．まだ電子工作は覚え立ての私だが，千石に行くといつもスイッチ売り場の前でうろうろして，様々なスイッチをカチカチやってしまう．オルタネートのプッシュスイッチがもっと増えてくれると楽しいんだが... どうしてもス…

曇り，風が強い．

静岡県御殿場市．新宿を17:30にバスが出て，家に帰ったのは19:40くらいか．今日はちょっと運行が遅れたようだ．何だかんだで出るのが遅かったのですっかり夜になってしまった． 和菓子をこれでもかとばかりに買って帰った．最中，ドラ焼き，饅頭，あられetc.

怪しいHamiltonianの摂動とか構文木に対するfold_leftの書き換えとかの途中で挫折してペンディングしてある計算用紙がいっぱいあるんだけど，こういうのってどうしておけばいいんだろう... とりあえず目に余るものは棚にブックスタンドで挟んでしまい込むこ…

今日は日曜 今日が日曜ならば明日も日曜 以上のようにして定まるもののみが日曜

http://pcweb.mycom.co.jp/news/2006/03/24/100.html AGEIAが物理プロセッサ「PhysX」の出荷を開始、搭載カードは5月発売 物理演算ったって広いだろうに，一体どういうサポートをするのだろう．SDKは契約を交わしたゲーム開発企業にしか配られないようだ．サ…

T研M1のMさんへ． 一昨日お目にかかりました物工3年の野田です．マイコンを使った電圧制御の実現に関してお力添えをお願いします．私は応物系の五月祭展示活動のうち，ソフトマター班に所属しています．班の活動テーマの一つとして， 液晶を封じ込めて電圧に…

あうあうあーーーー 終わらせようと思っていたことがちいーーーーっとも終わってねぇ

なんか回路記号が見慣れないものになってるんですががが http://www.suken.co.jp/junior_chart/naiyou/15072_8%5E9.pdf JIS記号が変更されたって本当？ 昭和は遠くなりにけり...

CS関係の文書を検索していてD論に出くわすことが度々あるんだけど，どうして100ページとか200ページとかになるんだ？ 多くはサーベイすなわち「この分野の研究の最前線の報告」が大部分を占めているように思う．後は実装した系の性質を詳細にわたって書いて…

言語のパラダイムが違えば，再び初心者になったつもりで基礎的データ構造を学び直さねばならない．関数型言語におけるデータ構造の実装にはとりあえず Okasaki, Purely Functional Data Structures, CUP (asin:0521663504) を参照すればよいのだろうか？ 元…

Mapのリファレンスには "The implementation uses balanced binary trees." とある．ソースのbalを読む限り，どうもAVL木の変種のようだ．普通のAVL木と違って，左右の部分木の高さの差が2まではOKとしている．なお部分木の高さを内部ノード毎にキャッシュす…

そう，あれは駒場にいた頃... 確かまだ1年生の頃．「選択科目のギリシア語の講義の後にでもギリシア語の先生を捕まえて『本場の』ギリシア文字の読み方を教わろう．本郷に進んで学科が分化しちゃうとやり辛くなるから今のうちに」と思ったんだった．しかし結…

We propose techniques that include compiler optimizations partitioning for data and code to run on the multiple heterogeneous processor elements in the system, automatic generation of SIMD code, and other specialized optimizations for proc…

http://www.watch.impress.co.jp/game/docs/20060320/ch.htm 元気、OKEのオンライン公開機能を搭載した新作 PSP「カルネージハート ポータブル」 小学生の頃やったことあるゲーム．PSだった．やはり（一部の層に）大人気で続編がいくつも出ていたらしい．ん…

2chで知った（笑）． 今回のセミナーは、下記のトピックスを中心に、デモをご覧頂きながらご紹介します。 スケーラブルな RDF triple store (AllegroGraph) Lispアプリケーションの高速化を計る (Lisp Optimization and Allegro Runtime Analyzer) ポータル…

顕微鏡に取り付けてあるCCDカメラの使い方がよく分からん... 写真や動画を撮る基本的な使い方は分かったのだけど，画面の明るさの経時変化を調べたいのに，説明書どおりにやっても "camera timed out" （カメラからの応答を待っていて時間切れになりました）…

こないだから平然とwireless.iに（以下自粛 うーん，Ocamlで木の変形がうまくできない... 破壊的なポインタ操作ができないとやっぱり困る．頭のパラダイムシフト... I/O命令の仕様案を受け取ったので，詰めていこう．データが来るまで待ったりするのはソフト…

室内のすみっこで冬越しをさせていたポーチュラカ，しだいに死んでいって，最後の1株も枯れそうだ．うーん，残念．