computeralgebra https://blog.hatena.ne.jp/computeralgebra/ 非専門的シンギュラリティー研究所 https://computeralgebra.hatenablog.com/ 実行順序を考えない論理プログラミングを PLP と書くことにします。(ピュア論理プログラミングの意味。以前の記事で CLP (並行論理プログラミングの意味)と書いていましたがわかりにくいので変更) この PLP を代数的に、半環を使って定義します。半環を使うのは、PLP を無限に実行したものを考えるためで、そのために極限、微分などの考え方を使うためには、半環の方が扱いやすいのではなかろうか、と考えたためです。極限の極限を考えることによって無限に実行するものを分類することができるのではないかと考えることもできます。 論理プログラミングのデータはブール代数をなすと考えることができ、ブール代数は可換… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fcomputeralgebra.hatenablog.com%2Fentry%2F2020%2F01%2F15%2F231903" title="論理プログラミング(1) - 非専門的シンギュラリティー研究所" 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 2020-01-15 23:19:03 rich https://computeralgebra.hatenablog.com/entry/2020/01/15/231903 1.0 100%