3
用語の書き換えが必要な理由
私は少しグーグルをやって、少し短くなりました。 計算科学者やプログラマーが用語の書き換えや用語のグラフの書き換えを研究する主な理由は何でしょうか。 私の知る限り、これは関数型プログラムと(命令型)プログラム制御に関する基本的な推論に役立ちます。どうやら、それは論理学者や建設的な抽象代数を研究する人々にとって非常に興味深いトピックです。 どんな助けでも大歓迎です!
コンピュータサイエンスの学生、研究者、実務家のためのQ&A