2018年12月月末有人叫我帮他装个win10,在windows系统下搞个启动U盘是真的方便各种方法都有,但是我手头就一个U盘、一个win10镜像文件和一个自己的IBP,而且...
2018年12月月末有人叫我帮他装个win10,在windows系统下搞个启动U盘是真的方便各种方法都有,但是我手头就一个U盘、一个win10镜像文件和一个自己的IBP,而且...
问题/目标:让电脑A连接到电脑B中的mysql数据库,正常对这个数据库增删改查。例子:我有一台MacOS的电脑,和一台安装了Raspbian系统的树莓派,Mac电脑的mysq...
树莓派 pip 安装 opencv 出问题 经过查阅也没有找到解决方案, 换源没有用. 没有尝试直接卸载python, 因为有很多库安装起来麻烦. 可以使用apt来安装 分别...
关于打开Mac下ssh服务端口
reference问题来了, 为什么没有sudo apt-get install python3-pyqt5一次性全部安装好呢
主要参考网站 其中几个需要注意的点 更换raspbian源和pip源, face_recognition在清华源里有, 所以我都换成了清华源 在更换pip源时, 创建了~/....
出现错误, 在终端执行 提醒executive什么的, 要用--lib 还有一个提:set -package random, 但没有用
玩转树莓派2017-07-17 18:59 毕业论文 基于微型计算机的人脸识别门禁系统设计 1. 课题意义及目标 随科技的不断发展,安全性的要求也不断提高,IC卡等传统身份识...
我的from函数 我怀疑是有问题的, 但是实际操作起来是这样的 Agda的constructor到底是怎么做到的呢? 它不仅可以用已有元素去构造新元素, 还能从已有元素中得到...
在学习Programming Language Foundations in Agda第一章Naturals时, 最后有个比特串的反向编码, 觉得也挺有意思的. 这种编码方式...
对于我这样的emacs轻度用户来说, aquamacs巨好用, 写代码, 写证明太舒服了.如果您能解答我文章中的疑问, 不胜感激! 之前搭建好的环境在我的终端下面有一个问题,...
Haskell 作为一个冷门语言,并没有一个简单好用傻瓜式的 IDE。所以笔者记录了自己搭建环境的过程,希望对大家有所帮助。 准备工作 一个好的网络环境,至少与 GitHub...
安装Homebrew, 教程百度或者Google; 打开终端, 输入命令brew install agda , 很快就会安装完毕, 此时Haskell也已会安装; 上述命令...
前置 安装cmake、安装dlib会遇到opencv crashes python with "ERROR等错误, 重新执行几次命令就行注意网络问题, 有时候需要外网 然后执...
brew的安装命令百度一下就有, curl是内置的, 需要command line tools这个是苹果Xcode的需要外网才能下载brew
树链剖分需要注意的地方有 dfs序, 需要以重儿子优先 线段树的统计 从最初写完到最后AC一共有四处错误. 查询格式的错误, 这里的查询是线段树形式的查询, 而我是单独ql,...
题面见(模版)树链剖分. 初看题面, 我不知道该怎么做, 我想我需要进行一次树链剖分, 在进行一次dfs序, 然后用线段树维护链操作, 用树状数组维护子树操作. 后来稍微想了...
顾名思义, 树形动态规划就是在“树”的数据结构上的动态规划. 在树上面做动态规划是很常见的, 因为树上的一些问题是符合动态规划的条件的. 递归性与重叠子问题: 树的每一个节点...