![](https://img-blog.csdnimg.cn/20201014180756922.png?x-oss-process=image/resize,m_fixed,h_64,w_64)
PHD4-1
文章平均质量分 70
宇内虹游
此生不学一可惜,此日闲过二可惜,此身一败三可惜。
展开
-
【解决方案】LaTeX报错:Illegal unit of measure (pt inserted).
如题,解决一下latex编译时出现的错误:`Illegal unit of measure (pt inserted).`原创 2022-11-21 16:41:31 · 5931 阅读 · 0 评论 -
【记录】软件自动修复工具Jaid配置、调试、运行及相关问题的解决方案
如题,本文记录一下软件自动修复工具Jaid配置、调试、运行及相关问题的解决方案。原创 2022-11-19 09:48:03 · 1149 阅读 · 0 评论 -
LaTeX项目的.gitignore文件内容
如题,给出LaTeX项目的.gitignore文件内容,以作参考。原创 2022-11-17 15:55:04 · 496 阅读 · 0 评论 -
【解决方案】VSCode运行Python项目报错:ImportError: Unable to import required dependencies: numpy:
如题,解决一下在VSCode运行Python项目报错:`ImportError: Unable to import required dependencies: numpy:`的解决方案。原创 2022-11-17 15:04:56 · 2252 阅读 · 1 评论 -
【解决方案】Collecting package metadata (current_repodata.json): failed
如题,在运行`conda install pylint`的时候碰到了这样的错误,这里探究一下解决方案。原创 2022-11-17 14:47:02 · 29230 阅读 · 10 评论 -
【软件分析第17讲-学习笔记】程序综合 Program Synthesis
如题,学习一下程序综合 Program Synthesis的相关知识。参考:熊英飞老师2018《软件分析》课件。原创 2022-11-17 14:14:26 · 1064 阅读 · 0 评论 -
【软件分析第14讲-学习笔记】抽象解释 Abstract Interpretation
如题,学习一下抽象解释 Abstract Interpretation的相关知识。参考:熊英飞老师2018《软件分析》课件。原创 2022-11-16 20:49:01 · 1000 阅读 · 0 评论 -
【软件分析第13讲-学习笔记】符号执行 Symbolic Execution
如题,学习一下符号执行 Symbolic Execution的相关知识。参考:熊英飞老师2018《软件分析》课件。原创 2022-11-16 20:21:21 · 859 阅读 · 0 评论 -
【软件分析第12讲-学习笔记】可满足性模理论 Satisfiability Modulo Theories
如题,学习一下可满足性模理论 Satisfiability Modulo Theories的相关知识。参考:`熊英飞老师2018《软件分析》课件`。原创 2022-11-16 16:56:35 · 1035 阅读 · 0 评论 -
【软件分析课程11讲-学习笔记】布尔可满足性SAT
如题,学习一下布尔可满足性SAT的相关知识。参考:`熊英飞老师2018《软件分析》课件`。原创 2022-11-16 16:19:05 · 490 阅读 · 0 评论 -
Ubuntu apt PPA源的定义及相关操作(搜索线上PPA源、查看本地PPA源、添加、修改、删除)
如题,简要探究PPA源的定义及相关操作(搜索线上PPA源、查看本地PPA源、添加、修改、删除)。原创 2022-11-14 13:01:37 · 2306 阅读 · 0 评论 -
【已解决】apt update报错:W: Failed to fetch https://dl.google.com/linux/chrome/deb/dists/stable/InRelease
如题,解决apt update报错:`W: Failed to fetch https://dl.google.com/linux/chrome/deb/dists/stable/InRelease`的问题。原创 2022-11-14 12:48:16 · 2823 阅读 · 0 评论 -
LaTeX Algorithm相关写法
如题,对LaTeX写伪代码作一些探索。原创 2022-09-28 23:38:21 · 1824 阅读 · 0 评论 -
【已解决】VSCode LaTeX支持minted
这里给出VSCode LaTeX在使用minted这个package的时候出现的问题及解决方案。亦即为其合理配置方案。原创 2022-09-17 20:47:01 · 1830 阅读 · 1 评论 -
【释义解析】Inductive归纳 vs. Deductive推导
最近读论文读到inductive和deductive两个概念,所以想在此探究一下二者的概念及区别。原创 2022-08-09 22:59:19 · 2286 阅读 · 0 评论