共线条件，垂直条件，加法运算，
减法运算，数乘运算，数量积运算线性规划，约束条件，目标函数，可行解，可行域，最优解，顺序结构，
条件结构，循环结构，输入语句，输出语句，赋值语句，条件语句，循环语句，归纳推理，类别推理，合情推理，演绎推理，直接证明，
间接证明，比较法，综合法，分析法，反证法，放缩法，数学归纳法，排列，组合，分类加法技术原理，分步乘法技术原理，二项式定理，
导数，极值，最值，单调性，等差数列，等比数列，公式法，分类法，裂项法，错位相减法，
倒序相加法，正视图，俯视图，侧视图，棱柱，棱锥，棱台，圆柱，圆锥，圆台，球，线线平行，
线面平行，面面平行，线线垂直，线面垂直，面面垂直，线线角，线面角，面面角，点面距，线面距，面面距，光面向量，空间基底，方向向量，法向量，倾斜角，斜率
实验正式开始，对于能出现什么，北海并不在意，反正到时候能乖乖听话就好。
但这个产物倒是让北海有些意外。