エレファント・ビジュアライザー調査記録

ビジュアルプログラミングで数式の変形を表すことを考えていくブロクです。

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

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

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