「Donald Knuth、 ソフトウェア特許反対の意見書を欧州特許庁に提出」記事へのコメント

「非数学的なアルゴリズム」？

[Nuisan (34779)]

Knuth 教授は意見書の中で、数学的なアイディアは特許の適用範囲外であるべきと述べている。更に、数学的なアルゴリズムと非数学的なアルゴリズムに分けて考えてようとしている特許庁の検討委員会の立場を批判。計算機科学者にとって全てのアルゴリズムは数学そのものであるからだと主張している。

少なくとも、まともな計算機科学者が「アルゴリズム」と呼ぶような代物であればまず間違いなく数学的に厳密な記述が可能（そうでなければそもそも「アルゴリズム」として扱われない）、という意味では納得できる主張だと個人的には思います。

逆に、特許庁の検討委員会が想定している「非数学的なアルゴリズム」とはどういったものなのかが気になります。
真っ先に思い浮かべた候補はスパゲッティソート（という名前でよいのか自信がありませんが、「長さの異なるたくさんのスパゲッティを束ねて平らな机の上に立てると、長いスパゲッティほど上端が高くなる」というアレ）ですが、果たしてあれをアルゴリズムと呼んでよいものかどうかよくわかりません。
＃別に計算機科学における用法でしか「アルゴリズム」という用語を使ってはいけないなんて言うつもりはありませんが、
＃もっと日常的（？）な意味での「アルゴリズム」にも該当するのかどうか、ということです。

「非数学的なアルゴリズム」って一体どんなものなのでしょう？

Re:「非数学的なアルゴリズム」？

[Anonymous Coward]

体操