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

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

今年の目標

はてなブログに移行してから何も書いていないようなので何か書いてみようと思っています。

Optimistic Mathematicsのサイトで書いていた数学とコンピューティングに関する記事を更新するために考えたことなどを書いてみたいと思います。Prologを実行できるようになっている記事は正しく動作していないかもしれないので、そこも調べてみたいと思います。このブログでも以前書いていた論理プログラミングに関する記事の続きも書いてみたいと思います。ここではTeXが使えるようなのでそれについても調べてみたいと思います。