あどけない話

インターネットに関する技術的な話など

チョウゲンボウとホシムクドリから賢人鳥を導出する

すべての鳥は、チョウゲンボウ(K)とホシムクドリ(S)から導き出される。そこで、賢人鳥(Y)を K と S から導出してみる。

チョウゲンボウ(K)

K の定義は以下の通り。

Kxy = x

ホシムクドリ(S)

S の定義は以下の通り。

Sxyz = xz(yz)

自己鳥(I)

I の定義は以下の通り。

Ix = x

I は SKK と表現できる。

SKKx = Kx(Kx) = x

ルリツグミ(B)

B の定義は以下の通り。

Bxyz = x(yz)

B は S(KS)K と表現できる。

S(KS)Kxyz = KSx(Kx)yz = S(Kx)yz = Kxz(yz) = x(yz)

ウグイス(W)

W の定義は以下の通り。

Wxy = xyy

W は SS(KI) と表現できる。

SS(KI)xy = Sx(KIx)y = xy(KIxy) = xy(Iy) = xyy

ヒバリ(L)

L の定義は以下の通り。

Lxy = x(yy)

L は BWB と表現できる。

BWBxy = W(Bx)y = Bxyy = x(yy)

賢人鳥(Y)

Y の定義は以下の通り。

Yx = x(Yx)

Y は SLL と表現できる。

SLLx = Lx(Lx) = x(Lx(Lx)) = x(SLLx)