- 博客(7)
- 收藏
- 关注
RSS订阅原创 python错误：re.findall能找到但是re.sub替换不了
比如：print(re.findall(r'invariant.*?end\s*;', protocol, re.S))filter_file = re.sub(r'invariant.*?end\s*;','',protocol, re.S)findall能找到，但是sub却替换不了。原因：要跨行替换，需要设置参数flags=re.S。也就是说：filter_file = re.sub(r'invariant.*?end\s*;','',protocol, flags=re.S)
2022-04-07 14:23:31
964
转载 python 错误：KeyError
KeyError：在读取字典中的key和value时，如果key不存在，就会触发KeyError错误。举个小栗子：dict={'a':1,'b':2,'c':3}print(dict['d'])报错信息为：KeyError: 'd'。第一种解决方法，首先测试key是否存在，然后才进行下一步操作，如： 第二种解决方法，修改要输出的值为a或b或c转载自：Python 常见报错类型整理（一） - 小码果 - 博客园...
2022-03-18 22:37:41
19653
原创 OCaml的debug
首先，ocaml的debug只能在unix系统上，以及windows的cwygin上(记不清了，我只在Ubuntu上用过）一种方式是可以在toplevel中用trace，如：# let exchange i j v = let aux = v.(i) in v.(i) <- v.(j); v.(j) <- aux let one_pass_vect fin v = for j = 1 to fin do if v.(j -
2022-01-05 17:13:47
534
原创 ocaml递归列表March_failure
注意提示：此程序不能包含有些例外情况，比如_::[ ]即一个数字加一个空表的情况这也说明：hd1和hd2都明确的表示数，不能用空表来替代，而对于hd1::hd2::[ ]，这种情况是被允许的，因为tl是list当然也可以是空表。...
2021-09-20 00:46:14
74
原创 overleaf使用的一些经验
在要修改的block前面添加\setbeamercolor{block title}{use=structure,fg=black,bg=purple!75!black}fg代表字体颜色，bg代表背景，其他不需设定注意，如果是在某个frame中使用，那么整个frame的block都会变成设定值...
2021-09-07 16:36:00
3313
原创 VMware（安装ubuntu虚拟机）安装vmware tools后仍然无法复制、拖拽
可以检查一下安装的镜像文件是否与主机位数相同，比如主机64位却安装了32位的虚拟机。
2021-09-05 09:00:47
357
空空如也
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人