>>641
>Quicksort inventor Tony Hoare reaches the base case at 92

ありがとうございます
Quicksort か 懐かしいね そのことば
sort アルゴリズムの革命だったかもです
とか書いてあったような
しらんけど （＾＾；

”彼は「皇帝の古びた服」[PDF]と題された有名な講演を行い、その中で次のように述べています。
ソフトウェア設計を構築するには 2 つの方法があると私は結論づけています。1 つは、欠陥が明らかにないほど単純にすること、もう 1 つは、欠陥が明らかにないほど複雑にすることです。
(私たちは以前にもこれを読むことをお勧めしており、今後もそうすることになると思います。)”

欠陥が明らかにないほど単純にする：具体例 ZFC
欠陥が明らかにないほど複雑にする：圏論
かな？ｗ （＾＾；