- 博客(4)
- 资源 (3)
- 收藏
- 关注
RSS订阅原创 git多github账号凭证管理
git进行多github账号凭证管理，使用https协议，用person access token，也就是PAT进行认证github。
2023-04-29 01:37:03
843
1
原创 GEB第八章印符数论翻译练习的思考
《哥德尔_艾舍尔_巴赫：集异璧之大成》是一本很有意思的书籍，对艺术和科学以及智能内在的一些关联讲解的入木三分。 在第八章印符数论中说完TNT形式化系统之后，在<再来几个翻译练习>一节，作者抛出了一些从数论陈述到形式化系统翻译的问题，让读者进行思考，没有给出答案，作者成功的引起了我的关注，经过思考得到自我认为合理的翻译，记录以供参考和指正。1. 所有的自然数都等于42.不存在等于它自身平方的自然数3.不同的自然数有不同的后继4.如果1等...
2021-09-26 16:34:59
518
5
原创 hdoj 1101/poj 2423 解题思路
辗转反侧已经有两个星期了，最终还是被解决了，但是整个路径却是很曲折的。看了这道题，研究之后，写了一个算法，结果以超时而告终。于是乎看一下有没有人留下些只言片语，很不幸没有，google和百度都被我点烂了，关于这个题的信息太少了。 为什么没有人愿意留点信息呢？于是我看了下，通过的人的情况，结果人家的要不就是不花时间，要不就是花很少的时间，内存占用不多。于是我推测我的算法
2014-04-23 16:42:08
687
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人