Arabela's Blog

该博文将继续从循环不变量的角度对gcd的murphi程序进行进阶修改：

• 一条规则只执行一次辗转相除

• 变量只有两个，把需要输入的数当作常量

• 用swap程序，仅需执行一次交换

• procedure与function的区别

  阅读全文 »

Z3是Microsoft Research开发的高性能定理证明器。 Z3用于许多应用中，例如：软件/硬件验证和测试，约束求解，混合系统分析，安全性，生物学（计算机分析）以及几何问题。

本文内容：

• z3安装， 无权限安装

• Z3 API IN PYTHON 的翻译 + 解读

英文版原文见：https://ericpony.github.io/z3py-tutorial/guide-examples.htm

本文为台大李宏毅的机器学习入门课程笔记。

第八章： 开始动手搭积木！

重点：

• 介绍Keras
• forward pass
• backward pass

本文为台大李宏毅的机器学习入门课程笔记。

第七章：反向传播

重点：

• 链式法则
• forward pass
• backward pass

本文为台大李宏毅的机器学习入门课程笔记。

第 9 章： DNN小贴士

重点：

• 介绍Keras
• forward pass
• backward pass

本文为台大李宏毅的机器学习入门课程笔记。

第五章：逻辑回归

重点：

• 什么是逻辑回归
• 逻辑回归 vs 线性回归
• feature transformation
• 深度学习的引入

本文为台大李宏毅的机器学习入门课程笔记。

第六章：什么是深度学习

重点：

• 深度学习与机器学习的区别

在Unix上安装tkTinter，有时候可能会因为python配置、无权限等问题而安装失败。找了很久都没有找到现成的解决方法。
本文记录自己探索的无root权限的tktinter安装过程，希望给大家启发。

本文为台大李宏毅的机器学习入门课程笔记。
第三章：误差从哪来
重点：误差产生的原理，及如何减小误差

本文为台大李宏毅的机器学习入门课程笔记。

第二章：回归-案例分析

重点：

• 什么是回归
• 如何优化回归模型
• 什么是过拟合