エレファント・コンピューティング調査報告

極限に関する順序を論理プログラミングの手法を使って指定することを目指すブロクです。

2020-08-19から1日間の記事一覧

半環上のフラクタル代数(2)

背景 論理プログラミングの考え方ではプログラムを論理式と考えることができます。論理プログラミングで無限の時間実行するプログラムについて考えてみます。論理式の作るブール代数を半環と見ることで、環の極限と同様に極限を定義することができます。実際…