摘要:
写在前面:本分析相当于习题,不保证正确性(虽然我会去对一下) 定义 鸟之记号 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 阅读全文