冒頭の第一声、世間の人がどう思っているかはともかくとして天文学者をやっている牧野です。お願いしますで聴衆のハートをわしづかみ。うますぎるその後の飲み会も今後のCPUアーキテクチャーの話やらT2Kの話やらの濃ゆい話でもりあがる。いう濃ゆい話が出来る人と知り合いになれることは本当に素晴らしいことだとかマジメにオモタそういえば笹田さんがLinuxのaioは使いにくいという話をしていた気がするのだけれど一晩寝たら完全中身を忘れてしまった。Comments:(4)カーネルコンパイル時間おうちのマイマシンと会社マシンのコンパイル時間が全然違うことに最近気づいた。みると、うちのはiowaitまみれや。視点が新鮮なので、結構楽しめた。調査不足が感じられるので、このネタで1年間講義とはできまい。おもたまあ暇つぶしにはいい感じですよ。Comments:(2)mem_notifyやむにやまれぬ事情があって、今日はmem_notifyまわりの過去ログをひたすら読んだ。problemsを避けるために1人づつ。Comments:(0)免許再交付してきた免許をなくしてしまったので、再交付してきた。Comments:(0)ベイリーズまじうまいこの前イギリスにいったときにベイリーズを2本ほど買ってきてちびちび飲んでいたのだけれども、はまってしまった。ゆーわけで、布教いたす。だれか、だまされたと思って飲んでみ。Comments:(2)FirefoxのGMark拡張のバグまあ、のっけから泣き言なんである。最近Vistaなパソコンをかったので、IE拡張系のブラウザが手になじまなくなり、Firefoxに本格的に移行をもくろんでいる。bookmarkに移行して、全マシンで共有やー。bookmark用プラグイン(GMark)がいまいちごきげんじゃない。ダメかってーと、下図のように、Googleさんが勝手に作るラベル「最近最も使用した」が「最近」と「最も使用した」の2つに分割されてしまうのだ。VistaのIE7で文字サイズ変更が記憶されない。JAPANなどの一部ページにおいて、IE7の文字サイズをDefaultの「中」から「大」などに変更。その後、IEを閉じて再度開きなおしたり、一度他のページに飛んだ後で再表示すると文字サイズが「中」に戻ってしまう。文字サイズの変更がちゃんと反映されているページもある。●結論IE7の不具合でした!ただし、WindowsXP版のIE7では問題は発生しない模様。以下、Microsoft社サポート技術情報ページの事例より引用(リンクは下記に貼ってます)これ、おもしれーな・UTF-8では問題が発生しない・保護モードOFFでも問題は発生しないというところを見ると以下のようなストーリーだと思う。前提ブラウザの内部実装においてページの内容をいじるには2つ流儀がある。1つめはフィルター方式でHTTPレイヤから吸い取ったデータをHTMLパーサに渡す前に変換して渡しちゃうんだな。伝統的な文字コード変換はこのレイヤで行っている。2つめは匿名ページ作成方式(名前は今てきとうに作った)、メモリ上に好き勝手なHTML等のデータを構築しておいて、そこにページ遷移するんだな。典型的にはページロード後にjavascriptでdocument.writeしちゃったときにこうやって匿名ページ構築&遷移してHTML書き換えに対応することがおおい(個人的には99%コーディングミスなのでいらない機能だと思っているが)んで、たぶんIE7では・内部コードがUTF-8・保護モードONのときだけ文字コード変換がフィルター方式から匿名ページ作成方式にスイッチしてる・文字サイズ記憶ロジックのURL比較論理において匿名ページ関連に抜けがあるってあたりかな。いや、IEなんて知らないけど。文字コードバイナリアン(なんだそれw)のはせがわ先生ご指摘の穴http://openmya.hacker.jp/hasegawa/public/20061209/momiji.htmlをふさぐために、急いで文字コード変換まわりをいじってテスト期間が足りなかったのではないかと推測。こんだけブロードバンドが普及しちゃうともうほとんで意味ないんだけど、やっぱりブラウザセキュリティにおいて最大の急所はページ読み込み時のインクリメンタルレイアウトなのは間違いのないところで、DOM構造とか完全に無視してパケット来た順に4kバイトとかの単位でパースしていくんだから、そら境界条件とか穴もできる。・・・と、この話は文字サイズの話に収まらないので、別記事にしよう。VistaのIE7で文字サイズ変更が記憶されない。Comments:(0)明らかに風邪引いたのどがいたい。Comments:(0)ごみ捨て僕の住んでいる地区はごみの分別が厳しくてごみを捨てるのがなかなか大変。回収しない種類なんかは、朝寝坊したりすると当分ごみが家に残ってしまうので憂鬱になってしまう。引越しの際に出た山のようなゴミにいいかげんイライラ来てたので、ゴミ収集センターに直接持ち込んで一気に処分してきた。車に乗るかどうかあやしいぐらいのゴミが一気に処分できていい気分。skin:cuteblogリサーチ無料アクセス。