算道

計算例 | Example

ここでは与えられた整珠を計算する例を紹介する。

『真かつ偽』の場合 | case “True OR False”

計算例として『真かつ偽』の場合を紹介する。 先の命題を表す整珠は次の様になる。

tr "\`ski" "@SKI" | sed -e  '
s/dne/\<div class="sanban"\>/g;
s/end/\<\/div\>/g;
s/;/\<div class="clear"\>\<\/div\>/g;
s/@/\<div class="tama"\>\<div class="mp" \>\<\/div\>\<\/div\>/g;
s/S/\<div class="tama"\>\<div class="s" \>\<\/div\>\<\/div\>/g;
s/K/\<div class="tama"\>\<div class="k" \>\<\/div\>\<\/div\>/g;
s/I/\<div class="tama"\>\<div class="i" \>\<\/div\>\<\/div\>/g;
s/_/\<div class="tama"\>\<div class="empty" \>\<\/div\>\<\/div\>/g;'

dne
````s;
____s;
___k_;
__k__;
_`s__;
__k__;
end;

dne
```s_;
___k_;
__`k_;
___k_;
_`s__;
__k__;
end;

dne
``k__;
__`s_;
___k_;
_``k_;
___k_;
__`s_;
___k_;
end;

dne
`s___;
_k___;
end;

0. 初期状態

上記の『真かつ偽』を表す整珠を盤面に展開した状態が下図である。

1. 青珠の規則を適用

0.の盤面に が存在するので青珠の規則を適用する。 適用後の盤面は下図の様になる。

2. 青珠の規則を適用

1.の盤面の1行目に が存在するので青珠の規則を適用する。 適用後の盤面は下図の様になる。

3. 黄珠の規則を適用

2.の盤面に が存在するので黄珠の規則を適用する。 適用後の盤面は下図の様になる。

4. 計算終了

3.の盤面に , , が存在しないので、計算を終了し、3.の盤面に残った珠 が計算結果となる。