computeralgebra https://blog.hatena.ne.jp/computeralgebra/ 非専門的シンギュラリティー研究所 https://computeralgebra.hatenablog.com/ 少し説明を追加しておきます。CLPのプログラムを「論理式を他の論理式に変換するもの」(1ステップの変換)と考えたものを「構文」、その1ステップの変換を無限に繰り返すことによって、CLPプログラムを「論理式を実行結果に写す写像」と考えたものを「効果」と呼びましたが、この呼び方は、もう少し用語を検討した方が良いと思われますので検討します。また、最終的は実行結果は得られないが途中の実行結果の列(または木)が得られるようなもの(1つの写像にはならない)も考えられるため、このようなものも検討します。 このような変換については計算理論による分類について考えてみたいと思います。ですがここでやりたいことは、実… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fcomputeralgebra.hatenablog.com%2Fentry%2F20151029" title="少し追加 - 非専門的シンギュラリティー研究所" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> Hatena Blog https://hatena.blog 2015-10-29 00:00:00 rich https://computeralgebra.hatenablog.com/entry/20151029 1.0 100%