语言

2019-04-29 本文已影响0人 lisoleg

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