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

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

ミレニアム賞問題

とりあえず私にも問題の意味がわかると思われる

について書いてみようかと思います。