Lec-1 Introduction - Machine learning (台大李宏毅) 发表于 2018-05-18 更新于 2024-06-22 分类于 ML&DL 阅读次数： 本文为台大李宏毅的机器学习入门课程笔记。 第一章：机器学习入门 重点： 机器学习分类 各个类别总结 阅读全文 »
如何在远程服务器上启用IPython/Jupyter Notebook 发表于 2018-05-05 更新于 2024-06-22 分类于 Setup 阅读次数： 本文详细讲述如何在远程服务器端上启用IPython notebook，并在本地显示的过程 阅读全文 »
【置顶】Pandas Learning Notes 发表于 2018-05-02 更新于 2024-06-21 分类于 python 阅读次数： 本文是对公开课Data analysis in Python with pandas (by Data School) 的总结整理 对应的ipython notebook内附于各节末尾 公开课系列视频： here This note is recorded the public class of Data analysis in Python with pandas by Data School. The series video is linked here 阅读全文 »
ParaVerifier安装配置 发表于 2017-10-24 更新于 2024-06-22 分类于 Formal Method 阅读次数： 本文详细介绍ParaVerifier的安装配置过程 ParaVerifier：形式化验证工具，自动化证明协议的框架 下载地址 阅读全文 »
python入门（一）——输入输出、分支与循环 发表于 2017-09-21 更新于 2024-06-21 分类于 python 阅读次数： 本章是最简单的一些python操作 python输入输出 操作符 分支与循环语句 阅读全文 »
python入门（三）——lambda 发表于 2017-09-21 更新于 2024-06-21 分类于 python 阅读次数： 本章介绍python的匿名函数 lambda lambda与filter连用 lambda与map连用 阅读全文 »
python入门（四）——dict, set 发表于 2017-09-21 更新于 2024-06-21 分类于 python 阅读次数： 本章介绍python的一些数据结构 dict 字典 set 集合 阅读全文 »
RubyMine破解 on Mac 发表于 2017-09-21 更新于 2024-06-22 分类于 Setup 阅读次数： 本章介绍RubyMine在Mac上配置过程 内附破解文件链接 阅读全文 »