computeralgebra https://blog.hatena.ne.jp/computeralgebra/ 非専門的シンギュラリティー研究所 https://computeralgebra.hatenablog.com/ 中間報告 このブログは、論理プログラミングに実行順序を指定する機能を追加してサーバーで動作するような無限に動作するプログラムを記述することを一つの目標としています。無限の実行順序を指定するには、個別に指定することはできないので、何かのパターンで指定しなければなりません。これを数式の変形のパターンで指定することがこのブログの目標となっています。これをエレファント・コンピューティングと呼ぶことにします。エレファントとは、四色問題のコンピューターを使った証明がエレガントではなくエレファントと言われたことに由来します。ここでは定義から計算で証明できるような記法を考えていくことを「エレファント化」と呼ぶことにしま… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fcomputeralgebra.hatenablog.com%2Fentry%2F2020%2F12%2F17%2F205233" title="中間報告(4) - 非専門的シンギュラリティー研究所" 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-12-17 20:52:33 rich https://computeralgebra.hatenablog.com/entry/2020/12/17/205233 1.0 100%