定理証明ツール Coq は名前の変更を検討しています。 理由: 英語圏の人にとって、「coq」と「cock」という言葉 (男性の性器を表す俗語) は似ているように聞こえるため、一部の女性ユーザーがこの名前を話し言葉で使用すると、二重の意味でのジョークに遭遇することがあります。 Coq 言語の名前そのものは、開発者の XNUMX 人である Thierry Coquand の名前に由来しています。 Coq と Cock (英語の鶏) の音の類似性は、すでにプロジェクトで取り上げられています。構造を記述するために使用される言語は、Gallina (ラテン語の鶏) と呼ばれています。
出所： オープンネット.ru