演算 | Performance
算道における演算とは、習得した計算を披露する演技である。
「0は1よりも小さいか」 | “Is 0 less than 1?”
「0は1よりも小さいか」という命題を計算した演算。 結果は“真”である。
「2+3」 | “2+3”
「3に2を足す」という命題を計算した演算。 結果は“5”である。
備考 | Remarks
論理珠算の仕様が2015年11月に変更された。 変更内容は白珠と赤珠の交換されたというもので、 上記の動画では、仕様変更以前の内容になっている。
「算道の演算」
京都精華大学ICSAF2015において行われた「算道の演算」記録映像。
「(λx. iszero x 1 0) 0」 | “(λx. iszero x 1 0) 0”
「入力が0であれば1を返し0以外の自然数では0を返す関数に0を入力する」という命題を計算した演算。 結果は“1”である。