摘要： 写在前面：本分析相当于习题，不保证正确性（虽然我会去对一下） 定义 鸟之记号 BAN 基础版——线性数阵 请参看BEAF篇，完全一样 \[\begin{split} (a,b)&=a^b\\ (a,1,...)&=a\\ (a,b,1,...,1,c,...)&=(a,a,...,a,(a,b-1, 阅读全文

摘要： 写在前面：本分析相当于习题，不保证正确性（虽然我会去对一下） 定义 BEAF 基础版——线性数阵 数阵的第一个为底数(base,\(a\))，第二个为指数(prime,\(b\))，之后第一个非1的数为驾驶(pilot)，驾驶前的一个数是副驾驶(copilot)，副驾驶之前的所有被称为乘客(pass 阅读全文