なかなか変数を置き換えてくれません。いったん構文を書いてもらうことにします。以下のように入力しました。 半群の等式の構文を BNF で書いてください 以下は引用です。 以下は、与えられた半群の等式の構文を BNF (Backus-Naur Form) で表現したものです…

ChatGPTで単純に日本語で指摘すると、ChatGPTは単に日本語を生成するだけなのでうまくいかない、というようなことが何かの本に書かれていたような気がします。そこで、何かChatGPTが知っていることをやると良いのかと思われるのでやってみたいと思います。し…

前回は式が一致するかどうかを調べてくれなかったので、さらにやってみます。 半群の二つの等式を構文解析して、一方の等式の片側の式(両辺のうちのどちらかの式)と、もう一方の等式の片側の式(両辺のうちのどちらかの式)とが、一致するかどうかを調べます。…

引き続きChatGPTを使ってみます。なかなかできませんけどこのブログに書いたことが意味を持つためにはできない方が良いので、気楽にやってみることができます。具体的に書いてみたらどうなるのかやってみます。以下のように入力しました。 半群の等式を構文…

ここではこのブログで書いたことや検討中のことをChatGPTでやってみたらどうなるかを調べることにします。もし簡単にできるようならブログを書く意味がなくなるので、やってみた方が良いと考えました。とりあえずいろいろやってみたところ、簡単にはできませ…