摘要：
##三角形的外接圆 定理：到线段两端点距离相等的点在这条线段的垂直平分线上 也有，垂直平分线上的点，到线段两端距离相等。 不共线的三个点定圆，是因为任找两条线段的垂直平分线交点，这个点也在第三条线段的垂直平分线上，使得垂直平分线交点到这个个给定的点的距离相等 内接三角形-外接圆 由任意三个不共线的点 阅读全文
摘要：
OSINT Amateur Hour 处理从公开来源收集到的情报爱好者的演出时间 What happens when two complete newcomers to the art of open-source intelligence try their hand at a geolocati 阅读全文
摘要：
关于游戏，有很多想说的，自己曾经也沉迷过一款手机游戏。偶然从网上看到有关游戏心里的文章。就稍微整合改写了一下以作学习记录 阅读全文
摘要：
##程序是什么 程序是一系列定义计算机如何执行计算 (computation) 的指令。这种计算可以是数学上的计算，例如寻找公式的解或多项式的根，也可以是一个符号计算 (symbolic compu-tation)，例如在文档中搜索并替换文本或者图片，就像处理图片或播放视频。 不同编程语言所写程序的 阅读全文
摘要：
##3.1 在编程的语境下，函数 (function) 是指一个有命名的、执行某个计算的语句序列 (se-quence of statements) 。在定义一个函数的时候，你需要指定函数的名字和语句序列。之后，你可以通过这个名字 “调用 (call)’’ 该函数。模块（module）是指一个包含相 阅读全文
摘要：
###1基础知识 1.自然语言 (natural language) 是人们交流所使用的语言，例如英语、西班牙语和法语。它们不是人为设计出来的（尽管有人试图这样做）；而是自然演变而来。 2.形式语言 (formal languages) 是人类为了特殊用途而设计出来的。例如，数学家使用的记号 (no 阅读全文
摘要：
凸优化，优化问题的一个分支。凸优化模型对一般非线性优化模型进行局部逼近，依次为，求解无约束凸优化模型、等式约束凸优化模型以及包含不等式约束的凸优化模型。最小二乘和线性规划都属于凸优化问题。在组合优化以及全局优化方面，凸优化用来估计最优值的界以及近似解。难点是很多问题是非凸的。最好是发现问题是凸优化问 阅读全文