উপপাদ্য প্রমাণ করার টুল Coq তার নাম পরিবর্তন করার কথা ভাবছে

উপপাদ্য প্রমাণ করার টুল Coq তার নাম পরিবর্তন করার কথা ভাবছে। কারণ: অ্যাংলোফোনগুলির কাছে, "coq" এবং "cock" (পুরুষ যৌন অঙ্গের জন্য অপবাদ) শব্দগুলি একই রকম শোনায় এবং কিছু মহিলা ব্যবহারকারী কথ্য ভাষায় নাম ব্যবহার করার সময় দ্বিগুণ রসিকতার সম্মুখীন হয়েছেন। Coq ভাষার নামটি ডেভেলপারদের একজন, থিয়েরি কোকুয়ান্ডের নাম থেকে এসেছে। Coq এবং Cock (ইংরেজি মোরগ) শব্দের সাদৃশ্য ইতিমধ্যে প্রকল্পে বাজানো হয়েছে: কাঠামো বর্ণনা করতে ব্যবহৃত ভাষাকে বলা হয় গ্যালিনা (ল্যাটিন মুরগি)।

উত্স: opennet.ru