日报投稿：哥德尔机 https://www.luogu.com.cn/blog/user3296/yi-zhong-zi-bian-cheng-ji-tong-ge-de-er-ji