https://ns.opennet.ru/openforum/vsluhforumID3/123889.html Инструментарий для доказательства теорем Coq рассматривает возможность смены названия. Причина: для англофонов слова "coq" и "cock" (сленговое название мужского полового органа) звучат похоже, и некоторые пользователи-женщины, сталкивались с двусмысленными шутками при использовании названия в устной речи. Само же название языка Coq произошло от фамилии одного из разработчиков, Thierry Coquand. Сходство звучания Coq и Cock (англ. петух) уже обыгрывалось в проекте: язык, используемый для описания конструкций, называется Gallina (лат. курица)...<br><br>Подробнее: https://www.opennet.ru/opennews/art.shtml?num=54933<br> https://ns.opennet.ru/openforum/vsluhforumID3/123889.html#182 Fri, 16 Apr 2021 07:07:20 GMT &gt;&gt;&gt;&gt; &gt; я поставил себе за правило - игнорировать любые лингвистические аргументы, <br>&gt;&gt;&gt; Заметно, ведь "три топора" - это популярное в некоторых кругах питиё советских <br>&gt;&gt;&gt; времён.<br>&gt;&gt; не вижу связи. скорее всего её и нет.<br>&gt;&gt; ps: анонимусу сменить ник - дело пяти минут. подумайте об этом.<br>&gt; я поставил себе за правило - игнорировать любые аргументы <br><br>Вот это пральна! ;-)<br> https://ns.opennet.ru/openforum/vsluhforumID3/123889.html#181 Fri, 16 Apr 2021 07:06:51 GMT &gt;&gt;&gt; &gt; я поставил себе за правило - игнорировать любые лингвистические аргументы, <br>&gt;&gt; Заметно, ведь "три топора" - это популярное в некоторых кругах питиё советских <br>&gt;&gt; времён.<br>&gt; не вижу связи. скорее всего её и нет.<br>&gt; ps: анонимусу сменить ник - дело пяти минут. подумайте об этом.<br><br>я поставил себе за правило - игнорировать любые аргументы<br> https://ns.opennet.ru/openforum/vsluhforumID3/123889.html#179 Thu, 15 Apr 2021 17:20:04 GMT &gt;&gt; &gt; я поставил себе за правило - игнорировать любые лингвистические аргументы, <br>&gt; Заметно, ведь "три топора" - это популярное в некоторых кругах питиё советских <br>&gt; времён.<br><br>не вижу связи. скорее всего её и нет.<br><br>ps: анонимусу сменить ник - дело пяти минут. подумайте об этом.<br><br> https://ns.opennet.ru/openforum/vsluhforumID3/123889.html#178 Tue, 13 Apr 2021 12:58:06 GMT А что не так?<br> https://ns.opennet.ru/openforum/vsluhforumID3/123889.html#177 Tue, 13 Apr 2021 12:56:22 GMT - Ты же робот, имитация жизни! Может робот способен написать симфонию?<br>- Будто ты можешь.<br><br>занавес<br> https://ns.opennet.ru/openforum/vsluhforumID3/123889.html#176 Tue, 13 Apr 2021 12:52:14 GMT &gt; ЁбРедактор<br><br>Vi как vi, чё бухтеть- то?<br> https://ns.opennet.ru/openforum/vsluhforumID3/123889.html#173 Tue, 13 Apr 2021 09:51:18 GMT Ну конечно галинабланка или кокос будет лучше. К бабке не ходи!<br> https://ns.opennet.ru/openforum/vsluhforumID3/123889.html#171 Tue, 13 Apr 2021 04:11:09 GMT &gt; я поставил себе за правило - игнорировать любые лингвистические аргументы, <br><br>Заметно, ведь "три топора" - это популярное в некоторых кругах питиё советских времён.<br> https://ns.opennet.ru/openforum/vsluhforumID3/123889.html#170 Mon, 12 Apr 2021 15:56:34 GMT ты бы, конечно, предпочёл, чтобы это были два парня, да?<br>