- 博客(4)
- 收藏
- 关注
RSS订阅原创 计算机概论-结构归纳法（structural induction）
结构归纳法（structural induction）结构归纳法（structural induction）归纳列表（induction on list）树结构的归纳结构归纳法（structural induction）菜鸡在ANU学习这章时发现中文资料甚少，再此进行梳理（复习）。欢迎大佬指点讨论。归纳列表（induction on list）如何定义列表定义关于元素属性A的空列表[]给出列表A的元素a，并加上前缀（写作 a：A）如何对列表I证明特性P（I）P（）对于空列表成立（p（[
2020-09-11 16:38:03
3287
3
原创 Ada语言学习之路-01（procedure function entry有何不同）
Procedure：Procedure对于所有其他访问进程mutually exclusive，且有side effectfunction：function对于procedure和entry是mutually exclusive，对于其他function是同步的，且side effect freeentry：entry本义入口，对于所有其他访问进程mutually exclusive，且有访问条件（guard），满足时才可使用...
2020-08-30 15:16:23
449
原创 华为mate 30系列安装Google全家桶
华为mate 30系列安装Google 全家桶安装所需软件我已打包在两个文件夹中自取地址下载后将这两个文件夹解压step 0电脑上安装华为手机助手通过数据线连接并匹配直到连接成功step 1连接成功后点击数据恢复选择已解压的HUAWEI Mate 30 Pro_2019-10-06 22.53.25文件夹，点击开始恢复，这时会提示输入密码，密码为：88jiumosongstep ...
2020-01-27 10:57:21
5765
4
原创 Tensorflow+SSD环境安装的心酸历程
Tensorflow+SSD环境安装前言安装tensorflowpip安装相应第三方库安装coco API前言本人环境版本为python3.7+CUDA10.1，在github上有完整的安装步骤，网址本文将介绍我在安装时遇到的一些困难和解决办法，希望能够帮助到你。安装tensorflowtensorflow的安装较为简单，这里不过多赘述，需要注意的是，安装GPU版本时要注意版本是否与显卡版...
2020-01-22 10:47:17
1363
1
空空如也
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人