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

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

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

論理プログラミング的リーマン予想(1)

この記事の目的 ここでやりたいことは「論理プログラミング的な手法によってリーマン予想がどのような問題なのかの説明をする」ということです。論理プログラミングの説明を書いていたときに、なかなか説明を簡単に書くことができなくて、何か書くための方法…