审核IA累死……回去看CS50的Java(编译器)都能看成Lava(岩浆)Maria和Mare(危海)分了好久……Cleomedes(克莱奥迈季斯,环形山)的译名为何这么长……看了M1pi半天才反应过来那其实是π(圆周率)……中学你等着我去拿个天文奥赛的奖吧……
