เป€เบ„เบทเปˆเบญเบ‡เบกเบทเบžเบดเบชเบนเบ”เบ—เบดเบ”เบชเบฐเบ”เบต Coq เบเปเบฒเบฅเบฑเบ‡เบžเบดเบˆเบฒเบฅเบฐเบ™เบฒเบ›เปˆเบฝเบ™เบŠเบทเปˆเบ‚เบญเบ‡เบกเบฑเบ™

เป€เบ„เบทเปˆเบญเบ‡เบกเบทเบžเบดเบชเบนเบ”เบ—เบดเบ”เบชเบฐเบ”เบต Coq เบเปเบฒเบฅเบฑเบ‡เบžเบดเบˆเบฒเบฅเบฐเบ™เบฒเบ›เปˆเบฝเบ™เบŠเบทเปˆเบ‚เบญเบ‡เบกเบฑเบ™. เป€เบซเบ”เบœเบปเบ™: เบชเปเบฒเบฅเบฑเบš Anglophones, เบ„เปเบฒเบงเปˆเบฒ "coq" เปเบฅเบฐ "cock" (slang เบชเปเบฒเบฅเบฑเบšเบญเบฐเป„เบงเบเบฐเบงเบฐเบ—เบฒเบ‡เป€เบžเบ”เบ‚เบญเบ‡เบœเบนเป‰เบŠเบฒเบ) เบกเบตเบชเบฝเบ‡เบ„เป‰เบฒเบเบ„เบทเบเบฑเบ™, เปเบฅเบฐเบœเบนเป‰เปƒเบŠเป‰เป€เบžเบ”เบเบดเบ‡เบšเบฒเบ‡เบ„เบปเบ™เป„เบ”เป‰เบžเบปเบšเบเบฑเบšเป€เบฅเบทเปˆเบญเบ‡เบ•เบฐเบซเบฅเบปเบเบชเบญเบ‡เป€เบ—เบปเปˆเบฒเปƒเบ™เป€เบงเบฅเบฒเบ—เบตเปˆเปƒเบŠเป‰เบŠเบทเปˆเปƒเบ™เบžเบฒเบชเบฒเป€เบงเบปเป‰เบฒ. เบŠเบทเปˆเบ‚เบญเบ‡เบžเบฒเบชเบฒ Coq เปเบกเปˆเบ™เบกเบฒเบˆเบฒเบเบŠเบทเปˆเบ‚เบญเบ‡เบซเบ™เบถเปˆเบ‡เปƒเบ™เบ™เบฑเบเบžเบฑเบ”เบ—เบฐเบ™เบฒ, Thierry Coquand. เบ„เบงเบฒเบกเบ„เป‰เบฒเบเบ„เบทเบเบฑเบ™เบ‚เบญเบ‡เบชเบฝเบ‡เบ‚เบญเบ‡ Coq เปเบฅเบฐ Cock (rooster เบžเบฒเบชเบฒเบญเบฑเบ‡เบเบดเบ”) เป„เบ”เป‰เบ–เบทเบเบซเบผเบดเป‰เบ™เปเบฅเป‰เบงเปƒเบ™เป‚เบ„เบ‡เบเบฒเบ™: เบžเบฒเบชเบฒเบ—เบตเปˆเปƒเบŠเป‰เปƒเบ™เบเบฒเบ™เบญเบฐเบ—เบดเบšเบฒเบเป‚เบ„เบ‡เบชเป‰เบฒเบ‡เปเบกเปˆเบ™เป€เบญเบตเป‰เบ™เบงเปˆเบฒ Gallina (เป„เบเปˆเบฅเบฒเบ•เบดเบ™).

เปเบซเบผเปˆเบ‡เบ‚เปเป‰เบกเบนเบ™: opennet.ru

เป€เบžเบตเปˆเบกเบ„เบงเบฒเบกเบ„เบดเบ”เป€เบซเบฑเบ™