分類したがるのは数学者だけではない。 計算科学の見果てぬ夢： すべてのプログラムを分類したい。 これは絶望的なので、 扱いやすいプログラム（の数学モデル）に限定して分類したい。 手順： プログラム（のモデル）のクラス（大きな集合）を特定する。 そ…