ビジュアルプログラミング(3)

Blocklyで数式の中の位置を指定する方法があるかどうかわからないので別の問題も考えてみます。

「数学とソフトウェアのページ」の「群の完備化」について考えます。操作方法は以下のようになります。

O + x = x を選択すると以下のように表示されます

 O + x = x

- x + x = O を選択すると以下のように表示されます

 O + x = x
 - x + x = O

(x + y) + z = x + (y + z) を選択すると以下のように表示されます

 O + x = x
 - x + x = O
 (x + y) + z = x + (y + z)

x = - y + (y + x) を選択すると以下のように表示されます

 O + x = x
 - x + x = O
 (x + y) + z = x + (y + z)
 - y + (y + x) = x

- O + x = x を選択すると以下のように表示されます

 O + x = x
 - x + x = O
 (x + y) + z = x + (y + z)
 - y + (y + x) = x
 - O + x = x

- - x + O = x を選択すると以下のように表示されます

 O + x = x
 - x + x = O
 (x + y) + z = x + (y + z)
 - y + (y + x) = x
 - O + x = x
 - - x + O = x

x = - - O + x を選択すると以下のように表示されます

 O + x = x
 - x + x = O
 (x + y) + z = x + (y + z)
 - y + (y + x) = x
 - O + x = x
 - - x + O = x
 - - O + x = x

O = - O を選択すると以下のように表示されます

 O + x = x
 - x + x = O
 (x + y) + z = x + (y + z)
 - y + (y + x) = x
 - - x + O = x
 - O = O

O = - - - x + x を選択すると以下のように表示されます

 O + x = x
 - x + x = O
 (x + y) + z = x + (y + z)
 - y + (y + x) = x
 - - x + O = x
 - O = O
 - - - x + x = O

x = - - x を選択すると以下のように表示されます

 O + x = x
 - x + x = O
 (x + y) + z = x + (y + z)
 - y + (y + x) = x
 x + O = x
 - O = O
 - - x = x

O = x + - x を選択すると以下のように表示されます

 O + x = x
 - x + x = O
 (x + y) + z = x + (y + z)
 - y + (y + x) = x
 x + O = x
 - O = O
 - - x = x
 x + - x = O

x = y + (- y + x) を選択すると以下のように表示されます

 O + x = x
 - x + x = O
 (x + y) + z = x + (y + z)
 - y + (y + x) = x
 x + O = x
 - O = O
 - - x = x
 x + - x = O
 y + (- y + x) = x

x + (y + - (x + y)) = O を選択すると以下のように表示されます

 O + x = x
 - x + x = O
 (x + y) + z = x + (y + z)
 - y + (y + x) = x
 x + O = x
 - O = O
 - - x = x
 x + - x = O
 y + (- y + x) = x
 x + (y + - (x + y)) = O

x + - (y + x) = - y を選択すると以下のように表示されます

 O + x = x
 - x + x = O
 (x + y) + z = x + (y + z)
 - y + (y + x) = x
 x + O = x
 - O = O
 - - x = x
 x + - x = O
 y + (- y + x) = x
 x + - (y + x) = - y

- (x + y) = - y + - x を選択すると以下のように表示されます

 O + x = x
 - x + x = O
 (x + y) + z = x + (y + z)
 - y + (y + x) = x
 x + O = x
 - O = O
 - - x = x
 x + - x = O
 y + (- y + x) = x
 - (x + y) = - y + - x

【電子復刻版】bit 1988年04月号(通巻230号)

【電子復刻版】bit 1989年04月号(通巻242号)

新しいプログラミング・パラダイム

岩波講座 ソフトウェア科学〈〔理論〕12〉計算モデルの基礎理論