モノイドの左逆元・右逆元(4) いったんプログラムの説明を書いて、その説明を元に説明を書いてもらうことにします。変数の全体 と定数の全体 で自由生成された半群を とおきます(変数は大文字から始まる文字列、定数は小文字から始まる文字列、演算子は とし…

モノイドの左逆元・右逆元(3) 前回のプログラムの動作を確認するため 「以下の Python のコードは、「モノイドの左逆元と右逆元が一致する」ことを示す式の変形を表示するものです。proof_transformation で path を指定して調べる範囲を限定すると停止する…

ブログに書く意味があるものは何かを ChatGPT で調べようと思ったのですが、なかなかうまくいきません。最近では Python の機能を調べるために使っています。Python の情報は詳しく教えてくれます。ウェブで検索すると古いバージョンの情報が出てくることが…