今度はプログラムを書いてもらいます。プログラムを書いてもらう方がちゃんとできることが多いという印象です。プログラムを書くことができて、そのプログラムが停止するならば、証明ができたということになります。以下のように入力しました。 連続の公理(…

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

プログラミング言語に関する質問をChatGPTに入力してみることの続きです。変数を変更することができる関数型言語のプログラムを変数を変更することができない関数型言語のプログラムに変換するという問題を考えます。ここで扱う例はクロージャーには関係なく…

プログラミング言語に関する質問をChatGPTに入力してみる「関数型言語の拡張」の続きです。変数を変更することができない純粋関数型言語では状態を変化させながら無限に動作することはできないが、変数を変更することができる場合はできる、ということはたぶ…