梅特兰给出了一个理由：这一课题要求研究人员“掌握一套极其正式的答辩程序系统”。
Maitland offered one reason: the subject requires researchers to "master an extremely formal system of pleading and procedure".
该程序解决一个古老的智力题，智力题原题在程序源代码中的已经完全说明。
Resolved one of the oldest intellectual problems that the original intelligence that the source code has been fully in the note.
应用推荐