140511

証明もプログラムも簡潔な方がよい。

簡潔
＝美しい＋短い＋わかりやすい
　質　　　　量

わかりやすさを加えたのは、とりわけプログラミングにおいて、
「美しいまたは短い」からといっても「わかりやすい」とも限らないからだ。