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