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

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

2020-09-15から1日間の記事一覧

中間報告(3)

論理プログラミング 「論理プログラミング」と「論理計算と随伴関手」のシリーズでは、ブラウザで行われるような無限に続く入出力を、論理プログラミングを使って極限として記述する方法を考えています。しかし実行順序を表す方法がなければ適切に表すことが…

一階述語論理(1)

「論理計算と随伴関手」と「半環上のフラクタル代数」の中でプログラミング言語 Prolog のプログラムを論理計算 LK に変換しようとしていましたが、間違っていました。Prolog のプログラムが証明に対応しているのは事実で、最終的に LK に変換できればどのよ…