12/09/05 22:01:03.07
>>362
補足
2009年10月15日の時点で、”書き終わるのは2012年の夏頃という計算になる。”と
まさに、グロタン流か
いや、言いたいのは、ブルバキの定理積み上げではなく
猫さんが言っていた、バックリダクションかな、ともかく全体像は頭の中にある
それを文字にするんだと
長編小説家が、構想はすでに頭の中にあって、それを紙に書く
定理の詰みあげの逆をやっている（全体像とゴールは見えていて、スタートとゴールの間に定理を埋めてゆく・・）
絵で言えば、全体のデッサンはあって、あとは細部に色をつける
証明の細部より全体像を早く理解せよというのはこれだ