08/11/07 19:37:45
>>620
>>621さんに付け加える事は何もないですが、要はlemma3がサブルーチンで、この証明ではほとんどが
このサブルーチンで片がついているのです。プログラムでも、すっきりした簡単なメインルーチンと
もし、サブルーチン一つでかなりな複雑な事柄が片付けば、それは「美しいプログラム」だと
思います。
要はわかりやすく、読みやすい。と言う事かなと思います。話はむずかしくではなく、簡単でわかりやすい
方が「美しい」と思います。あなたが例えば、人様のノートをテスト前にコピーさせてもらった場合、要約もすばらしく、
論点も明確なノートなら、やはり、「美しい」と思うのではないでしょうか？
それと同じだと思います。