2004-11-10から1日間の記事一覧

Mozilla Firefox 1.0

web

正式版が出たようなのでダウンロードしてインストール。profileはそのまま残してくれた様子。 問題はテーマか。708090とSmokeが対応するまで待つか。で、Moz2chを削除。SageとAll-in-One GesturesとWeb Developerは大丈夫か。じゃ、拡張はいいや。 で、Sciru…

書き直し

やったことはClaimの拡張であるということ。 それだけで全体の規模が変わってくるということ。 というわけで全体の証明の概略位は書かないと困るよということ。 直していると、面倒臭い。 とりあえず第3章の方を書き直し。From Worst-case to Average-caseは…