computeralgebra https://blog.hatena.ne.jp/computeralgebra/ 非専門的シンギュラリティー研究所 https://computeralgebra.hatenablog.com/ 関数プログラミング 関数プログラミングと無限論理多項式 F# の例(1) F# で動作するようにすることはできましたが、まだよくわからないところがあります。「エレファントな群とリー代数」では「項書き換え」の「一階の項」を「一般マグマの多項式」として多項式のように扱う方法について考えました。論理プログラミングのデータとなる論理式も同様に扱うことができると考えられます。論理式がサーバーの状態を表すと考えて、無限に動くサーバーの状態を無限個の論理式として表したものを考えていきます。F# でサーバー側で計算するプログラムとブラウザー側で計算するプログラムを比較すると、同じように記述することができることがわかります。この両方を同時に記述することがこの記事の目… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fcomputeralgebra.hatenablog.com%2Fentry%2F2022%2F02%2F01%2F001458" title="関数プログラミングと無限論理多項式(5) - 非専門的シンギュラリティー研究所" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> https://m.media-amazon.com/images/I/51brU4doQFL._SL500_.jpg Hatena Blog https://hatena.blog 2022-02-01 00:14:58 rich https://computeralgebra.hatenablog.com/entry/2022/02/01/001458 1.0 100%