ビジュアルプログラミング
通常の数式の変形では難しいことをビジュアルプログラミングでやるとどうなるかを調査しています。帰納法による証明や、可換モノイドに関する順序に依存しない計算をやろうと考えています。
現在は「Blockly | Google Developers」を調査しています。「関数のグラフ」、「プログラム電卓(Blockly)」を作成しました。「群の完備化」、「環の演算」、「自然数の演算」についても「Blockly | Google Developers」を使うことはできないか調べています。