a,b,c,k,m,n　非負整数
S0,S1,S2,S3,...,S(k-3),S(k-2),S(k-1),Sk　非負整数
X,Y　0個以上の非負整数のリスト
Xc　0個以上のcより大きい非負整数のリスト
X(c+1)　0個以上のc+1以上の非負整数のリスト
a#n　n個のa
(リスト):m;n
　　V=(S0,S1,S2,S3,...,S(k-3),S(k-2),S(k-1),Sk)
　　V+a=(S0+a,S1+a,S2+a,S3+a,...,S(k-3),S(k-2)+a,S(k-1)+a,Sk+a)
　　V:m;n=(V+0×n,V+1×n,V+2×n,V+3×n,...,V+(m-3)×n,V+(m-2)×n,V+(m-1)×n,V+m×n)
左辺=(a+1)[X]b　ならば　@=a[X]b

a{}0=a+1

0{X,0}0=1{X}1
(a+1){X,0}0=(a{X,0}0){X}(a{X,0}0)

0{X,c+1}0=1{X,c}1
(a+1){X,c+1}0=(a{X,c+1}0){X,c}(a{X,c+1}0)

0{X}(b+1)=1{X}b
(a+1){X}(b+1)=(a{X}(b+1)){X}b

a{X}b{Y}c=a{X}(b{Y}c)

N=10{10#10}10{10#10}10

0[]0=N{N#N}N{N#N}N
(a+1)[]0=@{@#@}@{@#@}@

0[X,0]b=1[X]b
(a+1)[X,0]b=@[X]b

0[X,c,Xc,c+1+n]b=1[X,(c,Xc):1;n]b
(a+1)[X,c,Xc,c+1+n]b=@[X,(c,Xc):@;n]b

0[X(c+1),c+1]b=1[X(c+1),(c):1;1]b
(a+1)[X(c+1),c+1]b=@[X(c+1),(c):@;@]b

0[](b+1)=1[(1):1;1]b
(a+1)[](b+1)=@[(@):@;@]b

a[X]b[Y]c=a[X](b[Y]c)

N[]N[]Nを日本ニュースネットワーク数とする