また今更ですが

横着して
大きなことを考えようとしてうーんとうなるより
きちんとフォーマルな計算をきっちり書いていくと
見えてくるものがありますね。
だめなとことか、
おっと思うような新しいアイディアとか。

これに取り掛かるまでが時間かかっちゃうんだよな。
めんどくさがりーだから