云昴(Mao Yun)

关于博客内容和更新计划安排。

介绍博客非内容的计划和安排，包括博文的作者信息、授权说明、博客系统的更新迭代说明等。

常见报错

Apex 在 Win10安装情况下，会出现以下报错：

Error checking compiler version for cl.exe

RuntimeError: Error compiling objects for extension
Error in atexit._run_exitfuncs:
Traceback (most recent call last):
  File "e:\miniconda3\lib\site-packages\colorama\ansitowin32.py", line 59, in closed
    return stream.closed
ValueError: underlying buffer has been detached
Running setup.py install for apex ... error

简介

有N件物品、1个容量为W的背包，第1件物品的重量是weight[i], 价值为value[i]。每个物品只能用一次，求解哪些物品装入背包里物品的价值总和最大？

Cmder

主要参考文章：Cmder入门配置 主要工作：解决中文路径的显示乱码问题。

Conv2d 实现

源码： 源码

Conv = unfold + maymul + fold

unfold函数理解

jupyter 文件

Curse of dimensionality

As the number of feature grows, the amount of data we need to generalise accurately grows exponentially.

1. 覆盖特征值范围20%所需的训练样本数量随着维度增加呈指数型增长.
2. 维度d很大时，超球面的体积趋于零.

Common Image Analysis Task

Image Classification, Object Detection, Object Localisation, Object Recognition, Semanitic Segmentation, Image Captioning

本文英文原文： http://www.learnprolognow.org/ 并会增加自己在Imperial学习中的一些想法，因为自己已经熟悉Prolog，并非完整翻译。

基础

当我们写一个递归的谓词逻辑时，应该至少包含两个子句：一个是基础子句（用于在某些条件下停止递归），另一个是递归子句。如果没有这样做，那么Prolog就会陷入死循环中。

本文英文原文： http://www.learnprolognow.org/ 并会增加自己在Imperial学习中的一些想法，因为自己已经熟悉Prolog，并非完整翻译。

合一

1. 如果term1和term2都是常量，那么term1和term2能够合一，当且仅当它们是相同的原子，或者相同的数字。

2. 如果term1是变量并且term2是任意类型的语句，那么term1和term2能够合一，并且term1被初始化为term2；同理，如果term2是变量并且term1是任意类型的语句，那么term1和term2能够合一，并且term2被初始化为term1。（如果两个都是变量，他们都能够被互相初始化，即它们共享相同的值）

3. 如果term1和term2都是复杂语句，那么它们能够合一当且仅当：

   3.1 它们有相同的函子和元数；

   3.2 所有对应的参数能够合一；

   3.3 变量的初始化能够匹配。（比如，如果两个复杂语句在进行合一，不可能在一个复杂语句中将X初始化为mia，在另外一个复杂语句中将X初始化为vincent）

4. 两个语句能够合一当且仅当它们遵循上面三个定义之一。