01 自然语言定义02 存在量词及全称量词 自然语言歧义性 命题逻辑的自然语言形式化基本过程 1 确定原子命题，用命题形式P，q表示 2 确定连接词 3 按照自然语言语义结构...
发简信
IP属地：上海
-
【离散数学】命题逻辑的自然语言形式化基本过程
-
浅谈goroutine
以下内容均属个人理解，如果错误，还请斧正 What goroutine是golang中的coroutine，也叫协程，微软大法称之纤程（Fiber）。 协程是一种更细粒度的调...
-
适合写api接口文档的管理工具有哪些？现在越来越流行前后端分离开发，使用ajax交互。所以api接口文档就变的十分有意义了，目前市场有哪些比较优秀的接口文档管理工具呢？ 一键导入，点击复制，方便快捷 链接地址：h...
-
Mac下用vscode使用3.6版本的python方法
1.首先本地安装有不同的Python版本，比如2.7和3.5。mac下一般默认自带2.7版本。 终端输入python -V则显示默认版本号。而python3 -V则显示3.X...
-
[Composer]mac系统下安装Composer
因为要用到composer下载PHP依赖包，所以记录下composer的安装过程。 使用 curl 指令下载： curl -sS https://getcomposer.or...
-
Mac上安装Nginx1. 安装（可以用 brew 安装） 2. 查看 nginx 版本 3. 启动 nginx 也可以使用下面的命令启动，但是配置文件nginx.conf修改后用这个命令执行不生...
-
python爬虫-抓取BOSS直聘python岗位招聘信息说明 最近忙着找工作，想了解一下用人单位的招聘要求，以爬取boss直聘的招聘信息作为参考。这里记录一下的爬取流程，并不作为其它用途！ 分析页面结构 通过分析页面，发现招聘的详...
