随笔分类 -  tools

可信软件开发
摘要：证明规范 1. PRE：循环前成立的条件 2. POST：循环后成立的条件 3. invariant：循环过程中的不变式（证INI+INV） 4. INI：初始条件时不变式成立 5. INV：每次循环过程中不变式成立 6. variant：循环中的变式，用来说明循环能结束（证NAT+VAR） 7. 阅读全文
posted @ 2020-06-05 00:23 Kinghao0319 阅读(289) 评论(0) 推荐(0)
形式化语言与自动机理论笔记
只有注册用户登录后才能阅读该文。
posted @ 2020-03-12 23:09 Kinghao0319
自然语言处理实战——word2vec影评情感分析
只有注册用户登录后才能阅读该文。
posted @ 2020-03-07 18:57 Kinghao0319
线上任务，2020春季
只有注册用户登录后才能阅读该文。
posted @ 2020-03-04 15:55 Kinghao0319
Argument60
只有注册用户登录后才能阅读该文。
posted @ 2020-02-21 21:54 Kinghao0319
Latex写美赛论文
只有注册用户登录后才能阅读该文。
posted @ 2020-02-14 22:35 Kinghao0319
使用Sourcetree(for windows)建立github同步仓库
摘要：回顾Linux作业中用命令行的方式管理本地与远程仓库的过程，原理图如下： 与之前本质相同，但是使用GUI的github管理工具将更为便捷，Sourcetree就是其中之一 1.在Windows下安装git 官网下载后选择默认配置安装 启动Git Bash显示下面界面表示安装成功 2.在官网下载Sou 阅读全文
posted @ 2019-12-20 23:39 Kinghao0319 阅读(813) 评论(0) 推荐(0)