语言

白皮书加代码,自然语言和计算机语言,分别给人和机器,未来白皮书用形式化逻辑coq写,人工智能翻译为code

你可能感兴趣的:(语言)